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 3953


Ignore:
Timestamp:
2016-05-30T00:49:46-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-pair-queue.lisp

    r3917 r3953  
    5959
    6060(def-fixture poly-context ()
    61   (let ((p (string->poly "11*x*y*z+13*x^2*y^3*z^4" '(x y z)))
    62         (q (string->poly "5*x+7*y*z^2" '(x y z))))
     61  (let* ((p (string->poly "11*x*y*z+13*x^2*y^3*z^4" '(x y z)))
     62         (q (string->poly "5*x+7*y*z^2" '(x y z)))
     63         (queue (make-instance 'critical-pair-queue :poly-list (list p q))))
    6364    (&body)))
    6465
    65 (test sugar-pair-key
    66   "Pair key building"
     66(test queue-building
     67  "Queue building"
    6768  (with-fixture poly-context ()
    68     (is (equalp (sugar-pair-key p q) nil))))
     69    (is (universal-equalp p p))))
    6970
    7071(run! 'pair-queue-suite)
Note: See TracChangeset for help on using the changeset viewer.