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 1178


Ignore:
Timestamp:
2015-06-10T20:35:19-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/division.lisp

    r1177 r1178  
    4949  "Returns C2*F-C1*M*G, where F and G are polynomials M is a monomial.
    5050Assume that the leading terms will cancel."
     51  (declare (type ring-and-order ring-and-order))
    5152  #+grobner-check(funcall (ring-zerop ring)
    5253                          (funcall (ring-sub ring)
Note: See TracChangeset for help on using the changeset viewer.