Changeset 534

Timestamp:

2015-06-06T21:58:29-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/ngrobner-package.lisp (modified) (1 diff)

branches/f4grobner/ngrobner-package.lisp

@@ -25 +25 @@
         :utils :grobner-wrap)
   (:export 
+   ;;
+   ;; Global switches valid at maxima level
+   ;;
    "$LEX" "$GRLEX" "$GREVLEX" "$INVLEX" "$RING_OF_INTEGERS"
    "$POLY_ELIMINATION_ORDER" "$POLY_MONOMIAL_ORDER"
    "$POLY_MONOMIAL_ORDER" "$POLY_PRIMARY_ELIMINATION_ORDER"
    "$POLY_PRIMARY_ELIMINATION_ORDER" "$POLY_RETURN_TERM_LIST"
-   "$POLY_SECONDARY_ELIMINATION_ORDER" "*EXPRESSION-RING*"
+   "$POLY_SECONDARY_ELIMINATION_ORDER" 
+   "$POLY_COEFFICIENT_RING"
+   ;;
+   ;; Global variables
+   ;;
+   "*EXPRESSION-RING*"
    "*ELIMINATION-ORDER*" "*MONOMIAL-ORDER*"
    "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"
-   "*RATDISREP-FUN*" "BUCHBERGER" "BUCHBERGER-CRITERION"
-   "COERCE-COEFF" "COERCE-TO-MAXIMA" "COLON-IDEAL" "ELIMINATION-IDEAL"
-   "GROBNER" "FIND-ORDER" "FIND-RING" "$POLY_COEFFICIENT_RING"
+   "*RATDISREP-FUN*" 
+   ;;
+   ;; Polynomial arithmetic
+   ;;
+   "POLY-ADD" "POLY-MUL" "POLY-NORMALIZE" "POLY-NORMALIZE-LIST"
+   "POLY-ZEROP" "POLY-EXPT" "POLY-LCM" "POLY-LM" "POLY-LT"
+   ;;
+   ;; High-level Groebner Basis related functions
+   ;;
+   "NORMAL-FORM"
+   "POLY-EXACT-DIVIDE"
+   "COLON-IDEAL" "ELIMINATION-IDEAL"
+   "GROBNER" "FIND-ORDER" "FIND-RING"
    "GROBNER-EQUAL" "GROBNER-MEMBER" "GROBNER-SUBSETP"
    "IDEAL-INTERSECTION" "IDEAL-POLYSATURATION"
    "IDEAL-POLYSATURATION-1" "IDEAL-SATURATION" "IDEAL-SATURATION-1"
-   "MAKE-POLY-FROM-TERMLIST" "MAKE-POLY-ZERO" "MAKE-RING" "MAKE-TERM"
-   "MAKE-VARIABLE" "MINIMIZATION" "NORMAL-FORM" "POLY-ADD"
+   "MINIMIZATION"  
+   ;;
+   ;; Low-level functions
+   ;; 
+   "COERCE-COEFF" "MAKE-POLY-FROM-TERMLIST" "MAKE-POLY-ZERO" "MAKE-RING" "MAKE-TERM"
+   "MAKE-VARIABLE" 
    "MONOM-EXPONENTS" "POLY-CONTENT" "POLY-DEPENDS-P"
-   "POLY-EXACT-DIVIDE" "POLY-EXPT" "POLY-LCM" "POLY-LM" "POLY-LT"
-   "POLY-MUL" "POLY-NORMALIZE" "POLY-NORMALIZE-LIST"
+    
+   
    "POLY-PRIMITIVE-PART" "POLY-PSEUDO-DIVIDE" "POLY-SUB" "POLY-UMINUS"
-   "POLY-ZEROP" "POLYSATURATION-EXTENSION" "POLY-TERMLIST"
+    "POLYSATURATION-EXTENSION" "POLY-TERMLIST"
    "REDUCED-GROBNER" "REDUCTION" "RING-UNIT" "SATURATION-EXTENSION"
-   "SPOLY" "$POLY_COEFFICIENT_RING" "$POLY_ELIMINATION_ORDER"
+   "SPOLY"  "$POLY_ELIMINATION_ORDER"
    "TERM-COEFF" "TERM-MONOM" "$POLY_GROBNER_DEBUG" "MAKELIST-1" "MAKELIST"
    "MAKE-MONOM" "LEX>" "GRLEX>" "GREVLEX>" "REVLEX>" "INVLEX>"