Changeset 3308 for branches

Timestamp:

2015-06-23T09:37:12-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -101 +101 @@
 
   ;; when all exponents are to be identical
-  (when exponent-supplied-p
-    (unless (slot-boundp self 'dimension)
-      (error "Slot DIMENSION is unbound, but must be known if EXPONENT is supplied."))
-    (let ((dim (slot-value self 'dimension)))
-      (setf (slot-value self 'exponents)
-            (make-array (list dim) :initial-element (if exponent-supplied-p exponent 0)
-                        :element-type 'exponent)))))
+  (if exponent-supplied-p
+    (when (slot-boundp self 'exponents)
+      (warn "Ignoring argument EXPONENT."))
+    (cond
+      ((slot-boundp self 'dimension)
+       (error "Slot DIMENSION is unbound, but must be known if EXPONENT is supplied."))
+      (t
+       (let ((dim (slot-value self 'dimension)))
+         (setf (slot-value self 'exponents)
+               (make-array (list dim) :initial-element (if exponent-supplied-p exponent 0)
+                           :element-type 'exponent)))))))
 
 (defmethod r-equalp ((m1 monom) (m2 monom))