- Timestamp:
- 2015-06-19T10:19:54-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ring.lisp
r2444 r2450 73 73 74 74 (defgeneric r-zerop (object) 75 (:method ((self number)) ( cl:zerop self)))75 (:method ((self number)) (zerop self))) 76 76 77 77 (defgeneric r+ (x y) 78 (:method ((x number) (y number)) ( cl:+ x y)))78 (:method ((x number) (y number)) (+ x y))) 79 79 80 80 (defgeneric r- (x y) 81 (:method ((x number) (y number)) ( cl:- x y)))81 (:method ((x number) (y number)) (- x y))) 82 82 83 83 (defgeneric r* (x y) 84 (:method ((x number) (y number)) ( cl:* x y)))84 (:method ((x number) (y number)) (* x y))) 85 85 86 86 (defgeneric r-tensor-product (x y)) 87 87 88 88 (defgeneric r/ (x y) 89 (:method ((x number) (y number)) ( cl:/ x y)))89 (:method ((x number) (y number)) (/ x y))) 90 90 91 91 (defgeneric r-lcm (x y) 92 (:method ((x integer) (y integer)) ( cl:lcm x y)))92 (:method ((x integer) (y integer)) (lcm x y))) 93 93 94 94 (defgeneric r-expt (x y) 95 (:method ((x integer) (y integer)) ( cl:expt x y)))95 (:method ((x integer) (y integer)) (expt x y))) 96 96 97 97 (defgeneric r-ezgcd (x y) … … 102 102 (defgeneric r-gcd (x y) 103 103 (:method ((x integer) (y integer)) 104 ( cl:gcd x y)))104 (gcd x y))) 105 105 106 106 (defgeneric r-dimension (object)) … … 112 112 (defgeneric r-divides-p (object1 object2) 113 113 (:method ((object1 integer) (object2 integer)) 114 ( cl:zerop (rem object2 object1)))114 (zerop (rem object2 object1))) 115 115 (:documentation "Returns T if OBJECT1 divides OBJECT2")) 116 116
Note:
See TracChangeset
for help on using the changeset viewer.