Changeset 108

Timestamp:

2015-06-05T12:03:18-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/grobner.lisp

@@ -206 +206 @@
            *pair-order* #'<))))
 
-
-
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Set up the coefficients to be polynomials
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-;; (defun poly-ring (ring vars)
-;;   (make-ring 
-;;    :parse #'(lambda (expr) (poly-eval ring expr vars))
-;;    :unit #'(lambda () (poly-unit ring (length vars)))
-;;    :zerop #'poly-zerop
-;;    :add #'(lambda (x y) (poly-add ring x y))
-;;    :sub #'(lambda (x y) (poly-sub ring x y))
-;;    :uminus #'(lambda (x) (poly-uminus ring x))
-;;    :mul #'(lambda (x y) (poly-mul ring x y))
-;;    :div #'(lambda (x y) (poly-exact-divide ring x y))
-;;    :lcm #'(lambda (x y) (poly-lcm ring x y))
-;;    :ezgcd #'(lambda (x y &aux (gcd (poly-gcd ring x y)))
-;;            (values gcd
-;;                    (poly-exact-divide ring x gcd)
-;;                    (poly-exact-divide ring y gcd)))
-;;    :gcd #'(lambda (x y) (poly-gcd x y))))