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 3778 for branches


Ignore:
Timestamp:
2016-05-27T19:16:36-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/polynomial.lisp

    r3750 r3778  
    5252           "SATURATION-EXTENSION-1"
    5353           "MAKE-POLY-VARIABLE"
    54            "UNIVERSAL-EXPT")
     54           "UNIVERSAL-EXPT"
     55           "POLY-P")
    5556  (:documentation "Implements polynomials. A polynomial is essentially
    5657a mapping of monomials of the same degree to coefficients. The
     
    504505            (p 1 (if (not (zerop (logand k y))) (multiply p q) p)))
    505506           ((> k y) p)
    506          (declare (fixnum k)))))))
     507         (declare (fixnum k)))))))
     508
     509(defgeneric poly-p (object)
     510  (:documentation "Checks if an object is a polynomial.")
     511  (:method ((self poly))  true)
     512  (:method ((self t)) nil))
Note: See TracChangeset for help on using the changeset viewer.