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.

Ignore:
Timestamp:
2015-06-06T19:59:18-07:00 (9 years ago)
Author:
Marek Rychlik
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ngrobner.lisp

    r373 r443  
    7171
    7272
    73 
    74 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    75 ;;
    76 ;; Coefficient ring operations
    77 ;;
    78 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    79 ;;
    80 ;; These are ALL operations that are performed on the coefficients by
    81 ;; the package, and thus the coefficient ring can be changed by merely
    82 ;; 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-ring
    101      :parse #'identity
    102      :unit #'(lambda () 1)
    103      :zerop #'zerop
    104      :add #'+
    105      :sub #'-
    106      :uminus #'-
    107      :mul #'*
    108      :div #'/
    109      :lcm #'lcm
    110      :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 to
    116   be defined.")
    117 
    11873(defvar *ratdisrep-fun* #'identity
    11974  "A function applied to polynomials after conversion to Maxima representation.")
Note: See TracChangeset for help on using the changeset viewer.