Changeset 1654 for branches/f4grobner

Timestamp:

2015-06-14T20:33:59-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (1 diff)

branches/f4grobner/mx-grobner.lisp

@@ -181 +181 @@
      ((member expr vars :test #'equal-test-p)
       (let ((pos (position expr vars :test #'equal-test-p)))
-        (make-variable *maxima-ring* (length vars) pos)))
+        (make-variable ring (length vars) pos)))
      ((free-of-vars expr vars)
       ;;This means that variable-free CRE and Poisson forms will be converted
       ;;to coefficients intact
-      (coerce-coeff *maxima-ring* expr vars))
+      (coerce-coeff ring expr vars))
      (t
       (case (caar expr)
-        (mplus (reduce #'(lambda (x y) (poly-add *maxima-ring* x y)) (parse-list (cdr expr))))
-        (mminus (poly-uminus *maxima-ring* (parse (cadr expr))))
+        (mplus (reduce #'(lambda (x y) (poly-add ring-and-order x y)) (parse-list (cdr expr))))
+        (mminus (poly-uminus ring (parse (cadr expr))))
         (mtimes
          (if (endp (cddr expr))         ;unary