Changeset 3086 for branches/f4grobner
- Timestamp:
- 2015-06-21T20:42:33-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r3085 r3086 309 309 (t (monom-dimension (leading-term poly))))) 310 310 311 (defun standard-extension-1(plist312 &aux313 314 315 311 (defun mod-standard-extension (plist 312 &aux 313 (k (length plist)) 314 (plist (poly-standard-extension plist)) 315 (nvars (poly-dimension (car plist)))) 316 316 "Calculate [U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK]. 317 317 Firstly, new K variables U1, U2, ..., UK, are inserted at the
Note:
See TracChangeset
for help on using the changeset viewer.