Changeset 3706
- Timestamp:
- 2015-09-06T07:17:00-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-poly.lisp
r3702 r3706 171 171 (p (alist->poly '( ((1 1 1) . 11) ((2 3 4) . 13)))) ;11*x*y*z+13*x^2*y^3*z^4 172 172 (sat-ext (list (alist->poly '( ((0 1 0 0) . 2) ((0 1 0 1) . 3))) 173 (alist->poly '( ((0 1 0 0) . 5) ((0 0 1 2) . 7)))))) 173 (alist->poly '( ((0 1 0 0) . 5) ((0 0 1 2) . 7))) 174 (alist->poly '( ((1 1 1 1) . 11) ((1 2 3 4) . 13) ((0 0 0 0) . -1)))))) 174 175 (is (universal-equalp (saturation-extension f (list p)) sat-ext)))) 175 176 … … 181 182 (p (alist->poly '( ((1 1 1) . 11) ((2 3 4) . 13)))) ;11*x*y*z+13*x^2*y^3*z^4 182 183 (sat-ext-1 (list (alist->poly '( ((0 1 0 0) . 2) ((0 1 0 1) . 3))) 183 (alist->poly '( ((0 1 0 0) . 5) ((0 0 1 2) . 7)))))) 184 (alist->poly '( ((0 1 0 0) . 5) ((0 0 1 2) . 7))) 185 (alist->poly '( ((0 0 0 0) . -1) ((1 1 1 1) . 11) ((1 2 3 4) . 13) ))))) 184 186 (is (universal-equalp (saturation-extension-1 f p) sat-ext-1)))) 185 187
Note:
See TracChangeset
for help on using the changeset viewer.