Minimalize -- boolean option for determining whether excess parameters will be eliminated

This an optional input for the groebnerStratum function. It takes values $true$ and $false$. When assigned the value $true$, eliminable parameters are eliminated to obtain the groebner basin / stratum in a smaller ring. When assigned the value $false$, no parameters are eliminated, and the groebner basin / stratum is computed in a ring containing all the parameters.