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 4477


Ignore:
Timestamp:
2016-06-15T08:44:16-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-buchberger.lisp

    r4476 r4477  
    6464
    6565;; poly_grobner([x-3*u-3*u*v^2+u^3,y-3*v-3*u^2*v+v^3,z-3*u^2+3*v^2],[u,v,x,y,z]);
    66 (def-fixture buchberger-advanced-context ()
     66(def-fixture buchberger-enneper-surface-context ()
    6767  (let ((fl (cdr (string->poly "[x-3*u-3*u*v^2+u^3,y-3*v-3*u^2*v+v^3,z-3*u^2+3*v^2]" '(u v x y z))))
    6868        (gb (cdr (string->poly "[x-3*u*v^2+u^3-3*u,y+v^3-3*u^2*v-3*v,z+3*v^2-3*u^2,
    … …  
    9999   
    100100
    101 (test buchberger-advanced
    102   "Buchberger algorithm - advanced case"
    103   (with-fixture buchberger-advanced-context ()
     101(test buchberger-enneper-surface
     102  "Buchberger algorithm - Enneper surface"
     103  (with-fixture buchberger-enneper-surface-context ()
    104104    (is-true (grobner-test gb fl))
    105105    ;; NOTE: Cannot compare using SET-EXCLUSIVE-OR, as the Grobner basis
Note: See TracChangeset for help on using the changeset viewer.