Changeset 381 for branches/f4grobner

Timestamp:

2015-06-06T18:03:48-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-tests.lisp

@@ -89 +89 @@
 
 (test order-mk
+  "order factories"
   (let ((p (make-monom 3 :initial-contents '(1 2 3)))
         (q (make-monom 3 :initial-contents '(4 5 6))))
@@ -94 +95 @@
     (is-false (funcall (ngrobner:elimination-order 2) p q))))
 
+(test term
+  "term"
+  (let ((t1 (ngrobner:make-term (ngrobner:make-monom 3 :initial-contents '(1 2 3)) 7))
+        (t2 (ngrobner:make-term (ngrobner:make-monom 3 :initial-contents '(1 2 3)) 9))
+        (t3 (ngrobner:make-term (ngrobner:make-monom 3 :initial-contents '(2 4 6)) (* 7 9))))
+    (term-mul t1 t2)))
+
+(test coerce-to-infix
+  "conversion"
+  )
+
 (run! 'ngrobner-suite)
 (format t "All tests done!~%")