Singular

Hello.

I would like to know if there is a command in Singular that lists the S-pairs that are being used for a certain Grobner basis computation. I know there is an option(prot) command which gives some info on what the algorithm does along the way, but I would actually like to see a list of the S-pairs not just how many are computed.

Thanks.


Alex

This can only be done with the debug version of Singular:
Singularg has an additional option: option(teach)
which will display the first 2 monomial of all s-pairs,
the reduction process etc.