If the option Certify is set to true, then we check whether Y is the ideal of a smooth surface. The default value for all functions is false.
The object Certify is a symbol.