Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Check whether point is on a projective variety

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?