You could search this forum for 'redSB'.
This shows some examples, notably:
viewtopic.php?f=10&t=1336&hilit=redSBand
viewtopic.php?f=10&t=1908&hilit=redSBQuote:
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.
You could search this forum for 'redSB'.
This shows some examples, notably:
http://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1336&hilit=redSB
and
http://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1908&hilit=redSB
[quote]Or is the redSB-Option automatically part of std?
[/quote]
The calculation of the reduced Groebner basis,
in case that [b]option(redSB);[/b] is set,
is a [b]postprocessin[/b]g step after the computation of the std-basis.
One can notice this when [b]option(prot);[/b] is enabled.