Changeset 3082
- Timestamp:
- 2015-06-21T20:27:51-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r3081 r3082 306 306 (t (monom-dimension (leading-term poly))))) 307 307 308 (defun saturation-extension (plist309 &aux310 (k (length plist))311 (plist (poly-standard-extension plist))312 (dimension (poly-dimension (car plist))))308 (defun saturation-extension-minus-1 (plist 309 &aux 310 (k (length plist)) 311 (plist (poly-standard-extension plist)) 312 (dimension (poly-dimension (car plist)))) 313 313 "Calculate [U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK]. 314 314 The polynomials in F are destructively modified by inserting k variables
Note:
See TracChangeset
for help on using the changeset viewer.