close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 816 for branches/f4grobner


Ignore:
Timestamp:
2015-06-09T00:05:32-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/polynomial.lisp

    r458 r816  
    154154                           (poly-sugar p)))
    155155
    156 (defun poly-extend (p &optional (m (make-monom 1 :initial-element 0)))
     156(defun poly-extend (p &optional (m (make-monom 1 :initial-exponent 0)))
    157157  (make-poly-from-termlist
    158158   (termlist-extend (poly-termlist p) m)
     
    182182        plist (mapcar #'(lambda (x)
    183183                          (setf (poly-termlist x) (nconc (poly-termlist x)
    184                                                          (list (make-term (make-monom d :initial-element 0)
     184                                                         (list (make-term (make-monom d :initial-exponent 0)
    185185                                                                          (funcall (ring-uminus ring) (funcall (ring-unit ring)))))))
    186186                          x)
     
    194194  (setf f (poly-list-add-variables f k)
    195195        plist (apply #'poly-append (poly-standard-extension plist))
    196         (cdr (last (poly-termlist plist))) (list (make-term (make-monom d :initial-element 0)
     196        (cdr (last (poly-termlist plist))) (list (make-term (make-monom d :initial-exponent 0)
    197197                                                            (funcall (ring-uminus ring) (funcall (ring-unit ring))))))
    198198  (append f (list plist)))
     
    211211  "Coerce an element of the coefficient ring to a constant polynomial."
    212212  ;; Modular arithmetic handler by rat
    213   (make-poly-from-termlist (list (make-term (make-monom (length vars) :initial-element 0)
     213  (make-poly-from-termlist (list (make-term (make-monom (length vars) :initial-exponent 0)
    214214                                            (funcall (ring-parse ring) expr)))
    215215                           0))
Note: See TracChangeset for help on using the changeset viewer.