Changeset 535

Timestamp:

2015-06-06T21:59:47-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/ngrobner-package.lisp

@@ -42 +42 @@
    "*RATDISREP-FUN*" 
    ;;
-   ;; Polynomial arithmetic
+   ;; Polynomial ring operations
    ;;
    "POLY-ADD" "POLY-MUL" "POLY-NORMALIZE" "POLY-NORMALIZE-LIST"
    "POLY-ZEROP" "POLY-EXPT" "POLY-LCM" "POLY-LM" "POLY-LT"
+   "POLY-PSEUDO-DIVIDE" "POLY-SUB" "POLY-UMINUS"
    ;;
    ;; High-level Groebner Basis related functions
@@ -52 +53 @@
    "POLY-EXACT-DIVIDE"
    "COLON-IDEAL" "ELIMINATION-IDEAL"
-   "GROBNER" "FIND-ORDER" "FIND-RING"
+   "GROBNER"    
+   "REDUCED-GROBNER" 
+   "FIND-ORDER" "FIND-RING"
    "GROBNER-EQUAL" "GROBNER-MEMBER" "GROBNER-SUBSETP"
    "IDEAL-INTERSECTION" "IDEAL-POLYSATURATION"
    "IDEAL-POLYSATURATION-1" "IDEAL-SATURATION" "IDEAL-SATURATION-1"
-   "MINIMIZATION"  
+   "MINIMIZATION"  "REDUCTION"
+
    ;;
    ;; Low-level functions
@@ -63 +67 @@
    "MAKE-VARIABLE" 
    "MONOM-EXPONENTS" "POLY-CONTENT" "POLY-DEPENDS-P"
-    
-   
-   "POLY-PRIMITIVE-PART" "POLY-PSEUDO-DIVIDE" "POLY-SUB" "POLY-UMINUS"
+   "POLY-PRIMITIVE-PART" 
     "POLYSATURATION-EXTENSION" "POLY-TERMLIST"
-   "REDUCED-GROBNER" "REDUCTION" "RING-UNIT" "SATURATION-EXTENSION"
+    "RING-UNIT" "SATURATION-EXTENSION"
    "SPOLY"  "$POLY_ELIMINATION_ORDER"
    "TERM-COEFF" "TERM-MONOM" "$POLY_GROBNER_DEBUG" "MAKELIST-1" "MAKELIST"