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 4529


Ignore:
Timestamp:
2016-06-17T18:36:50-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-poly-sugar.lisp

    r4528 r4529  
    6464         (q (multiply p p)))
    6565    (is (= (sugar-value q) 6))))
     66
     67(test sugar-term-insert
     68  "Checks sugar multiplication rule"
     69  (let* ((p (change-class (string->poly "x*y+x^3" '(x y)) 'poly-with-sugar))
     70         (q (poly-insert-term p (make-instance 'term-with-sugar :exponents '(3 4)))))
     71    (is (= (sugar-value q) 7))))
     72
     73(test sugar-expt
     74  "Checks sugar exponentiation rule"
     75  (let* ((p (change-class (string->poly "x*y+x^3" '(x y)) 'poly-with-sugar))
     76         (q (universal-expt p 3)))
     77    (is (= (sugar-value q) 9))))
    6678         
    6779(run! 'poly-sugar-suite)
Note: See TracChangeset for help on using the changeset viewer.