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 4250


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/integer-ring.lisp

    r4247 r4250  
    100100
    101101
     102(defmethod universal-ezgcd ((object integer-ring) (other integer-ring))
     103  (with-slots (value)
     104      object
     105    (with-slots (other-value)
     106        other
     107      (let (c (gcd value other-value))
     108        (values (make-instance 'integer-ring :value c)
     109                (make-instance 'integer-ring :value (/ value c))
     110                (make-instance 'integer-ring :value (/ other-value c)))))))
    102111
    103112(defmethod universal-equalp ((self integer-ring) (other integer-ring))
Note: See TracChangeset for help on using the changeset viewer.