Changeset 4426 for branches/f4grobner

Timestamp:

2016-06-08T21:11:16-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/integer-ring.lisp (modified) (2 diffs)

branches/f4grobner/integer-ring.lisp

@@ -33 +33 @@
       (format stream "VALUE=~A" value))))
 
-(defmethod shared-initialize :before ((self integer-ring) slot-names 
+(defmethod shared-initialize :around ((self integer-ring) slot-names 
                                       &rest initargs 
-                                      &key value)
-  (declare (ignore initargs))
-  (assert (integerp value) nil "When initializing INTEGER-RING, argument VALUE must be an integer, got ~S." value))
+                                      &key (value nil value-supplied-p))
+  "Checks the argument VALUE. Calls error if it is not an integer."
+  (declare (ignore  initargs))
+  (when value-supplied-p
+    (assert (integerp value) nil "When initializing INTEGER-RING, argument VALUE must be an integer, got ~S." value))
+  (call-next-method))
 
 
@@ -48 +51 @@
       (-1 self)
       (t
+       (warn "In UNARY-INVERSE with argument ~S, conversion from INTEGER-RING to RATIONAL-FIELD." self)
        (unary-inverse (change-class self 'rational-field))))))