- Timestamp:
- 2012-06-25T09:52:57-07:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/grobner.lisp
r27 r28 2298 2298 (make-poly-from-termlist (list (make-term (poly-lm f) (funcall (ring-unit *maxima-ring*))))))) 2299 2299 2300 (defmfun $poly_buchberger_criterion (g vars)2301 (with-parsed-polynomials ((vars) :poly-lists (g) :value-type :logical)2302 (buchberger-criterion *maxima-ring* g)))
Note:
See TracChangeset
for help on using the changeset viewer.