close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4259


Ignore:
Timestamp:
2016-06-04T20:35:38-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/integer-ring.lisp

    r4255 r4259  
    5757  self)
    5858
    59 (defmethod  divide-by ((self integer-ring) (other integer-ring))
     59(defmethod divide-by ((self integer-ring) (other integer-ring))
    6060  (with-slots (value)
    6161      self
    6262    (with-slots ((other-value value))
    6363        other
     64      (assert (zerop (mod value other-value)))
    6465      (setf value (/ value other-value))))
    6566  self)
Note: See TracChangeset for help on using the changeset viewer.