Changeset 2352

Timestamp:

2015-06-18T20:48:59-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/term.lisp

@@ -72 +72 @@
              :coeff coeff))
 
-(defmethod ring-mul ((term1 term) (term2 term))
+|#
+
+(defmethod r* ((term1 term) (term2 term))
   "Returns the product of the terms TERM1 and TERM2,
 or NIL when the product is 0. This definition takes care of divisors of 0
 in the coefficient ring."
-  (let ((c (ring-mul (term-coeff term1) (term-coeff term2))))
-    (unless (ring-zerop c)
-      (make-term :monom (monom-mul (term-monom term1) (term-monom term2))
-                 :coeff c))))
+  (format t "TERM::R* called with:~&  TERM1: ~A~&  TERM2: ~A~%" term1 term2)
+  (call-next-method))
 
-(defun term-sugar (term)
-  (declare (type term term))
-  (monom-sugar (term-monom term)))
-
-;; Does the term depend on variable K?
-(defun term-depends-p (term k)
-  "Return T if the term TERM depends on variable number K."
-  (declare (type term term) (type fixnum k))
-  (monom-depends-p (term-monom term) k))
+#|
 
 (defun term->cons (term)