Changeset 4204 for branches/f4grobner

Timestamp:

2016-06-04T10:34:45-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-symbolic-poly.lisp

@@ -129 +129 @@
              +118098*y^4*z^2-118098*x^4*z^2+59049*y^4*z-118098*x^2*y^2*z
              +59049*x^4*z+19683*y^6-59049*x^2*y^4+59049*x^4*y^2-19683*x^6]")
+         ;; Parse STR-1 to polynomial list GB-1
          (gb-1 (string->poly str-1 vars))
+         ;; Format GB-1 as a string STR-2
          (str-2 (poly->string gb-1))
-         ;; str-3 is a Maxima-postprocessed str-2"
+         ;; Here STR-3 is a Maxima-postprocessed STR-2"
          (str-3 "[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,
         (-U*Z)-3*X+6*U*V^2+9*U,(-V*Z)+Y-2*V^3-3*V,Z^2+6*V^2*Z-9*Z-9*V*Y+9*U*X,
@@ -162 +164 @@
               +118098*Y^4*Z^2-118098*X^4*Z^2+59049*Y^4*Z-118098*X^2*Y^2*Z
               +59049*X^4*Z+19683*Y^6-59049*X^2*Y^4+59049*X^4*Y^2-19683*X^6]")
+         ;; Finally, obtain a polynomial list GB-2 by parsing STR-3
          (gb-2 (string->poly str-3 vars)))
+    ;; Discart STR-2
     (declare (ignore str-2))
     (&body)))