Changeset 4445 for branches/f4grobner/monom.lisp

Timestamp:

2016-06-11T08:33:20-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -517 +517 @@
 
 (defmethod shared-initialize :around ((self term) slot-names &rest initargs &key (coeff 1))
-  "A convenience method. If a coefficient is an integer, wrap it in the INTEGER-RING object"
+  "A convenience method. If a coefficient is an integer or rational, wrap it in
+the INTEGER-RING or RATIONAL-FIELD object, respectively."
   ;; Dispatch on the type of supplied :COEFF arg
   (typecase coeff
@@ -526 +527 @@
   ;; Now pass new initargs to the next method
   (apply #'call-next-method (list* self slot-names initargs)))
+
+(defmethod (setf term-coeff) :after (new-value (object term))
+  "A conveniense method. If an integer or rational value is assigned to the slot,
+it is wrapped into an INTEGER-RING or RATIONAL-FIELD object, respectively."
+  (with-slots (coeff)
+      object
+    (typecase coeff
+      (integer
+       (setf coeff (make-instance 'integer-ring :value coeff)))
+      (rational
+       (setf coeff (make-instance 'rational-field :value coeff))))))