Changeset 4477 for branches

Timestamp:

2016-06-15T08:44:16-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/5am-buchberger.lisp (modified) (2 diffs)

branches/f4grobner/5am-buchberger.lisp

@@ -64 +64 @@
 
 ;; 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]);
-(def-fixture buchberger-advanced-context ()
+(def-fixture buchberger-enneper-surface-context ()
   (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))))
         (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,
@@ -99 +99 @@
     
 
-(test buchberger-advanced
-  "Buchberger algorithm - advanced case"
-  (with-fixture buchberger-advanced-context ()
+(test buchberger-enneper-surface
+  "Buchberger algorithm - Enneper surface"
+  (with-fixture buchberger-enneper-surface-context ()
     (is-true (grobner-test gb fl))
     ;; NOTE: Cannot compare using SET-EXCLUSIVE-OR, as the Grobner basis