- Timestamp:
- 2015-06-15T11:37:23-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1792 r1793 545 545 (with-ring-and-order ((vars) :poly-lists (f) :polynomials (p) 546 546 :value-type :poly-list) 547 (ideal-saturation-1 ring f p 0)))547 (ideal-saturation-1 ring-and-order f p 0))) 548 548 549 549 (defmfun $poly_saturation_extension (f plist vars new-vars)
Note:
See TracChangeset
for help on using the changeset viewer.