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 3821


Ignore:
Timestamp:
2016-05-28T00:36:13-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r3820 r3821  
    5252           "SATURATION-EXTENSION-1"
    5353           "MAKE-POLY-VARIABLE"
     54           "MAKE-POLY-CONSTANT"
    5455           "UNIVERSAL-EXPT"
    5556           "POLY-P")
    … …  
    507508  (change-class (make-monom-variable nvars pos power) 'poly))
    508509
     510(defun make-poly-constant (nvars coeff)
     511  (change-class (make-term-constant nvars coeff) 'poly))
     512
    509513(defgeneric universal-expt (x y)
    510514  (:documentation "Raises X to power Y.")
Note: See TracChangeset for help on using the changeset viewer.