this package verifies whether the given generators of an ideal form the Gr"obner basis or whether the given generators of a finitely generated subalgebra of a polynomial ring are the SAGBI basis