Changeset 207

Timestamp:

2015-06-05T15:06:13-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

@@ -22 +22 @@
 (defpackage "NGROBNER"
   (:use :cl)
-  (:export BUCHBERGER BUCHBERGER-CRITERION COERCE-COEFF
-  COERCE-TO-MAXIMA COLON-IDEAL ELIMINATION-IDEAL GROBNER 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-TERM
-  MAKE-VARIABLE MINIMIZATION NORMAL-FORM POLY-ADD 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 REDUCED-GROBNER REDUCTION RING-UNIT
-  SATURATION-EXTENSION SPOLY WITH-PARSED-POLYNOMIAL))
+  (:export "BUCHBERGER" "BUCHBERGER-CRITERION" "COERCE-COEFF"
+           "COERCE-TO-MAXIMA" "COLON-IDEAL" "ELIMINATION-IDEAL" "GROBNER" "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-TERM"
+           "MAKE-VARIABLE" "MINIMIZATION" "NORMAL-FORM" "POLY-ADD" "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" "REDUCED-GROBNER" "REDUCTION" "RING-UNIT"
+           "SATURATION-EXTENSION" "SPOLY" "WITH-PARSED-POLYNOMIAL"))