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