- Timestamp:
- 2015-06-05T15:50:36-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ngrobner-package.lisp
r227 r228 23 23 (:use :cl) 24 24 (:export 25 "$POLY_ELIMINATION_ORDER" "$POLY_MONOMIAL_ORDER" 26 "$POLY_MONOMIAL_ORDER" "$POLY_PRIMARY_ELIMINATION_ORDER" 27 "$POLY_PRIMARY_ELIMINATION_ORDER" 28 "$POLY_SECONDARY_ELIMINATION_ORDER" "*COEFFICIENT-RING*" 29 "$POLY_SECONDARY_ELIMINATION_ORDER" "*COEFFICIENT-RING*" 30 "*ELIMINATION-ORDER*" "*MAXIMA-RING*" "*MONOMIAL-ORDER*" 31 "*ELIMINATION-ORDER*" "*MAXIMA-RING*" "*MONOMIAL-ORDER*" 32 "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*" 33 "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*" 25 34 "BUCHBERGER" "BUCHBERGER-CRITERION" "COERCE-COEFF" 26 35 "COERCE-TO-MAXIMA" "COLON-IDEAL" "ELIMINATION-IDEAL" "GROBNER" 36 "FIND-ORDER" "FIND-RING" "$POLY_COEFFICIENT_RING" 27 37 "GROBNER-EQUAL" "GROBNER-MEMBER" "GROBNER-SUBSETP" 28 38 "IDEAL-INTERSECTION" "IDEAL-POLYSATURATION" … … 36 46 "REDUCED-GROBNER" "REDUCTION" "RING-UNIT" "SATURATION-EXTENSION" 37 47 "SPOLY" "$POLY_COEFFICIENT_RING" "$POLY_ELIMINATION_ORDER" 38 "$POLY_MONOMIAL_ORDER" "$POLY_PRIMARY_ELIMINATION_ORDER"39 "$POLY_SECONDARY_ELIMINATION_ORDER" "*COEFFICIENT-RING*"40 "*ELIMINATION-ORDER*" "*MAXIMA-RING*" "*MONOMIAL-ORDER*"41 "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"42 "FIND-ORDER" "FIND-RING" "$POLY_COEFFICIENT_RING"43 "$POLY_ELIMINATION_ORDER" "$POLY_MONOMIAL_ORDER"44 "$POLY_PRIMARY_ELIMINATION_ORDER"45 "$POLY_SECONDARY_ELIMINATION_ORDER" "*COEFFICIENT-RING*"46 "*ELIMINATION-ORDER*" "*MAXIMA-RING*" "*MONOMIAL-ORDER*"47 "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"48 48 ))
Note:
See TracChangeset
for help on using the changeset viewer.