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 4535


Ignore:
Timestamp:
2016-06-18T11:28:33-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r4530 r4535  
    7474
    7575(defmethod update-instance-for-different-class :after ((old monom) (new monom-with-sugar) &key)
    76   "Add sugar."
     76  "Add sugar to a monom OLD."
    7777  (reinitialize-instance new :value (static-sugar new)))
    7878
    7979
    8080(defmethod multiply-by :after ((self sugar) (other sugar))
     81  "By definition, sugar is additive under multiplication."
    8182  (with-slots (value)
    8283      self
     
    8485        other
    8586      (incf value other-value)))
    86   self)
    87 
    88 (defmethod divide-by :after ((self sugar) (other sugar))
    89   (with-slots (value)
    90       self
    91     (with-slots ((other-value value))
    92         other
    93       (decf value other-value)))
    9487  self)
    9588
Note: See TracChangeset for help on using the changeset viewer.