close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 206 for branches/f4grobner


Ignore:
Timestamp:
2015-06-05T15:02:35-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ngrobner-package.lisp

    r204 r206  
    2222(defpackage "NGROBNER"
    2323  (:use :cl)
    24   (:export make-ring))
     24  (:export BUCHBERGER BUCHBERGER-CRITERION COERCE-COEFF
     25  COERCE-TO-MAXIMA COLON-IDEAL ELIMINATION-IDEAL GROBNER GROBNER-EQUAL
     26  GROBNER-MEMBER GROBNER-SUBSETP IDEAL-INTERSECTION
     27  IDEAL-POLYSATURATION IDEAL-POLYSATURATION-1 IDEAL-SATURATION
     28  IDEAL-SATURATION-1 MAKE-POLY-FROM-TERMLIST MAKE-POLY-ZERO MAKE-TERM
     29  MAKE-VARIABLE MINIMIZATION NORMAL-FORM POLY-ADD POLY-CONTENT
     30  POLY-DEPENDS-P POLY-EXACT-DIVIDE POLY-EXPT POLY-LCM POLY-LM POLY-LT
     31  POLY-MUL POLY-NORMALIZE POLY-NORMALIZE-LIST POLY-PRIMITIVE-PART
     32  POLY-PSEUDO-DIVIDE POLY-SUB POLY-UMINUS POLY-ZEROP
     33  POLYSATURATION-EXTENSION REDUCED-GROBNER REDUCTION RING-UNIT
     34  SATURATION-EXTENSION SPOLY WITH-PARSED-POLYNOMIAL))
Note: See TracChangeset for help on using the changeset viewer.