Changeset 401 for branches/f4grobner

Timestamp:

2015-06-06T19:06:08-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/termlist.lisp

@@ -21 +21 @@
 
 (in-package :ngrobner)
+
+(defun termlist-sugar (p &aux (sugar -1))
+  (declare (fixnum sugar))
+  (dolist (term p sugar)
+    (setf sugar (max sugar (term-sugar term)))))
+
+(defun termlist-contract (p &optional (k 1))
+  "Eliminate first K variables from a polynomial P."
+  (mapcar #'(lambda (term) (make-term (monom-contract k (term-monom term))
+                                      (term-coeff term)))
+          p))
+
+(defun termlist-extend (p &optional (m (make-monom 1 :initial-element 0)))
+  "Extend every monomial in a polynomial P by inserting at the
+beginning of every monomial the list of powers M."
+  (mapcar #'(lambda (term) (make-term (monom-append m (term-monom term))
+                                      (term-coeff term)))
+          p))
+
+(defun termlist-add-variables (p n)
+  "Add N variables to a polynomial P by inserting zero powers
+at the beginning of each monomial."
+  (declare (fixnum n))
+  (mapcar #'(lambda (term)
+              (make-term (monom-append (make-monom n :initial-element 0)
+                                       (term-monom term))
+                         (term-coeff term)))
+          p))
+
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;