close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 3629


Ignore:
Timestamp:
2015-09-05T20:21:04-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r3628 r3629  
    147147  (:documentation "The leading coefficient of a polynomial. It signals error for a zero polynomial."))
    148148
    149 ;; Second leading coefficient
     149
    150150(defgeneric second-leading-coefficient (object)
    151151  (:method ((self poly))
    … …  
    154154  signals error for a polynomial with at most one term."))
    155155
    156 ;; Testing for a zero polynomial
    157 (defmethod universal-zerop (self)
    158   (:method ((self poly))
    159     (null (poly-termlist self))))
     156(defmethod universal-zerop ((self poly))
     157  "Return T iff SELF is a zero polynomial."
     158  (null (poly-termlist self))))
    160159
    161160;; The number of terms
Note: See TracChangeset for help on using the changeset viewer.