Changeset 950
- Timestamp:
- 2015-06-09T19:37:07-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r949 r950 116 116 (is (equalp (term-mul *ring-of-integers* t1 t2) t3)))) 117 117 118 (test termlist 119 "termlist" 120 (let* ((m1 (make-monom :initial-exponents '(1 2 3))) 121 (m2 (make-monom :initial-exponents '(3 5 2))) 122 (m3 (monom-mul m1 m2)) 123 (t1 (make-term m1 7)) 124 (t2 (make-term m2 9)) 125 (p (make-poly-from-termlist (list t1 t2)))) 126 (is-true p))) 127 128 129 118 130 (test coerce-to-infix 119 131 "Conversion to infix form"
Note:
See TracChangeset
for help on using the changeset viewer.