Changeset 1227 for branches/f4grobner

Timestamp:

2015-06-11T13:13:36-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/termlist.lisp (modified) (3 diffs)

branches/f4grobner/termlist.lisp

@@ -122 +122 @@
 (defun monom-times-termlist (m f)
   (cond
-   ((null f) nil)
-   (t
-    (mapcar #'(lambda (x) (monom-times-term m x)) f))))
+    ((null f) nil)
+    (t
+     (mapcar #'(lambda (x) (monom-times-term m x)) f))))
 
 (defun termlist-uminus (ring f)
@@ -212 +212 @@
                  ((null tail) head)
                  (t (nconc head tail)))))))
-                    
+
 (defun termlist-unit (ring dim)
   (declare (fixnum dim) (ring ring))
   (list (make-term (make-monom :dimension dim) (funcall (ring-unit ring)))))
-                   
+
 
 (defun termlist-expt (ring-and-order poly n 
@@ -224 +224 @@
   (declare (type fixnum n dim) (ring-and-order ring-and-order))
   (cond
-   ((minusp n) (error "termlist-expt: Negative exponent."))
-   ((endp poly) (if (zerop n) (termlist-unit ring dim) nil))
-   (t
-    (do ((k 1 (ash k 1))
-         (q poly (termlist-mul ring-and-order q q)) ;keep squaring
-         (p (termlist-unit ring dim) (if (not (zerop (logand k n))) (termlist-mul ring-and-order p q) p)))
-        ((> k n) p)
-      (declare (fixnum k))))))
+    ((minusp n) (error "termlist-expt: Negative exponent."))
+    ((endp poly) (if (zerop n) (termlist-unit ring dim) nil))
+    (t
+     (do ((k 1 (ash k 1))
+          (q poly (termlist-mul ring-and-order q q)) ;keep squaring
+          (p (termlist-unit ring dim) (if (not (zerop (logand k n))) (termlist-mul ring-and-order p q) p)))
+         ((> k n) p)
+       (declare (fixnum k))))))