Changeset 3338 for branches/f4grobner
- Timestamp:
- 2015-06-23T11:30:37-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/symbolic-polynomial.lisp
r3337 r3338 57 57 58 58 59 (defun coerce-coeff (ring expr vars)59 (defun update-instance-for-different-class ((old term) (new symbolic-poly-vars) &key) 60 60 "Coerce an element of the coefficient ring to a constant polynomial." 61 ( declare (type ring ring))62 (make-poly-from-termlist (list (make-term :monom (make-monom :dimension (length vars))63 :coeff (funcall (ring-parse ring) expr)))64 0)) 65 61 (reinitialize-instance new 62 :termlist (list old) 63 0)) 64 65 #| 66 66 (defun poly-eval (expr vars 67 67 &optional
Note:
See TracChangeset
for help on using the changeset viewer.