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 1174


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-tests.lisp

    r1173 r1174  
    214214    (is (equalp (string->poly "x^2+2*y^2" '(x y)) p))))
    215215
     216(test division
     217  "Division in polynomial ring"
     218  (let ((f (string->poly "x^2" '(x y)))
     219        (fl (string->poly "[x+y,x-2*y]" '(x y)))
     220        (ring *ring-of-integers*))
     221    (is-true (print (normal-form ring f fl)))))
     222
    216223(run! 'ngrobner-suite)
    217224(format t "All tests done!~%")
Note: See TracChangeset for help on using the changeset viewer.