Changeset 816

Timestamp:

2015-06-09T00:05:32-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/polynomial.lisp (modified) (4 diffs)

branches/f4grobner/polynomial.lisp

@@ -154 +154 @@
                            (poly-sugar p)))
 
-(defun poly-extend (p &optional (m (make-monom 1 :initial-element 0)))
+(defun poly-extend (p &optional (m (make-monom 1 :initial-exponent 0)))
   (make-poly-from-termlist
    (termlist-extend (poly-termlist p) m)
@@ -182 +182 @@
         plist (mapcar #'(lambda (x)
                           (setf (poly-termlist x) (nconc (poly-termlist x)
-                                                         (list (make-term (make-monom d :initial-element 0)
+                                                         (list (make-term (make-monom d :initial-exponent 0)
                                                                           (funcall (ring-uminus ring) (funcall (ring-unit ring)))))))
                           x)
@@ -194 +194 @@
   (setf f (poly-list-add-variables f k)
         plist (apply #'poly-append (poly-standard-extension plist))
-        (cdr (last (poly-termlist plist))) (list (make-term (make-monom d :initial-element 0)
+        (cdr (last (poly-termlist plist))) (list (make-term (make-monom d :initial-exponent 0)
                                                             (funcall (ring-uminus ring) (funcall (ring-unit ring))))))
   (append f (list plist)))
@@ -211 +211 @@
   "Coerce an element of the coefficient ring to a constant polynomial."
   ;; Modular arithmetic handler by rat
-  (make-poly-from-termlist (list (make-term (make-monom (length vars) :initial-element 0)
+  (make-poly-from-termlist (list (make-term (make-monom (length vars) :initial-exponent 0)
                                             (funcall (ring-parse ring) expr)))
                            0))