Changeset 4304
- Timestamp:
- 2016-06-04T22:24:31-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/integer-ring.lisp
r4300 r4304 22 22 (defpackage "INTEGER-RING" 23 23 (:use :cl :copy :ring :rational-field) 24 (:shadowing-import-from "RATIONAL-FIELD" value) 24 25 (:export "INTEGER-RING" 25 26 "INTEGER-RING-VALUE" … … 56 57 (1 self) 57 58 (-1 self) 58 (otherwise (error "Non-invertible ring element: ~S" self))))) 59 (otherwise 60 (unary-inverse (change-class self 'rational-field)))))) 59 61 60 62 (defmethod universal-gcd ((self integer-ring) (other integer-ring))
Note:
See TracChangeset
for help on using the changeset viewer.