Option variable
poly_top_reduction_only
Default value: false
false
If not false, use top reduction only whenever possible. Top reduction means that division algorithm stops after the first reduction.