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 1562 for branches


Ignore:
Timestamp:
2015-06-12T15:55:57-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-tests.lisp

    r1558 r1562  
    304304         (reduced-gb (cdr (string->poly "[y,x]" '(x y)))))
    305305    (is-true (grobner-test ring-and-order gb fl))
    306     (is (null (set-exclusive-or (grobner ring-and-order fl) gb :test #'poly-equal-no-sugar-p)))
    307     (is (null (set-exclusive-or (reduced-grobner ring-and-order fl)
    308                                 reduced-gb
    309                                 :test #'poly-equal-no-sugar-p )))))
     306    (is (poly-set-equal-no-sugar-p (grobner ring-and-order fl) gb))
     307    (is (poly-set-equal-no-sugar-p (reduced-grobner ring-and-order fl) reduced-gb))))
     308
    310309
    311310(test elimination-ideal
     
    317316         (ring-and-order (make-ring-and-order :ring ring :order order))
    318317         (elim-1-fl (cdr (string->poly "[y]" '(x y)))))
    319     (is (every #'poly-equal-no-sugar-p (elimination-ideal ring-and-order fl 1) elim-1-fl))
    320     (is (every #'poly-equal-no-sugar-p (elimination-ideal ring-and-order fl 2) nil))))
     318    (is (poly-set-equal-no-sugar-p (elimination-ideal ring-and-order fl 1) elim-1-fl))
     319    (is (poly-list-equal-no-sugar-p (elimination-ideal ring-and-order fl 2) nil))))
    321320
    322321(test colon-ideal
Note: See TracChangeset for help on using the changeset viewer.