close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 108 for branches


Ignore:
Timestamp:
2015-06-05T12:03:18-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/grobner.lisp

    r107 r108  
    206206           *pair-order* #'<))))
    207207
    208 
    209 
    210 
    211 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    212 ;;
    213 ;; Set up the coefficients to be polynomials
    214 ;;
    215 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    216 
    217 ;; (defun poly-ring (ring vars)
    218 ;;   (make-ring
    219 ;;    :parse #'(lambda (expr) (poly-eval ring expr vars))
    220 ;;    :unit #'(lambda () (poly-unit ring (length vars)))
    221 ;;    :zerop #'poly-zerop
    222 ;;    :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 gcd
    230 ;;                    (poly-exact-divide ring x gcd)
    231 ;;                    (poly-exact-divide ring y gcd)))
    232 ;;    :gcd #'(lambda (x y) (poly-gcd x y))))
    233208
    234209
Note: See TracChangeset for help on using the changeset viewer.