making ImplicitPolynomial a CEuclideanShape