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 4435


Ignore:
Timestamp:
2016-06-10T09:55:23-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/symbolic-polynomial.lisp

    r4365 r4435  
    5050  (when (universal-equalp (symbolic-poly-vars self) (symbolic-poly-vars other))
    5151    (call-next-method)))
     52
     53(defmethod universal-equalp ((self symbolic-poly) (other poly))
     54  "Compare SELF, which is an instance of SYMBOLIC-POLY, to OTHER, which
     55is an instance of POLY. We simply ignore variables of SELF, and compare
     56SELF and OTHER as POLY."
     57  (call-next-method))
    5258
    5359(defmethod universal-equalp ((self symbol) (other symbol))
Note: See TracChangeset for help on using the changeset viewer.