Changeset 2701 for branches/f4grobner
- Timestamp:
- 2015-06-20T16:41:06-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/term.lisp
r2700 r2701 22 22 (defpackage "TERM" 23 23 (:use :cl :monom :ring) 24 (:export "TERM" "MAKE-TERM-VARIABLE")) 24 (:export "TERM" "MAKE-TERM-VARIABLE") 25 (:documentation "Implements class TERM. A term is a product of a 26 scalar and powers of some variables, such as 5*X^2*Y^3. The part of 27 the term without the coefficient is a monomial X^2*Y^3, which is 28 represented by class MONOM. In this implementation, a TERM specializes 29 MONOL. Also, a monomial can be considered a TERM whose coefficient is 30 the unit element (1) of the underlying ring. The generic method 31 CHANGE-CLASS can be used to convert between a MONOM and a TERM, 32 observing this convention.") 25 33 26 34 (in-package :term) … … 32 40 :documentation "The coefficient.")) 33 41 (:default-initargs :dimension nil :exponents nil :coeff nil) 34 (:documentation "Implements a term, i.e. a product of a scalar and 35 powers of some variables, such as 5*X^2*Y^3. The part of the term 36 without the coefficient is a monomial X^2*Y^3, which is represented by 37 class MONOM. In this implementation, a TERM specializes MONOL. Also, a 38 monomial can be considered a TERM whose coefficient is the unit 39 element (1) of the underlying ring. The generic method CHANGE-CLASS 40 can be used to convert between a MONOM and a TERM, observing this 41 convention.")) 42 (:documentation "Implements a polynomial.")) 42 43 43 44 (defmethod r-coeff ((self term))
Note:
See TracChangeset
for help on using the changeset viewer.