Changeset 948

Timestamp:

2015-06-09T19:33:19-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/5am-tests.lisp (modified) (1 diff)

branches/f4grobner/5am-tests.lisp

@@ -88 +88 @@
 (test order
   "order"
-  (let* ((p (make-monom :initial-exponents '(1 3 2)))
-         (q (make-monom :initial-exponents '(1 2 3)))
-         (factory (make-elimination-order-factory))
-         (elimination-order-1 (funcall factory 1))
-         (elimination-order-2 (funcall factory 2)))
+  (let ((p (make-monom :initial-exponents '(1 3 2)))
+        (q (make-monom :initial-exponents '(1 2 3))))
     (is-true (lex>  p q)) 
     (is-true (grlex>  p q)) 
     (is-true (revlex>  p q)) 
     (is-true (grevlex>  p q)) 
-    (is-false (invlex>  p q))) 
-  (let ((p (make-monom :initial-exponents '(1 2 3)))
-        (q (make-monom :initial-exponents '(4 5 6))))
+    (is-false (invlex>  p q))))
+
+(test elim-order
+  "elimination order"
+  (let* ((p (make-monom :initial-exponents '(1 2 3)))
+         (q (make-monom :initial-exponents '(4 5 6)))
+         (elim-order-factory (make-elimination-order-factory))
+         (elim-order-1 (funcall elim-order-factory 1))
+         (elim-order-2 (funcall elim-order-factory 2)))
     (is-false (funcall elimination-order-1 p q))
     (is-false (funcall elimination-order-2 p q))))