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 4246


Ignore:
Timestamp:
2016-06-04T20:03:04-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/ring.lisp

    r4234 r4246  
    2828           "DIVIDE-BY"
    2929           "UNARY-MINUS"
     30           "UNARY-INVERSE"
    3031           "UNIVERSAL-EZGCD"
    3132           "UNIVERSAL-EQUALP"
     
    3839(defclass ring () () (:documentation "An abstract ring."))
    3940           
    40 (defgeneric  multiply-by (self other)
     41(defgeneric multiply-by (self other)
    4142  (:documentation "Multiply SELF by OTHER."))
     43
     44(defgeneric divide-by (self other)
     45  (:documentation "Divide SELF by OTHER."))
    4246
    4347(defgeneric add-to (self other)
    4448  (:documentation "Add OTHER to SELF."))
    4549
    46 (defgeneric  subtract-from (self other)
     50(defgeneric subtract-from (self other)
    4751  (:documentation "Subtract OTHER from SELF."))
    4852
     
    5054  (:documentation "Changes SELF to its negative."))
    5155
    52 (defgeneric universal-ezgcd (self other)
     56(defgeneric unary-inverse (self)
     57  (:documentation "Returns the unary inverse of SELF."))
     58
     59(defgeneric universal-gcd (self other)
    5360  (:documentation "Set SELF value to GCD(SELF, OTHER)"))
    5461
Note: See TracChangeset for help on using the changeset viewer.