Changeset 4163

Timestamp:

2016-06-03T00:09:27-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/5am-pair-queue.lisp (modified) (2 diffs)

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

@@ -61 +61 @@
   (let* ((p (string->poly "11*x*y*z+13*x^2*y^3*z^4" '(x y z)))
          (q (string->poly "5*x+7*y*z^2" '(x y z)))
-         (queue (make-critical-pair-queue :poly-list (list p q))))
+         (r (string->poly "13*x^2*y+19*z" '(x y z)))
+         (queue (make-critical-pair-queue +normal-strategy+ (list p q r))))
     (&body)))
 
@@ -67 +68 @@
   "Queue building"
   (with-fixture poly-context ()
-    (is (= (queue-size queue) 1))))
+    (is (= (queue-size queue) 3))))
 
 (test queue-access