Changeset 2146 for branches/f4grobner

Timestamp:

2015-06-17T21:30:29-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/monom.lisp (modified) (6 diffs)

branches/f4grobner/monom.lisp

@@ -199 +199 @@
       (every #'>= exponents1 exponents2))))
 
-(defmethod rel-prime-p ((m1 monom) (m2 monom))
+(defmethod r-rel-prime-p ((m1 monom) (m2 monom))
   "Returns T if two monomials M1 and M2 are relatively prime (disjoint)."
   (with-slots (exponents1 exponents)
@@ -208 +208 @@
 
 
-(defmethod equal-p ((m1 monom) (m2 monom))
+(defmethod r-equal-p ((m1 monom) (m2 monom))
   "Returns T if two monomials M1 and M2 are equal."
   (with-slots (exponents1 exponents)
@@ -216 +216 @@
       (every #'= exponents1 exponents2))))
 
-(defmethod lcm ((m1 monom) (m2 monom)) 
+(defmethod r-lcm ((m1 monom) (m2 monom)) 
   "Returns least common multiple of monomials M1 and M2."
   (with-slots (exponents1 exponents)
@@ -228 +228 @@
 
 
-(defmethod gcd ((m1 monom) (m2 monom))
+(defmethod r-gcd ((m1 monom) (m2 monom))
   "Returns greatest common divisor of monomials M1 and M2."
   (with-slots (exponents1 exponents)
@@ -239 +239 @@
         (make-instance 'monom :dim dim :exponents exponents)))))
 
-(defmethod depends-p ((m monom) k)
+(defmethod r-depends-p ((m monom) k)
   "Return T if the monomial M depends on variable number K."
   (declare (type fixnum k))
@@ -246 +246 @@
     (plusp (cl:elt exponents k))))
 
-(defmethod ring-tensor-mul ((m1 monom) (m2 monom)
-                            &aux (dim (cl:+ (dimension m1) (dimension m2))))
+(defmethod r-tensor-product ((m1 monom) (m2 monom)
+                             &aux (dim (cl:+ (dimension m1) (dimension m2))))
   (declare (fixnum dim))
   (with-slots (exponents1 exponents)