Changeset 3055 for branches/f4grobner
- Timestamp:
- 2015-06-21T17:34:40-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r3050 r3055 21 21 22 22 (defpackage "POLYNOMIAL" 23 (:use :cl : ring :monom :order :term #| :infix |# )23 (:use :cl :utils :ring :monom :order :term #| :infix |# ) 24 24 (:export "POLY" 25 25 "POLY-TERMLIST" … … 276 276 "Calculate [U1*P1,U2*P2,...,UK*PK], where PLIST=[P1,P2,...,PK] 277 277 is a list of polynomials." 278 (declare (list plist) (fixnum k)) 279 (labels ((incf-power (g i) 280 (dolist (x (poly-termlist g)) 281 (incf (monom-elt (term-monom x) i))) 282 (incf (poly-sugar g)))) 283 (setf plist (poly-list-add-variables plist k)) 284 (dotimes (i k plist) 285 (incf-power (nth i plist) i)))) 278 (makelist (left-tensor-product-by (nth i plist) 279 (make-term-variable k i)) 280 i 0 k)) 286 281 287 282 #|
Note:
See TracChangeset
for help on using the changeset viewer.