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 3702 for branches


Ignore:
Timestamp:
2015-09-06T06:56:55-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-poly.lisp

    r3687 r3702  
    164164    (is (universal-equalp (poly-primitive-part p) pp))))
    165165
     166(test saturation-extension
     167  "Saturation-extension"
     168  (let* ((f (list (alist->poly '( ((1 0 0) . 2) ((1 0 1) . 3))) ;2*x+3*x*z
     169                  (alist->poly '( ((1 0 0) . 5) ((0 1 2) . 7)))) ;5*x+7*y*z^2
     170           )
     171         (p (alist->poly '( ((1 1 1) . 11) ((2 3 4) . 13)))) ;11*x*y*z+13*x^2*y^3*z^4
     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))))))
     174    (is (universal-equalp (saturation-extension f (list p)) sat-ext))))
     175
     176(test saturation-extension-1
     177  "Saturation-extension-1"
     178  (let* ((f (list (alist->poly '( ((1 0 0) . 2) ((1 0 1) . 3))) ;2*x+3*x*z
     179                  (alist->poly '( ((1 0 0) . 5) ((0 1 2) . 7)))) ;5*x+7*y*z^2
     180           )
     181         (p (alist->poly '( ((1 1 1) . 11) ((2 3 4) . 13)))) ;11*x*y*z+13*x^2*y^3*z^4
     182         (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    (is (universal-equalp (saturation-extension-1 f p) sat-ext-1))))
     185
    166186(run! 'poly-suite)
    167187(format t "All tests done!~%")
Note: See TracChangeset for help on using the changeset viewer.