- Timestamp:
- 2015-06-11T10:33:50-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1190 r1197 191 191 that the division is possible, which may not always be the 192 192 case in rings which are not fields. The exact division operator 193 is assumed to be provided by the RING structure of the 194 lCOEFFICIENT-RING package." 193 is assumed to be provided by the RING structure." 195 194 (mapc #'(lambda (term) 196 195 (setf (term-coeff term) (funcall (ring-div ring) (term-coeff term) c)))
Note:
See TracChangeset
for help on using the changeset viewer.