Changeset 3637
- Timestamp:
- 2015-09-05T20:37:44-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-poly.lisp
r3636 r3637 86 86 (test poly-add 87 87 "Polynomial addition" 88 (with-fixture poly-add-context () (is ( r-equalp (add-to p q) p+q)))89 (with-fixture poly-add-context () (is ( r-equalp (r+ p q) p+q)))90 (with-fixture poly-add-context () (is ( r-equalp (subtract-from p q) p-q)))91 (with-fixture poly-add-context () (is ( r-equalp (r- p q) p-q)))92 (with-fixture poly-add-context () (is ( r-equalp (unary-minus p) p-uminus)))88 (with-fixture poly-add-context () (is (universal-equalp (add-to p q) p+q))) 89 (with-fixture poly-add-context () (is (universal-equalp (r+ p q) p+q))) 90 (with-fixture poly-add-context () (is (universal-equalp (subtract-from p q) p-q))) 91 (with-fixture poly-add-context () (is (universal-equalp (r- p q) p-q))) 92 (with-fixture poly-add-context () (is (universal-equalp (unary-minus p) p-uminus))) 93 93 ) 94 94 … … 112 112 (test poly-multiply 113 113 "Polynomial multiplication" 114 (with-fixture poly-multiply-context () (is ( r-equalp (r* p q) p*q)))114 (with-fixture poly-multiply-context () (is (universal-equalp (r* p q) p*q))) 115 115 ) 116 116 … … 123 123 (q-ext (alist->poly '( ((0 1 0) . 1) ((0 1 2) . 3)))) 124 124 (plist-st-ext (list p-ext q-ext))) 125 (is ( r-equalp (standard-extension plist) plist-st-ext))))125 (is (universal-equalp (standard-extension plist) plist-st-ext)))) 126 126 127 127 (test poly-standard-extension-1 … … 133 133 (q-ext (alist->poly '( ((0 0 0) . -1) ((0 1 0) . 1) ((0 1 2) . 3)))) 134 134 (plist-st-ext (list p-ext q-ext))) 135 (is ( r-equalp (standard-extension-1 plist) plist-st-ext))))135 (is (universal-equalp (standard-extension-1 plist) plist-st-ext)))) 136 136 137 137 (test poly-standard-sum … … 142 142 (std-sum (alist->poly '(((0 0 0) . -1) ((0 1 0) . 1) ((0 1 2) . 3) 143 143 ((1 0 0) . 1) ((1 0 1) . 2))))) 144 (is ( r-equalp (standard-sum plist) std-sum))))144 (is (universal-equalp (standard-sum plist) std-sum)))) 145 145 146 146 (run! 'poly-suite)
Note:
See TracChangeset
for help on using the changeset viewer.