- Timestamp:
- 2015-06-06T19:11:44-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ring.lisp
r408 r409 56 56 57 57 (defparameter *ring-of-integers* 58 "Defines the ring of integers, which is an instance of RING structure." 59 (make-ring 60 :parse #'identity 61 :unit #'(lambda () 1) 62 :zerop #'zerop 63 :add #'+ 64 :sub #'- 65 :uminus #'- 66 :mul #'* 67 :div #'/ 68 :lcm #'lcm 69 :ezgcd #'(lambda (x y &aux (c (gcd x y))) (values c (/ x c) (/ y c))) 70 :gcd #'gcd) 58 (make-ring 59 :parse #'identity 60 :unit #'(lambda () 1) 61 :zerop #'zerop 62 :add #'+ 63 :sub #'- 64 :uminus #'- 65 :mul #'* 66 :div #'/ 67 :lcm #'lcm 68 :ezgcd #'(lambda (x y &aux (c (gcd x y))) (values c (/ x c) (/ y c))) 69 :gcd #'gcd) 71 70 "The ring of integers.") 72 71
Note:
See TracChangeset
for help on using the changeset viewer.