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 970


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

* empty log message *

File:
1 edited

Legend:

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

    r969 r970  
    130130    (is-true (equalp q p-sq))))
    131131
     132(test poly
     133  "poly"
     134  (let* ((t1 (make-term  (make-monom :initial-exponents '(1 2 3)) 7))
     135         (t2 (make-term  (make-monom :initial-exponents '(3 5 2)) 9))
     136         (t11 (make-term (make-monom :initial-exponents '(2 4 6)) 49))
     137         (t12 (make-term (make-monom :initial-exponents '(4 7 5)) 126))
     138         (t22 (make-term (make-monom :initial-exponents '(6 10 4)) 81))
     139         (p (make-poly-from-termlist (list t2 t1)))
     140         (p-sq (make-poly-from-termlist (list t22 t12 t11)))
     141         (ring-and-order (make-ring-and-order))
     142         (q (poly-expt ring-and-order p 2)))
     143    (is-true (equalp q p-sq))))
     144
    132145
    133146
Note: See TracChangeset for help on using the changeset viewer.