Changeset 443 for branches

Timestamp:

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

Author:

Marek Rychlik

Message:

 

Location:

branches/f4grobner

Files:

• ngrobner.lisp (modified) (1 diff)
• order-mk.lisp (deleted)

branches/f4grobner/ngrobner.lisp

@@ -71 +71 @@
 
 
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Coefficient ring operations
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; These are ALL operations that are performed on the coefficients by
-;; the package, and thus the coefficient ring can be changed by merely
-;; redefining these operations.
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-(defstruct (ring)
-  (parse #'identity :type function)
-  (unit #'identity :type function)
-  (zerop #'identity :type function)
-  (add #'identity :type function)
-  (sub #'identity :type function)
-  (uminus #'identity :type function)
-  (mul #'identity :type function)
-  (div #'identity :type function)
-  (lcm #'identity :type function)
-  (ezgcd #'identity :type function)
-  (gcd #'identity :type function))
-
-(defparameter *ring-of-integers*
-    (make-ring
-     :parse #'identity
-     :unit #'(lambda () 1)
-     :zerop #'zerop
-     :add #'+
-     :sub #'-
-     :uminus #'-
-     :mul #'*
-     :div #'/
-     :lcm #'lcm
-     :ezgcd #'(lambda (x y &aux (c (gcd x y))) (values c (/ x c) (/ y c)))
-     :gcd #'gcd)
-  "The ring of integers.")
-
-(defvar *expression-ring* *ring-of-integers*
-  "The ring of coefficients, over which all polynomials are assumed to
-  be defined.")
-
 (defvar *ratdisrep-fun* #'identity
   "A function applied to polynomials after conversion to Maxima representation.")