Changeset 443
- Timestamp:
- 2015-06-06T19:59:18-07:00 (10 years ago)
- Location:
- branches/f4grobner
- Files:
-
- 1 deleted
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ngrobner.lisp
r373 r443 71 71 72 72 73 74 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;75 ;;76 ;; Coefficient ring operations77 ;;78 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;79 ;;80 ;; These are ALL operations that are performed on the coefficients by81 ;; the package, and thus the coefficient ring can be changed by merely82 ;; redefining these operations.83 ;;84 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;85 86 (defstruct (ring)87 (parse #'identity :type function)88 (unit #'identity :type function)89 (zerop #'identity :type function)90 (add #'identity :type function)91 (sub #'identity :type function)92 (uminus #'identity :type function)93 (mul #'identity :type function)94 (div #'identity :type function)95 (lcm #'identity :type function)96 (ezgcd #'identity :type function)97 (gcd #'identity :type function))98 99 (defparameter *ring-of-integers*100 (make-ring101 :parse #'identity102 :unit #'(lambda () 1)103 :zerop #'zerop104 :add #'+105 :sub #'-106 :uminus #'-107 :mul #'*108 :div #'/109 :lcm #'lcm110 :ezgcd #'(lambda (x y &aux (c (gcd x y))) (values c (/ x c) (/ y c)))111 :gcd #'gcd)112 "The ring of integers.")113 114 (defvar *expression-ring* *ring-of-integers*115 "The ring of coefficients, over which all polynomials are assumed to116 be defined.")117 118 73 (defvar *ratdisrep-fun* #'identity 119 74 "A function applied to polynomials after conversion to Maxima representation.")
Note:
See TracChangeset
for help on using the changeset viewer.