Changeset 3658
- Timestamp:
- 2015-09-05T21:32:56-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-poly.lisp
r3638 r3658 144 144 (is (universal-equalp (standard-sum plist) std-sum)))) 145 145 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 146 155 (run! 'poly-suite) 147 156 (format t "All tests done!~%")
Note:
See TracChangeset
for help on using the changeset viewer.