- Timestamp:
- 2015-09-06T06:44:03-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r3696 r3697 467 467 (scalar-divide-by object (poly-content object))) 468 468 469 (defun poly-add-variables (self k) 470 (left-tensor-product-by self (make-instance 'monom :dimension k))) 471 469 472 (defun saturation-extension (f plist 470 473 &aux
Note:
See TracChangeset
for help on using the changeset viewer.