Changeset 816
- Timestamp:
- 2015-06-09T00:05:32-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r458 r816 154 154 (poly-sugar p))) 155 155 156 (defun poly-extend (p &optional (m (make-monom 1 :initial-e lement 0)))156 (defun poly-extend (p &optional (m (make-monom 1 :initial-exponent 0))) 157 157 (make-poly-from-termlist 158 158 (termlist-extend (poly-termlist p) m) … … 182 182 plist (mapcar #'(lambda (x) 183 183 (setf (poly-termlist x) (nconc (poly-termlist x) 184 (list (make-term (make-monom d :initial-e lement 0)184 (list (make-term (make-monom d :initial-exponent 0) 185 185 (funcall (ring-uminus ring) (funcall (ring-unit ring))))))) 186 186 x) … … 194 194 (setf f (poly-list-add-variables f k) 195 195 plist (apply #'poly-append (poly-standard-extension plist)) 196 (cdr (last (poly-termlist plist))) (list (make-term (make-monom d :initial-e lement 0)196 (cdr (last (poly-termlist plist))) (list (make-term (make-monom d :initial-exponent 0) 197 197 (funcall (ring-uminus ring) (funcall (ring-unit ring)))))) 198 198 (append f (list plist))) … … 211 211 "Coerce an element of the coefficient ring to a constant polynomial." 212 212 ;; Modular arithmetic handler by rat 213 (make-poly-from-termlist (list (make-term (make-monom (length vars) :initial-e lement 0)213 (make-poly-from-termlist (list (make-term (make-monom (length vars) :initial-exponent 0) 214 214 (funcall (ring-parse ring) expr))) 215 215 0))
Note:
See TracChangeset
for help on using the changeset viewer.