- Timestamp:
- 2015-06-05T12:03:18-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/grobner.lisp
r107 r108 206 206 *pair-order* #'<)))) 207 207 208 209 210 211 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;212 ;;213 ;; Set up the coefficients to be polynomials214 ;;215 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;216 217 ;; (defun poly-ring (ring vars)218 ;; (make-ring219 ;; :parse #'(lambda (expr) (poly-eval ring expr vars))220 ;; :unit #'(lambda () (poly-unit ring (length vars)))221 ;; :zerop #'poly-zerop222 ;; :add #'(lambda (x y) (poly-add ring x y))223 ;; :sub #'(lambda (x y) (poly-sub ring x y))224 ;; :uminus #'(lambda (x) (poly-uminus ring x))225 ;; :mul #'(lambda (x y) (poly-mul ring x y))226 ;; :div #'(lambda (x y) (poly-exact-divide ring x y))227 ;; :lcm #'(lambda (x y) (poly-lcm ring x y))228 ;; :ezgcd #'(lambda (x y &aux (gcd (poly-gcd ring x y)))229 ;; (values gcd230 ;; (poly-exact-divide ring x gcd)231 ;; (poly-exact-divide ring y gcd)))232 ;; :gcd #'(lambda (x y) (poly-gcd x y))))233 208 234 209
Note:
See TracChangeset
for help on using the changeset viewer.