The main functions of this package implement the detection algorithms for Gröbner bases of ideals and SAGBI bases of finitely generated subalgebras of a polynomial ring. More precisely, for given generators of an ideal or a polynomial algebra, we find weight vectors representing all possible term orders for which these generators form a Gröbner basis or a SAGBI basis, respectively. If no weight vectors are returned, the given generators do not form a Gröbner/SAGBI basis for any order.
Documentation nodes for the main functions weightVectorsRealizingGB and weightVectorsRealizingSAGBI illustrate typical usage of this package.
This documentation describes version 0.1 of SagbiGbDetection.
If you have used this package in your research, please cite it as follows:
|
The object SagbiGbDetection is a package, defined in SagbiGbDetection.m2.
The source of this document is in SagbiGbDetection.m2:139:0.