Parameter Make_weierstrass_checked.4-Params