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 4512 for branches


Ignore:
Timestamp:
2016-06-17T11:50:03-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r4511 r4512  
    4040  self)
    4141
     42(defmethod divide-by :after ((self sugar) (other sugar))
     43  (with-slots (value)
     44      self
     45    (with-slots ((other-value value))
     46        other
     47      (decf value other-value)))
     48  self)
     49
    4250(defclass term-with-sugar (term sugar) ())
    4351
Note: See TracChangeset for help on using the changeset viewer.