Changeset 793
- Timestamp:
- 2015-06-08T22:47:14-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/term.lisp
r792 r793 36 36 (:include monom) 37 37 ;; BOA constructor. TODO: avoid code duplication with MONOM? 38 (:constructor make-term (monom &optional (c nil c-supplied)38 (:constructor make-term (monom &optional (c nil) 39 39 (ring *ring-of-integers* ring-supplied-p) 40 40 &aux 41 41 (coeff (cond 42 (c -suppliedc)42 (c c) 43 43 (ring-supplied-p (funcall (ring-unit ring))) 44 44 (t (error "Coefficient or ring must be supplied."))))
Note:
See TracChangeset
for help on using the changeset viewer.