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.
This documentation describes version 0.1 of SagbiGbDetection.
The source code from which this documentation is derived is in the file SagbiGbDetection.m2.