Changeset 228

Timestamp:

2015-06-05T15:50:36-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/ngrobner-package.lisp (modified) (2 diffs)

branches/f4grobner/ngrobner-package.lisp

@@ -23 +23 @@
   (:use :cl)
   (:export 
+   "$POLY_ELIMINATION_ORDER" "$POLY_MONOMIAL_ORDER"
+   "$POLY_MONOMIAL_ORDER" "$POLY_PRIMARY_ELIMINATION_ORDER"
+   "$POLY_PRIMARY_ELIMINATION_ORDER"
+   "$POLY_SECONDARY_ELIMINATION_ORDER" "*COEFFICIENT-RING*"
+   "$POLY_SECONDARY_ELIMINATION_ORDER" "*COEFFICIENT-RING*"
+   "*ELIMINATION-ORDER*" "*MAXIMA-RING*" "*MONOMIAL-ORDER*"
+   "*ELIMINATION-ORDER*" "*MAXIMA-RING*" "*MONOMIAL-ORDER*"
+   "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"
+   "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"
    "BUCHBERGER" "BUCHBERGER-CRITERION" "COERCE-COEFF"
    "COERCE-TO-MAXIMA" "COLON-IDEAL" "ELIMINATION-IDEAL" "GROBNER"
+   "FIND-ORDER" "FIND-RING" "$POLY_COEFFICIENT_RING"
    "GROBNER-EQUAL" "GROBNER-MEMBER" "GROBNER-SUBSETP"
    "IDEAL-INTERSECTION" "IDEAL-POLYSATURATION"
@@ -36 +46 @@
    "REDUCED-GROBNER" "REDUCTION" "RING-UNIT" "SATURATION-EXTENSION"
    "SPOLY" "$POLY_COEFFICIENT_RING" "$POLY_ELIMINATION_ORDER"
-   "$POLY_MONOMIAL_ORDER" "$POLY_PRIMARY_ELIMINATION_ORDER"
-   "$POLY_SECONDARY_ELIMINATION_ORDER" "*COEFFICIENT-RING*"
-   "*ELIMINATION-ORDER*" "*MAXIMA-RING*" "*MONOMIAL-ORDER*"
-   "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"
-   "FIND-ORDER" "FIND-RING" "$POLY_COEFFICIENT_RING"
-   "$POLY_ELIMINATION_ORDER" "$POLY_MONOMIAL_ORDER"
-   "$POLY_PRIMARY_ELIMINATION_ORDER"
-   "$POLY_SECONDARY_ELIMINATION_ORDER" "*COEFFICIENT-RING*"
-   "*ELIMINATION-ORDER*" "*MAXIMA-RING*" "*MONOMIAL-ORDER*"
-   "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"
 ))