Changeset 1474
- Timestamp:
- 2015-06-12T12:14:59-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r1473 r1474 235 235 &aux 236 236 (k (length plist)) 237 (d (monom-dimension (poly-lm (car plist))))) 237 (d (monom-dimension (poly-lm (car plist)))) 238 f-x plist-x) 238 239 "Calculate [F, U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK]." 239 (setf f (poly-list-add-variables f k)240 plist (mapcar #'(lambda (x)241 (setf (poly-termlist x) (nconc (poly-termlist x)242 (list (make-term (make-monom :dimension d)243 (funcall (ring-uminus ring) (funcall (ring-unit ring)))))))244 x)245 246 (append f plist))240 (setf f-x (poly-list-add-variables f k) 241 plist-x (mapcar #'(lambda (x) 242 (setf (poly-termlist x) (nconc (poly-termlist x) 243 (list (make-term (make-monom :dimension d) 244 (funcall (ring-uminus ring) (funcall (ring-unit ring))))))) 245 x) 246 (poly-standard-extension plist))) 247 (append f-x plist-x)) 247 248 248 249
Note:
See TracChangeset
for help on using the changeset viewer.