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 2701


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/term.lisp

    r2700 r2701  
    2222(defpackage "TERM"
    2323  (: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
     26scalar and powers of some variables, such as 5*X^2*Y^3. The part of
     27the term without the coefficient is a monomial X^2*Y^3, which is
     28represented by class MONOM. In this implementation, a TERM specializes
     29MONOL. Also, a monomial can be considered a TERM whose coefficient is
     30the unit element (1) of the underlying ring. The generic method
     31CHANGE-CLASS can be used to convert between a MONOM and a TERM,
     32observing this convention.")
    2533
    2634(in-package :term)
     
    3240          :documentation "The coefficient."))
    3341  (: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."))
    4243
    4344(defmethod r-coeff ((self term))
Note: See TracChangeset for help on using the changeset viewer.