Changeset 2800

Timestamp:

2015-06-20T21:39:05-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -196 +196 @@
   (fast-add/subtract p q order-fn add-to nil))
 
-(defun multiply-term-by-termlist-dropping-zeros (term termlist)
+(defmacro multiply-term-by-termlist-dropping-zeros (term termlist 
+                                                    &optional (reverse-order nil))
   "Multiplies term TERM by a list of term, TERMLIST.
 Takes into accound divisors of zero in the ring, by
 deleting zero terms."
-  (mapcan #'(lambda (other-term) 
-              (let ((prod (term-multiply term other-term)))
-                (cond 
-                  ((r-zerop prod) nil)
-                  (t (list prod)))))
-          termlist))
-
-(defun multiply-termlist-by-term-dropping-zeros (termlist term)
-  "A product of a termlist TERMLIST by a term TERM>
-Takes into accound divisors of zero in the ring, by
-deleting zero terms."
-  (mapcan #'(lambda (other-term) 
-              (let ((prod (term-multiply other-term term)))
-                (cond 
-                  ((r-zerop prod) nil)
-                  (t (list prod)))))
-          termlist))
+  `(mapcan #'(lambda (other-term) 
+               (let ((prod (term-multiply ,term other-term)))
+                 (cond 
+                   ((r-zerop prod) nil)
+                   (t (list prod)))))
+           ,termlist))
 
 (defun multiply-termlists (p q order-fn)