isWellDefined(Variety) -- whether a variety is well-defined

• Function: isWellDefined

• Usage:

  isWellDefined X

• Inputs:
  • X, a variety,
• Outputs:
  • a Boolean value, whether $X$ is a well-defined affine or projective variety