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 1965


Ignore:
Timestamp:
2015-06-15T19:52:11-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/division.lisp

    r1851 r1965  
    5050  "Returns C2*F-C1*M*G, where F and G are polynomials M is a monomial.
    5151Assume that the leading terms will cancel."
    52   (declare (type ring-and-order ring-and-order))
     52  (declare (type ring-and-order ring-and-order)
     53           (type monom m)
     54           (type poly f g))
    5355  #+grobner-check(funcall (ring-zerop ring)
    5456                          (funcall (ring-sub ring)
Note: See TracChangeset for help on using the changeset viewer.