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 1904


Ignore:
Timestamp:
2015-06-15T18:01:00-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r1847 r1904  
    108108
    109109;; Leading monomial
    110 (defun poly-lm (p) (term-monom (poly-lt p)))
     110(defun poly-lm (p)
     111  (declare (type poly p))
     112  (term-monom (poly-lt p)))
    111113
    112114;; Second monomial
    113 (defun poly-second-lm (p) (term-monom (poly-second-lt p)))
     115(defun poly-second-lm (p)
     116  (declare (type poly p))
     117  (term-monom (poly-second-lt p)))
    114118
    115119;; Leading coefficient
    116 (defun poly-lc (p) (term-coeff (poly-lt p)))
     120(defun poly-lc (p)
     121  (declare (type poly p))
     122  (term-coeff (poly-lt p)))
    117123
    118124;; Second coefficient
    119 (defun poly-second-lc (p) (term-coeff (poly-second-lt p)))
     125(defun poly-second-lc (p)
     126  (declare (type poly p))
     127  (term-coeff (poly-second-lt p)))
    120128
    121129;; Testing for a zero polynomial
    122 (defun poly-zerop (p) (null (poly-termlist p)))
     130(defun poly-zerop (p)
     131  (declare (type poly p))
     132  (null (poly-termlist p)))
    123133
    124134;; The number of terms
Note: See TracChangeset for help on using the changeset viewer.