- Timestamp:
- 2015-06-15T17:58:37-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/term.lisp
r1902 r1903 56 56 Optionally, the term may appear with an arbitrary coefficient, which 57 57 defaults to the unit of the RING." 58 (declare (type ring ring) ( fixnum nvars pos))58 (declare (type ring ring) (type fixnum nvars pos)) 59 59 (make-term :monom (make-monom-variable nvars pos power) :coeff coeff)) 60 60
Note:
See TracChangeset
for help on using the changeset viewer.