Check whether point is on a projective variety

asked 2019-09-16 18:08:25 +0100

ConfusedMark
93 ●1 ●1 ●8

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?

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2019-09-16 18:21:06 +0100

rburing

10929 ●4 ●80 ●218 https://www.rburing.nl/

Sure, you can take a point from the ambient projective space and do a membership test:

sage: PP.<x,y,z,w,u,v> = ProductProjectiveSpaces([3,1],QQ)
sage: W = PP.subscheme([y^2*z-x^3,z^2-w^2,u^3-v^3])
sage: PP.point([1,1,1,1,1,1]) in W
True
sage: PP.point([1,1,1,1,1,2]) in W
False

Internally this does a try - except block around W.point(...).

edit flag offensive delete link

Comments

Thank you so much! Didn't even think to try that.

ConfusedMark ( 2019-09-16 18:24:37 +0100 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2019-09-16 18:08:25 +0100

Seen: 699 times

Last updated: Sep 16 '19

Check whether point is on a projective variety edit