Changeset 2701 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/term.lisp (modified) (2 diffs)

branches/f4grobner/term.lisp

@@ -22 +22 @@
 (defpackage "TERM"
   (:use :cl :monom :ring)
-  (:export "TERM" "MAKE-TERM-VARIABLE"))
+  (:export "TERM" "MAKE-TERM-VARIABLE")
+  (:documentation "Implements class TERM. A term is 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. The generic method
+CHANGE-CLASS can be used to convert between a MONOM and a TERM,
+observing this convention.")
 
 (in-package :term)
@@ -32 +40 @@
           :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. 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. The generic method CHANGE-CLASS
-can be used to convert between a MONOM and a TERM, observing this
-convention."))
+  (:documentation "Implements a polynomial."))
 
 (defmethod r-coeff ((self term))