- Timestamp:
- 2015-06-14T20:33:59-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1653 r1654 181 181 ((member expr vars :test #'equal-test-p) 182 182 (let ((pos (position expr vars :test #'equal-test-p))) 183 (make-variable *maxima-ring*(length vars) pos)))183 (make-variable ring (length vars) pos))) 184 184 ((free-of-vars expr vars) 185 185 ;;This means that variable-free CRE and Poisson forms will be converted 186 186 ;;to coefficients intact 187 (coerce-coeff *maxima-ring*expr vars))187 (coerce-coeff ring expr vars)) 188 188 (t 189 189 (case (caar expr) 190 (mplus (reduce #'(lambda (x y) (poly-add *maxima-ring*x y)) (parse-list (cdr expr))))191 (mminus (poly-uminus *maxima-ring*(parse (cadr expr))))190 (mplus (reduce #'(lambda (x y) (poly-add ring-and-order x y)) (parse-list (cdr expr)))) 191 (mminus (poly-uminus ring (parse (cadr expr)))) 192 192 (mtimes 193 193 (if (endp (cddr expr)) ;unary
Note:
See TracChangeset
for help on using the changeset viewer.