Changeset 107

Timestamp:

2015-06-05T12:02:57-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/grobner.lisp

@@ -254 +254 @@
     (otherwise
      object)))
-
-
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Maxima expression ring
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-(defparameter *expression-ring*
-    (make-ring 
-     ;;(defun coeff-zerop (expr) (meval1 `(($is) (($equal) ,expr 0))))
-     :parse #'(lambda (expr)
-                (when modulus (setf expr ($rat expr)))
-                expr)
-     :unit #'(lambda () (if modulus ($rat 1) 1))
-     :zerop #'(lambda (expr)
-                ;;When is exactly a maxima expression equal to 0?
-                (cond ((numberp expr)
-                       (= expr 0))
-                      ((atom expr) nil)
-                      (t
-                       (case (caar expr)
-                         (mrat (eql ($ratdisrep expr) 0))
-                         (otherwise (eql ($totaldisrep expr) 0))))))
-     :add #'(lambda (x y) (m+ x y))
-     :sub #'(lambda (x y) (m- x y))
-     :uminus #'(lambda (x) (m- x))
-     :mul #'(lambda (x y) (m* x y))
-     ;;(defun coeff-div (x y) (cadr ($divide x y)))
-     :div #'(lambda (x y) (m// x y))
-     :lcm #'(lambda (x y) (meval1 `((|$LCM|) ,x ,y)))
-     :ezgcd #'(lambda (x y) (apply #'values (cdr ($ezgcd ($totaldisrep x) ($totaldisrep y)))))
-     ;; :gcd #'(lambda (x y) (second ($ezgcd x y)))))
-     :gcd #'(lambda (x y) ($gcd x y))))
-
-(defvar *maxima-ring* *expression-ring*
-  "The ring of coefficients, over which all polynomials 
-are assumed to be defined.")