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 4264


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/integer-ring.lisp

    r4260 r4264  
    8888  self)
    8989
     90(defmethod unary-inverse ((self integer-ring))
     91  (with-slots (value)
     92      self
     93    (case value
     94      (1 self)
     95      (-1 self)
     96      (otherwise (error "Non-invertible ring element: ~S" self)))))
     97
    9098(defmethod universal-zerop ((self integer-ring))
    9199  (with-slots (value)
Note: See TracChangeset for help on using the changeset viewer.