Changeset 855 for branches/f4grobner
- Timestamp:
- 2015-06-09T09:25:36-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r832 r855 92 92 (is-true (grevlex> p q)) 93 93 (is-false (invlex> p q))) 94 (let ((p (make-monom 3:initial-exponents '(1 2 3)))95 (q (make-monom 3:initial-exponents '(4 5 6))))94 (let ((p (make-monom :initial-exponents '(1 2 3))) 95 (q (make-monom :initial-exponents '(4 5 6)))) 96 96 (is-false (elimination-order-1 p q)) 97 97 (is-false (funcall (elimination-order 2) p q)))) … … 99 99 (test term 100 100 "term" 101 (let* ((m1 (make-monom 3:initial-exponents '(1 2 3)))102 (m2 (make-monom 3:initial-exponents '(3 5 2)))101 (let* ((m1 (make-monom :initial-exponents '(1 2 3))) 102 (m2 (make-monom :initial-exponents '(3 5 2))) 103 103 (m3 (monom-mul m1 m2)) 104 104 (t1 (make-term m1 7))
Note:
See TracChangeset
for help on using the changeset viewer.