close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 950


Ignore:
Timestamp:
2015-06-09T19:37:07-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-tests.lisp

    r949 r950  
    116116    (is (equalp (term-mul *ring-of-integers* t1 t2) t3))))
    117117
     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
    118130(test coerce-to-infix
    119131  "Conversion to infix form"
Note: See TracChangeset for help on using the changeset viewer.