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


Ignore:
Timestamp:
2016-06-15T09:45:46-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-buchberger.lisp

    r4481 r4482  
    112112
    113113;; Cyclic roots of degree 5
    114 ;; poly_reduced_grobner([x+y+z+u+v,x*y+y*z+z*u+u*v+v*x,x*y*z+y*z*u+z*u*v+u*v*x+v*x*y,x*y*z*u+y*z*u*v+z*u*v*x+u*v*x*y+v*x*y*z,x*y*z*u*v-1],[u,v,x,y,z]);
     114;;  poly_reduced_grobner([x+y+z+u+v,x*y+y*z+z*u+u*v+v*x,x*y*z+y*z*u+z*u*v+u*v*x+v*x*y,x*y*z*u+y*z*u*v+z*u*v*x+u*v*x*y+v*x*y*z,x*y*z*u*v-1],[u,v,x,y,z]);
    115115(def-fixture buchberger-cyclic-5-context ()
    116116  (let ((fl
    … …  
    152152
    153153;; A tough example learned from Cox
    154 ;; poly_grobner([x^5+y^4+z^3-1,x^3+y^3+z^2-1], [x,y,z]);
     154;;   poly_grobner([x^5+y^4+z^3-1,x^3+y^3+z^2-1], [x,y,z]);
     155;; Note that the Grobner basis in the test is reduced, obtained with
     156;;   poly_reduced_grobner([x^5+y^4+z^3-1,x^3+y^3+z^2-1], [x,y,z]);
    155157(def-fixture buchberger-cox-tough-context ()
    156158  (let ((fl (cdr (string->poly "[x^5+y^4+z^3-1,x^3+y^3+z^2-1]" '(x y z))))
Note: See TracChangeset for help on using the changeset viewer.