- Timestamp:
- 2015-06-22T10:23:36-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/symbolic-poly.lisp
r3125 r3128 35 35 (defun coerce-coeff (ring expr vars) 36 36 "Coerce an element of the coefficient ring to a constant polynomial." 37 ;; Modular arithmetic handler by rat38 37 (declare (type ring ring)) 39 38 (make-poly-from-termlist (list (make-term :monom (make-monom :dimension (length vars))
Note:
See TracChangeset
for help on using the changeset viewer.