Changeset 4476 for branches

Timestamp:

2016-06-15T08:42:32-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

Summary: Added Cyclic-5 example

File:

• branches/f4grobner/5am-buchberger.lisp (modified) (1 diff)

branches/f4grobner/5am-buchberger.lisp

@@ -111 +111 @@
   )
 
+;; Cyclic roots of degree 5
+;; 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]);
+(def-fixture buchberger-cyclic-5-context ()
+  (let ((fl 
+         (cdr (string->poly 
+               "[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))))
+        (gb (cdr (string->poly "[z+y+x+v+u,
+       8*z^12+2*y*z^11+979*z^7+231*y*z^6-55*y^2*z^5-987*z^2-233*y*z+55*y^2,
+       z^15+122*z^10-122*z^5-1,
+       1467*z^12+566*y*z^11+178981*z^7+69003*y*z^6+550*y^3*z^4-275*y^4*z^3
+                -1650*y^5*z^2-179073*z^2-550*y^6*z-69019*y*z-825*v*z-275*y^2
+                -275*v^2,(-z^11)-143*z^6-55*v*z^5+144*z+55*v,
+       (-346*z^12)-124*y*z^11-42218*z^7-15092*y*z^6-275*y^3*z^4+275*y^4*z^3
+                  +440*y^5*z^2+42124*z^2+110*y^6*z+15106*y*z+275*v*z-275*v*y,
+       867*z^12+334*y*z^11+105776*z^7+40722*y*z^6+275*y^3*z^4-275*y^4*z^3
+               -1045*y^5*z^2-105873*z^2-330*y^6*z-40726*y*z+550*x*z-275*v*z
+               -550*y^2+275*x^2+275*v*x,
+       (-568*z^13)-232*y*z^12-69289*z^8-28336*y*z^7-550*y^4*z^4+550*y^5*z^3
+                  +69307*z^3+275*y^6*z^2+28018*y*z^2-550*x*z^2+550*y^2*z
+                  +550*x^2*z+275*x^3,(-z^11)-143*z^6-55*x*z^5+144*z+55*x,
+       1121*z^12+442*y*z^11+136763*z^7+53911*y*z^6+275*y^3*z^4-1210*y^5*z^2
+                -136674*z^2-440*y^6*z-53913*y*z+275*x*z-275*y^2-275*x*y,
+       1042*z^12+398*y*z^11+127116*z^7+48554*y*z^6-55*y^5*z^2-128103*z^2
+                -165*y^6*z-48787*y*z-55*y^7+55*y^2]" '(u v x y z)))))
+    (&body)))
 
+
+(test buchberger-cyclic-5
+  "Buchberger algorithm - cyclic 5"
+  (with-fixture buchberger-cyclic-5-context ()
+    (is-true (grobner-test gb fl))
+    ;; NOTE: Cannot compare using SET-EXCLUSIVE-OR, as the Grobner basis
+    ;; FL was computed using "sugar" strategy and is different from
+    ;; the one obtained with BUCHBERGER, which uses the "normal" strategy.
+    (is (grobner-equal (buchberger fl) gb))
+    ;;(is (every #'universal-equalp (parallel-buchberger fl) gb))
+    )
+  )
 
 (run! 'buchberger-suite)