This is an option for conormalVariety and dualVariety which specifies which algorithm to use. One can choose between two strategies: "Saturate" and "Eliminate".