Changeset 1990 for branches/f4grobner
- Timestamp:
- 2015-06-16T00:30:20-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pol.lisp
r1989 r1990 134 134 135 135 ;; Leading coefficient 136 (defun poly-lc (p) 137 (declare (type poly p)) 138 (term-coeff (poly-lt p))) 136 (defmethod poly-lc ((poly poly)) 137 (term-coeff (poly-lc poly))) 139 138 140 139 ;; Second coefficient 141 (defun poly-second-lc (p) 142 (declare (type poly p)) 143 (term-coeff (poly-second-lt p))) 140 (defmethod poly-second-lc ((poly poly)) 141 (term-coeff (poly-second-lt poly))) 144 142 145 143 ;; Testing for a zero polynomial 146 (defun poly-zerop (p) 147 (declare (type poly p)) 148 (null (poly-termlist p))) 144 (defmethod poly-zerop ((poly poly)) 145 (null (poly-termlist poly))) 149 146 150 147 ;; The number of terms 151 (defun poly-length (p) 152 (declare (type poly p)) 148 (defmethod poly-length ((poly poly)) 153 149 (length (poly-termlist p))) 154 150
Note:
See TracChangeset
for help on using the changeset viewer.