Changeset 1991

Timestamp:

2015-06-16T00:31:45-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/pol.lisp (modified) (1 diff)

branches/f4grobner/pol.lisp

@@ -149 +149 @@
   (length (poly-termlist p)))
 
-(defun poly-reset-sugar (p)
+(defmethod poly-reset-sugar ((poly poly))
   "(Re)sets the sugar of a polynomial P to the sugar of (POLY-TERMLIST P).
 Thus, the sugar is set to the maximum sugar of all monomials of P, or -1 
 if P is a zero polynomial."
-  (declare (type poly p))
-  (setf (poly-sugar p) (termlist-sugar (poly-termlist p)))
-  p)
-
-(defun scalar-times-poly (ring c p)
+  (setf (poly-sugar poly) (termlist-sugar (poly-termlist poly)))
+  poly)
+
+(defmethod scalar-times-poly (ring c p)
   "The scalar product of scalar C by a polynomial P. The sugar of the
 original polynomial becomes the sugar of the result."