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 1186


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-tests.lisp

    r1185 r1186  
    218218  "Division in polynomial ring"
    219219  (let* ((f (string->poly "x^2" '(x y)))
     220         (y-sq (string->poly "y^2" '(x y)))
    220221         (fl (cdr (string->poly "[x+y,x-2*y]" '(x y))))
    221222         (ring *ring-of-integers*)
    222223         (order #'lex>)
    223224         (ring-and-order (make-ring-and-order :ring ring :order order)))
    224     (is (equalp (poly->alist (normal-form ring-and-order f fl))
    225                 '(((0 2) . 1))))))
     225    (is (equalp (normal-form ring-and-order f fl)
     226                y-sq))))
    226227
    227228(run! 'ngrobner-suite)
Note: See TracChangeset for help on using the changeset viewer.