difference between using std and std together with the redSB

mk · Tue Dec 25, 2012 7:56 pm

Hello,

has anyone an example for a difference between using std and std together with the redSB-Option?
Or is the redSB-Option automatically part of std?

Many thanks,
MK

Re: difference between using std and std together with the redSB

gorzel · Wed Jan 02, 2013 4:37 pm

You could search this forum for 'redSB'.

This shows some examples, notably:

viewtopic.php__q__f-10__and__t-1336__and__hilit-redSB

and

viewtopic.php__q__f-10__and__t-1908__and__hilit-redSB

Quote:

Or is the redSB-Option automatically part of std?

The calculation of the reduced Groebner basis,
in case that option(redSB); is set,
is a postprocessing step after the computation of the std-basis.
One can notice this when option(prot); is enabled.