Changeset 246 for branches/f4grobner/ngrobner-package.lisp
- Timestamp:
- 2015-06-05T16:17:42-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ngrobner-package.lisp
r245 r246 23 23 (:use :cl) 24 24 (:export 25 "$LEX" "$GRLEX" "$GREVLEX" "$RING_OF_INTEGERS" 25 26 "$POLY_ELIMINATION_ORDER" "$POLY_MONOMIAL_ORDER" 26 27 "$POLY_MONOMIAL_ORDER" "$POLY_PRIMARY_ELIMINATION_ORDER" 27 "$POLY_PRIMARY_ELIMINATION_ORDER" 28 "$POLY_PRIMARY_ELIMINATION_ORDER" "$POLY_RETURN_TERM_LIST" 28 29 "$POLY_SECONDARY_ELIMINATION_ORDER" "*EXPRESSION-RING*" 29 30 "*ELIMINATION-ORDER*" "*MONOMIAL-ORDER*" 30 31 "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*" 31 32 "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*" 32 " BUCHBERGER" "BUCHBERGER-CRITERION" "COERCE-COEFF"33 "COERCE- TO-MAXIMA" "COLON-IDEAL" "ELIMINATION-IDEAL" "GROBNER"34 " FIND-ORDER" "FIND-RING" "$POLY_COEFFICIENT_RING"33 "*RATDISREP-FUN*" "BUCHBERGER" "BUCHBERGER-CRITERION" 34 "COERCE-COEFF" "COERCE-TO-MAXIMA" "COLON-IDEAL" "ELIMINATION-IDEAL" 35 "GROBNER" "FIND-ORDER" "FIND-RING" "$POLY_COEFFICIENT_RING" 35 36 "GROBNER-EQUAL" "GROBNER-MEMBER" "GROBNER-SUBSETP" 36 37 "IDEAL-INTERSECTION" "IDEAL-POLYSATURATION" … … 38 39 "MAKE-POLY-FROM-TERMLIST" "MAKE-POLY-ZERO" "MAKE-RING" "MAKE-TERM" 39 40 "MAKE-VARIABLE" "MINIMIZATION" "NORMAL-FORM" "POLY-ADD" 40 "POLY-CONTENT" "POLY-DEPENDS-P" "POLY-EXACT-DIVIDE" "POLY-EXPT" 41 "POLY-LCM" "POLY-LM" "POLY-LT" "POLY-MUL" "POLY-NORMALIZE" 42 "POLY-NORMALIZE-LIST" "POLY-PRIMITIVE-PART" "POLY-PSEUDO-DIVIDE" 43 "POLY-SUB" "POLY-UMINUS" "POLY-ZEROP" "POLYSATURATION-EXTENSION" 41 "MONOM-EXPONENTS" "POLY-CONTENT" "POLY-DEPENDS-P" 42 "POLY-EXACT-DIVIDE" "POLY-EXPT" "POLY-LCM" "POLY-LM" "POLY-LT" 43 "POLY-MUL" "POLY-NORMALIZE" "POLY-NORMALIZE-LIST" 44 "POLY-PRIMITIVE-PART" "POLY-PSEUDO-DIVIDE" "POLY-SUB" "POLY-UMINUS" 45 "POLY-ZEROP" "POLYSATURATION-EXTENSION" "POLY-TERMLIST" 44 46 "REDUCED-GROBNER" "REDUCTION" "RING-UNIT" "SATURATION-EXTENSION" 45 47 "SPOLY" "$POLY_COEFFICIENT_RING" "$POLY_ELIMINATION_ORDER" 46 "$LEX" "$GRLEX" "$GREVLEX" "$RING_OF_INTEGERS"47 "$POLY_RETURN_TERM_LIST"48 "*RATDISREP-FUN*"49 48 "TERM-COEFF" "TERM-MONOM" 50 "POLY-TERMLIST"51 "MONOM-EXPONENTS"52 49 ))
Note:
See TracChangeset
for help on using the changeset viewer.