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