Changeset 2699

Timestamp:

2015-06-20T16:38:24-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/term.lisp (modified) (1 diff)

branches/f4grobner/term.lisp

@@ -32 +32 @@
           :documentation "The coefficient."))
   (:default-initargs :dimension nil :exponents nil :coeff nil)
-  (:documentation "Implements a term, i.e. a product of a scalar and powers
-of some variables, such as 5*X^2*Y^3."))
+  (:documentation "Implements a term, i.e. a product of a scalar and
+powers of some variables, such as 5*X^2*Y^3. The part of the term
+without the coefficient is a monomial X^2*Y^3, which is represented by
+class MONOM. In this implementation, a TERM specializes MONOL. Also, a
+monomial can be considered a TERM whose coefficient is the unit
+element (1) of the underlying ring. CHANGE-CLASS can be used to
+convert between a MONOM and a TERM, observing this convention."))
 
 (defmethod r-coeff ((self term))