What is the command for minimal standard basis?
After using std, which command to use to calculate standard basis,
instead of using one command such as minstd

already know standard basis algorithm,
would like to know the algorithm of minimal standard basis