Singular

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

What do you meean by "minimal standard basis"?
- minimal in number of element: by construction each result of groeber/std/slimgb is minimal in that sense
- completely reduced: set option(redTail,redSB).
In the algorithm: use complete reduction instead of reduction of leading terms
- minimal as a generating set of the ideal: this is usually not a standard basis any more!
The algorithm: use syzygies with constant parts to remove the corresponfding generator in the input set.

i implemented syz and std in F#, now i know the algorithm thanks