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.

Ignore:
Timestamp:
2015-09-05T21:32:56-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-poly.lisp

    r3638 r3658  
    144144    (is (universal-equalp (standard-sum plist) std-sum))))
    145145
     146(test poly-s-polynomial
     147  "S-Polynomial"
     148  (let* ((f (alist->poly '( ((1 0 0) . 1) ((1 0 1) . 2)))) ;x+2*x*z |*y*z
     149         (g (alist->poly '( ((0 1 0) . 1) ((0 1 2) . 3)))) ;y+2*y*z^2 |*x
     150         (s-poly (alist->poly '( ((1 1 0) . 1) ((1 1 1) . -1)))); x*y-x*y*z
     151         )
     152    (is (universal-equalp (s-polynomial f g) s-poly))))
     153
     154
    146155(run! 'poly-suite)
    147156(format t "All tests done!~%")
Note: See TracChangeset for help on using the changeset viewer.