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.

Ignore:
Timestamp:
2016-06-10T09:50:24-07:00 (8 years ago)
Author:
Marek Rychlik
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/division.lisp

    r4310 r4434  
    4747  (declare (type monom m)
    4848           (type poly f g))
    49   #+grobner-check(universal-zerop
    50                   (subtract
    51                    (multiply c2 (leading-coefficient f))
    52                    (multiply c1 (leading-coefficient g))))
    53   #+grobner-check(universal-equalp (leading-monomial f) (multiply m (leading-monomial g)))
     49  (assert (universal-zerop
     50           (subtract
     51            (multiply c2 (leading-coefficient f))
     52            (multiply c1 (leading-coefficient g)))))
     53  (assert (universal-equalp (leading-monomial f) (multiply m (leading-monomial g))))
    5454  ;; Note that below we can drop the leading terms of f ang g for the
    5555  ;; purpose of polynomial arithmetic. 
Note: See TracChangeset for help on using the changeset viewer.