- Timestamp:
- 2015-06-14T20:36:41-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1656 r1659 181 181 ((member expr vars :test #'equal-test-p) 182 182 (let ((pos (position expr vars :test #'equal-test-p))) 183 (make- variable ring (length vars) pos)))183 (make-poly-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 … … 199 199 ;;Special handling of (expt var pow) 200 200 (let ((pos (position (cadr expr) vars :test #'equal-test-p))) 201 (make- variable *maxima-ring*(length vars) pos (caddr expr))))201 (make-poly-variable ring (length vars) pos (caddr expr)))) 202 202 ((not (and (integerp (caddr expr)) (plusp (caddr expr)))) 203 203 ;; Negative power means division in coefficient ring
Note:
See TracChangeset
for help on using the changeset viewer.