Changeset 1115

Timestamp:

2015-06-10T12:39:34-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -279 +279 @@
           (print expr)
           ;; A polynomial can be divided by a scalar
-          (cond ((endp (cddr expr))
-                 ;; A special case (/ x)
-                 (apply (ring-div ring) (cdr expr)))
-                ((endp (cdddr expr))
-                 (let ((num (p-eval (cadr expr)))
-                       (denom-inverse (p-eval-scalar (cons '/ (last expr)))))
-                   (scalar-times-poly ring denom-inverse num)))
-                (t 
-                 (let ((num (p-eval (cons '* (cdr (butlast expr)))))
-                       (denom (p-eval-scalar (cons '/ (last expr)))))
-                   (cons num denom)))))
+          (cond 
+            ((endp (cddr expr))
+             ;; A special case (/ x)
+             (apply (ring-div ring) (cdr expr)))
+            ((endp (cdddr expr))
+             (let ((num (p-eval (cadr expr)))
+                   (denom-inverse (p-eval-scalar (cons '/ (last expr)))))
+               (scalar-times-poly ring denom-inverse num)))
+            (t 
+             (let ((num (p-eval (cons '* (cdr (butlast expr)))))
+                   (denom (p-eval-scalar (cons '/ (last expr)))))
+               (cons num denom)))))
          (expt
           (cond