Changeset 2449

Timestamp:

2015-06-19T10:16:51-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -150 +150 @@
 (defmethod unary-uminus (self))
 
-(defun poly-append (&rest plist)
-  (make-poly-from-termlist (apply #'append (mapcar #'poly-termlist plist))
-                           (apply #'max (mapcar #'poly-sugar plist))))
-
-(defun poly-nreverse (p)
-  "Destructively reverse the order of terms in polynomial P. Returns P"
-  (declare (type poly p))
-  (setf (poly-termlist p) (nreverse (poly-termlist p)))
-  p)
-
-(defun poly-reverse (p)
-  "Returns a copy of the polynomial P with terms in reverse order."
-  (declare (type poly p))
-  (make-poly-from-termlist (reverse (poly-termlist p))
-                           (poly-sugar p)))
-
-
-(defun poly-contract (p &optional (k 1))
-  (declare (type poly p))
-  (make-poly-from-termlist (termlist-contract (poly-termlist p) k)
-                           (poly-sugar p)))
-
-(defun poly-extend (p &optional (m (make-monom :dimension 1)))
-  (declare (type poly p))
-  (make-poly-from-termlist
-   (termlist-extend (poly-termlist p) m)
-   (+ (poly-sugar p) (monom-sugar m))))
-
-(defun poly-add-variables (p k)
-  (declare (type poly p))
-  (setf (poly-termlist p) (termlist-add-variables (poly-termlist p) k))
-  p)
-
-(defun poly-list-add-variables (plist k)
-  (mapcar #'(lambda (p) (poly-add-variables p k)) plist))
-
 (defun poly-standard-extension (plist &aux (k (length plist)))
   "Calculate [U1*P1,U2*P2,...,UK*PK], where PLIST=[P1,P2,...,PK]."