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.

Ignore:
Timestamp:
2016-06-04T19:57:33-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/integer-ring.lisp

    r4238 r4244  
    8686  self)
    8787
     88(defmethod universal-zerop ((self integer-ring))
     89  (with-slots (value)
     90      self
     91    (zerop value)))
     92
    8893(defmethod universal-ezgcd ((self integer-ring) (other integer-ring))
    8994  (with-slots (value)
    … …  
    9398      (setf value (gcd value other-value))))
    9499  self)
     100
     101
    95102
    96103(defmethod universal-equalp ((self integer-ring) (other integer-ring))
Note: See TracChangeset for help on using the changeset viewer.