Changeset 402

Timestamp:

2015-06-06T19:06:19-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/term.lisp (modified) (2 diffs)

branches/f4grobner/term.lisp

@@ -22 +22 @@
 (defpackage "TERM"
   (:use :cl :monomial)
-  (:export))
+  (:export "MAKE-TERM-VARIABLE"
+           "MAKE-TERM"
+           "TERM-SUGAR"))
 
 
@@ -52 +54 @@
   (monom-sugar (term-monom term)))
 
-(defun termlist-sugar (p &aux (sugar -1))
-  (declare (fixnum sugar))
-  (dolist (term p sugar)
-    (setf sugar (max sugar (term-sugar term)))))
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Additional structure operations on a list of terms
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-(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))
 
 (defun term-mul (ring term1 term2)