- Timestamp:
- 2015-06-15T10:08:14-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1769 r1770 496 496 497 497 (defmfun $poly_depends_p (p var mvars 498 &aux (vars (coerce-maxima-list mvars)) 499 (pos (position var vars))) 500 (if (null pos) 501 (merror "~%Variable ~M not in the list of variables ~M." var mvars) 502 (poly-depends-p (parse-poly p vars) pos))) 498 &aux (vars (coerce-maxima-list mvars)) 499 (pos (position var vars))) 500 (with-ring-and-order ((mvars) :polynomials (p) :value-type :custom) 501 (if (null pos) 502 (merror "~%Variable ~M not in the list of variables ~M." var mvars) 503 (poly-depends-p (maxima->poly p vars ring-and-order) pos)))) 503 504 504 505 (defmfun $poly_elimination_ideal (flist k vars)
Note:
See TracChangeset
for help on using the changeset viewer.