Changeset 2100

Timestamp:

2015-06-17T20:03:05-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/ring.lisp (modified) (1 diff)

branches/f4grobner/ring.lisp

@@ -49 +49 @@
 (in-package :ring)
 
-(defgeneric ring-unit-for (object)
+(defgeneric unit-for (object)
   (:method ((self number)) 1))
 
-(defgeneric ring-zerop (object)
-  (:method ((self number)) (zerop self)))
+(defgeneric zerop (object)
+  (:method ((self number)) (cl:zerop self)))
 
-(defgeneric ring-add (x y)
+(defgeneric add (x y)
   (:method ((x number) (y number)) (+ x y))) 
 
-(defgeneric ring-mul (x y)
+(defgeneric mul (x y)
   (:method ((x number) (y number)) (* x y))) 
 
-(defgeneric ring-tensor-mul (x y))
+(defgeneric tensor-mul (x y))
 
-(defgeneric ring-div (x y)
+(defgeneric div (x y)
   (:method ((x number) (y number)) (/ x y))) 
 
-(defgeneric ring-lcm (x y)
-  (:method ((x integer) (y integer)) (lcm x y))) 
+(defgeneric lcm (x y)
+  (:method ((x integer) (y integer)) (cl:lcm x y))) 
 
-(defgeneric ring-ezgcd (x y)
+(defgeneric ezgcd (x y)
   (:method ((x integer) (y integer)
             &aux (c (gcd x y)))
     (values c (/ x c) (/ y c))))
 
-(defgeneric ring-gcd (x y)
+(defgeneric gcd (x y)
   (:method ((x integer) (y integer))
-    (gcd x y)))
+    (cl:gcd x y)))
 
 (defgeneric dimension (object))