Changeset 535 for branches/f4grobner
- Timestamp:
- 2015-06-06T21:59:47-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ngrobner-package.lisp
r534 r535 42 42 "*RATDISREP-FUN*" 43 43 ;; 44 ;; Polynomial arithmetic44 ;; Polynomial ring operations 45 45 ;; 46 46 "POLY-ADD" "POLY-MUL" "POLY-NORMALIZE" "POLY-NORMALIZE-LIST" 47 47 "POLY-ZEROP" "POLY-EXPT" "POLY-LCM" "POLY-LM" "POLY-LT" 48 "POLY-PSEUDO-DIVIDE" "POLY-SUB" "POLY-UMINUS" 48 49 ;; 49 50 ;; High-level Groebner Basis related functions … … 52 53 "POLY-EXACT-DIVIDE" 53 54 "COLON-IDEAL" "ELIMINATION-IDEAL" 54 "GROBNER" "FIND-ORDER" "FIND-RING" 55 "GROBNER" 56 "REDUCED-GROBNER" 57 "FIND-ORDER" "FIND-RING" 55 58 "GROBNER-EQUAL" "GROBNER-MEMBER" "GROBNER-SUBSETP" 56 59 "IDEAL-INTERSECTION" "IDEAL-POLYSATURATION" 57 60 "IDEAL-POLYSATURATION-1" "IDEAL-SATURATION" "IDEAL-SATURATION-1" 58 "MINIMIZATION" 61 "MINIMIZATION" "REDUCTION" 62 59 63 ;; 60 64 ;; Low-level functions … … 63 67 "MAKE-VARIABLE" 64 68 "MONOM-EXPONENTS" "POLY-CONTENT" "POLY-DEPENDS-P" 65 66 67 "POLY-PRIMITIVE-PART" "POLY-PSEUDO-DIVIDE" "POLY-SUB" "POLY-UMINUS" 69 "POLY-PRIMITIVE-PART" 68 70 "POLYSATURATION-EXTENSION" "POLY-TERMLIST" 69 "REDUCED-GROBNER" "REDUCTION""RING-UNIT" "SATURATION-EXTENSION"71 "RING-UNIT" "SATURATION-EXTENSION" 70 72 "SPOLY" "$POLY_ELIMINATION_ORDER" 71 73 "TERM-COEFF" "TERM-MONOM" "$POLY_GROBNER_DEBUG" "MAKELIST-1" "MAKELIST"
Note:
See TracChangeset
for help on using the changeset viewer.