Changeset 2702

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/term.lisp

@@ -23 +23 @@
   (:use :cl :monom :ring)
   (: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.")
+  (:documentation "This package 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, provided by the :MONOM
+package. 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)