Changeset 937 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/termlist.lisp

@@ -220 +220 @@
                    
 
-(defun termlist-expt (ring poly n &aux (dim (monom-dimension (termlist-lm poly))))
-  (declare (type fixnum n dim) (ring ring))
+(defun termlist-expt (ring-and-order poly n 
+                      &aux
+                        (ring (ro-ring ring-and-order))
+                        (dim (monom-dimension (termlist-lm poly))))
+  (declare (type fixnum n dim) (ring-and-order ring-and-order))
   (cond
    ((minusp n) (error "termlist-expt: Negative exponent."))
@@ -227 +230 @@
    (t
     (do ((k 1 (ash k 1))
-         (q poly (termlist-mul ring q q))       ;keep squaring
-         (p (termlist-unit ring dim) (if (not (zerop (logand k n))) (termlist-mul ring p q) p)))
+         (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))))))