Changeset 29
- Timestamp:
- 2012-06-25T09:53:19-07:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/grobner.lisp
r28 r29 2186 2186 2187 2187 (defmfun $poly_buchberger_criterion (g vars) 2188 (with-parsed-polynomials ((vars) :poly-lists (g) )2188 (with-parsed-polynomials ((vars) :poly-lists (g) :value-type :logical) 2189 2189 (buchberger-criterion *maxima-ring* g))) 2190 2190
Note:
See TracChangeset
for help on using the changeset viewer.