- Timestamp:
- 2015-06-16T00:31:45-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pol.lisp
r1990 r1991 149 149 (length (poly-termlist p))) 150 150 151 (def un poly-reset-sugar (p)151 (defmethod poly-reset-sugar ((poly poly)) 152 152 "(Re)sets the sugar of a polynomial P to the sugar of (POLY-TERMLIST P). 153 153 Thus, the sugar is set to the maximum sugar of all monomials of P, or -1 154 154 if P is a zero polynomial." 155 (declare (type poly p)) 156 (setf (poly-sugar p) (termlist-sugar (poly-termlist p))) 157 p) 158 159 (defun scalar-times-poly (ring c p) 155 (setf (poly-sugar poly) (termlist-sugar (poly-termlist poly))) 156 poly) 157 158 (defmethod scalar-times-poly (ring c p) 160 159 "The scalar product of scalar C by a polynomial P. The sugar of the 161 160 original polynomial becomes the sugar of the result."
Note:
See TracChangeset
for help on using the changeset viewer.