Changeset 1619
- Timestamp:
- 2015-06-14T18:20:41-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/term.lisp
r1605 r1619 68 68 (monom-sugar (term-monom term))) 69 69 70 ;; Does the term depend on variable K? 71 (defun term-depends-p (term k) 72 "Return T if the term TERM depends on variable number K." 73 (monom-depends-p (term-monom term) k)) 74 75 76 70 77 (defun term->cons (term) 71 78 "A human-readable representation of a term as a cons (MONOM . COEFF)."
Note:
See TracChangeset
for help on using the changeset viewer.