close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4048 for branches


Ignore:
Timestamp:
2016-05-31T17:09:58-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/division.lisp

    r1965 r4048  
    4545;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    4646
    47 (defun grobner-op (ring-and-order c1 c2 m f g
    48                    &aux
    49                      (ring (ro-ring ring-and-order)))
     47(defun grobner-op (c1 c2 m f g)
    5048  "Returns C2*F-C1*M*G, where F and G are polynomials M is a monomial.
    5149Assume that the leading terms will cancel."
     
    5351           (type monom m)
    5452           (type poly f g))
    55   #+grobner-check(funcall (ring-zerop ring)
    56                           (funcall (ring-sub ring)
    57                                    (funcall (ring-mul ring) c2 (poly-lc f))
    58                                    (funcall (ring-mul ring) c1 (poly-lc g))))
     53  #+grobner-check(universal-zerop
     54                  (subtract
     55                   (multiply c2 (leading-coefficient f))
     56                   (multiply c1 (leading-coefficient g))))
    5957  #+grobner-check(monom-equal-p (poly-lm f) (monom-mul m (poly-lm g)))
    6058  ;; Note that below we can drop the leading terms of f ang g for the
Note: See TracChangeset for help on using the changeset viewer.