close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 2702 for branches


Ignore:
Timestamp:
2015-06-20T16:41:31-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/term.lisp

    r2701 r2702  
    2323  (:use :cl :monom :ring)
    2424  (: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  (:documentation "This package implements class TERM. A term is a
     26product of a scalar and powers of some variables, such as
     275*X^2*Y^3. The part of the term without the coefficient is a monomial
     28X^2*Y^3, which is represented by class MONOM, provided by the :MONOM
     29package. In this implementation, a TERM specializes MONOL. Also, a
     30monomial can be considered a TERM whose coefficient is the unit
     31element (1) of the underlying ring. The generic method CHANGE-CLASS
     32can be used to convert between a MONOM and a TERM, observing this
     33convention.")
    3334
    3435(in-package :term)
Note: See TracChangeset for help on using the changeset viewer.