- Timestamp:
- 2015-06-17T18:53:39-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ring.lisp
r2056 r2057 113 113 (values c (/ x c) (/ y c)))) 114 114 115 (defgeneric ring-gcd (x y)115 (defgeneric gcd (x y) 116 116 (:method ((x integer) (y integer)) 117 117 (gcd x y))) 118 118 119 (defgeneric ring-dimension (object)119 (defgeneric dimension (object) 120 120 (:method ((object integer)) 1)) 121 121 122 (defgeneric ring-divides-p (object1 object2) 122 (defgeneric divides-p (object1 object2) 123 "Returns T if OBJECT1 divides OBJECT2" 123 124 (:method ((object1 integer) (object2 integer)) 124 125 (zerop (rem object2 object1))))
Note:
See TracChangeset
for help on using the changeset viewer.