- Timestamp:
- 2015-06-05T16:17:52-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ngrobner-package.lisp
r246 r247 30 30 "*ELIMINATION-ORDER*" "*MONOMIAL-ORDER*" 31 31 "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*" 32 "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"33 32 "*RATDISREP-FUN*" "BUCHBERGER" "BUCHBERGER-CRITERION" 34 33 "COERCE-COEFF" "COERCE-TO-MAXIMA" "COLON-IDEAL" "ELIMINATION-IDEAL"
Note:
See TracChangeset
for help on using the changeset viewer.