Changeset 3821
- Timestamp:
- 2016-05-28T00:36:13-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r3820 r3821 52 52 "SATURATION-EXTENSION-1" 53 53 "MAKE-POLY-VARIABLE" 54 "MAKE-POLY-CONSTANT" 54 55 "UNIVERSAL-EXPT" 55 56 "POLY-P") … … 507 508 (change-class (make-monom-variable nvars pos power) 'poly)) 508 509 510 (defun make-poly-constant (nvars coeff) 511 (change-class (make-term-constant nvars coeff) 'poly)) 512 509 513 (defgeneric universal-expt (x y) 510 514 (:documentation "Raises X to power Y.")
Note:
See TracChangeset
for help on using the changeset viewer.