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 3542


Ignore:
Timestamp:
2015-09-05T16:19:11-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/monom.lisp

    r3541 r3542  
    492492              exponents coeff))))
    493493
    494 (defgeneric universal-equalp ((term1 term) (term2 term))
     494(defmethod universal-equalp ((term1 term) (term2 term))
     495  "Returns T if TERM1 and TERM2 are equal as MONOM, and coefficients
     496are UNIVERSAL-EQUALP."
    495497  (and (call-next-method)
    496498       (universal-equalp (term-coeff term1) (term-coeff term2))))
Note: See TracChangeset for help on using the changeset viewer.