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 4172


Ignore:
Timestamp:
2016-06-03T08:28:17-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-division.lisp

    r4088 r4172  
    9393  "Exact division in polynomial ring"
    9494  (with-fixture exact-division-context ()
    95     (is (universal-equalp (poly-exact-divide f g) h))))
     95    (is (universal-equalp (poly-exact-divide f g) h))
     96    (is (universal-zerop (subtract-from (poly-exact-divide f g) h)))))
    9697
    9798
Note: See TracChangeset for help on using the changeset viewer.