Changeset 4246

Timestamp:

2016-06-04T20:03:04-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/ring.lisp (modified) (3 diffs)

branches/f4grobner/ring.lisp

@@ -28 +28 @@
            "DIVIDE-BY"
            "UNARY-MINUS"
+           "UNARY-INVERSE"
            "UNIVERSAL-EZGCD"
            "UNIVERSAL-EQUALP"
@@ -38 +39 @@
 (defclass ring () () (:documentation "An abstract ring."))
            
-(defgeneric  multiply-by (self other)
+(defgeneric multiply-by (self other)
   (:documentation "Multiply SELF by OTHER."))
+
+(defgeneric divide-by (self other)
+  (:documentation "Divide SELF by OTHER."))
 
 (defgeneric add-to (self other)
   (:documentation "Add OTHER to SELF."))
 
-(defgeneric  subtract-from (self other)
+(defgeneric subtract-from (self other)
   (:documentation "Subtract OTHER from SELF."))
 
@@ -50 +54 @@
   (:documentation "Changes SELF to its negative."))
 
-(defgeneric universal-ezgcd (self other)
+(defgeneric unary-inverse (self)
+  (:documentation "Returns the unary inverse of SELF."))
+
+(defgeneric universal-gcd (self other)
   (:documentation "Set SELF value to GCD(SELF, OTHER)"))