The value for this optional argument is passed through to gb when one of the following methods is used: saturate(Ideal), saturate(Ideal,Ideal), saturate(Ideal,RingElement).