Changeset 3625
- Timestamp:
- 2015-09-05T20:19:13-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r3624 r3625 136 136 137 137 ;; Second term 138 (defgeneric poly-second-leading-term (object)138 (defgeneric second-leading-term (object) 139 139 (:method ((self poly)) 140 140 (cadar (poly-termlist self))) … … 142 142 143 143 ;; Leading coefficient 144 (defgeneric poly-leading-coefficient (object)144 (defgeneric leading-coefficient (object) 145 145 (:method ((self poly)) 146 ( cdr(poly-leading-term self)))146 (term-coeff (poly-leading-term self))) 147 147 (:documentation "The leading coefficient of a polynomial. It signals error for a zero polynomial.")) 148 148 149 149 ;; Leading monomial 150 (defgeneric poly-leading-monomial (object)150 (defgeneric leading-monomial (object) 151 151 (:method ((self poly)) 152 152 (car (poly-leading-term self)))
Note:
See TracChangeset
for help on using the changeset viewer.