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 963 for branches/f4grobner


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-tests.lisp

    r957 r963  
    119119(test termlist
    120120  "termlist"
    121   (let* ((m1 (make-monom :initial-exponents '(1 2 3)))
    122          (m2 (make-monom :initial-exponents '(3 5 2)))
    123          (t1 (make-term m1 7))
    124          (t2 (make-term m2 9))
    125          (p (make-poly-from-termlist (list t1 t2)))
     121  (let* ((m1 )
     122         (m2 )
     123         (t1 (make-term (make-monom :initial-exponents '(1 2 3)) 7))
     124         (t2 (make-term (make-monom :initial-exponents '(3 5 2)) 9))
     125         (t11 (make-term (make-monom :initial-exponents '(2 4 9)) 49))
     126         (t12 (make-term (make-monom :initial-exponents '(4 7 5)) 126))
     127         (t22 (make-term (make-monom :initial-exponents '(6 10 4)) 81))
     128         (p (list t2 t1))
     129         (p-sq (list t22 t12 t11))
    126130         (ring-and-order (make-ring-and-order))
     131         (order (ro ring-and-order))
    127132         (q (termlist-expt ring-and-order p 2)))
    128     (is-true (print p))
    129     (is-true (print q))))
     133    (is-true (equalp q p-sq))))
    130134
    131135
Note: See TracChangeset for help on using the changeset viewer.