By default, the function sagbi performs autosubduction on the generators of the given subring before starting the main algorithm. This step is required to guarentee correctness of the result. However, the output of the sagbi algorithm is often correct even when this step is skipped. Setting this flag to false may result in a performance improvement, albeit with a risk of errors.
The object AutoSubduce is a symbol.