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 3675


Ignore:
Timestamp:
2015-09-06T05:22:48-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-poly.lisp

    r3674 r3675  
    148148  (let* ((f (alist->poly '( ((1 0 0) . 1) ((1 0 1) . 2)))) ;x+2*x*z |*y*z
    149149         (g (alist->poly '( ((0 1 0) . 1) ((0 1 2) . 2)))) ;y+2*y*z^2 |*x
    150          (s-poly (alist->poly '( ((1 1 0) . 1) ((1 1 1) . -1)))); x*y-x*y*z
     150         (s-poly (alist->poly '( ((1 1 0) . -1) ((1 1 1) . 1)))); x*y*z - x*y
    151151         )
    152152    (is (universal-equalp (s-polynomial f g) s-poly))))
Note: See TracChangeset for help on using the changeset viewer.