Changeset 3691
- Timestamp:
- 2015-09-06T06:07:10-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r3690 r3691 466 466 (scalar-divide-by object (poly-content object))) 467 467 468 #| 469 470 (defun saturation-extension-1 (ring f p) 471 "Calculate [F, U*P-1]. It destructively modifies F." 472 (declare (type ring ring)) 473 (polysaturation-extension ring f (list p))) 474 475 476 477 |# 468 (defun saturation-extension-1 (f p) 469 "Given family of polynomials F and a polynomial P, calculate [F', U*P-1], where 470 F' is F with variable U inserted as the first variable. It destructively modifies F." 471 (standard-extension-1 f (list p))) 472
Note:
See TracChangeset
for help on using the changeset viewer.