I have a projective variety X (defined via .subscheme(polynomials) on a projective space). I have a projective point P. How can I check whether my point is on my variety?
The obvious answer is to try X.point(P). This throws an error if it's not a point, and constructs a point on X otherwise. Is there something like this that will simply give me true or false, rather than an error?