projective point equality returns false positive for ComplexIntervalField

[bhutz]

Projective equality is returning false positives for ComplexIntervalField points because it is doing a negative check not a positive check

R.<x>=PolynomialRing(QQ)
r=(x^2-x-3).polynomial(x).roots(ComplexIntervalField(),multiplicities=False)
P.<x,y>=ProjectiveSpace(ComplexIntervalField(),1)
P1=P(r[0],1)
H=End(P)
f = H([x^2-3*y^2,y^2])
Q1=f(P1)
Q1==P1, Q1[0]==P1[0]

This is likely an issue for both points and morphisms.

Depends on #17324

Component: algebraic geometry

Author: Ben Hutz

Branch/Commit: 6aa86f9

Reviewer: Grayson Jorgenson

Issue created by migration from https://trac.sagemath.org/ticket/17429

[nathanncohen]

comment:1

(related to #17427)

[bhutz]

Branch: u/bhutz/ticket/17429

[bhutz]

New commits:

218c56b	17324: fix eq and ne for affine and projective morphisms
a02a1e1	Merge branch 'develop' of git://trac.sagemath.org/sage into ticket/17324
b20353c	17429: make == a positive check for project points and morphisms

[bhutz]

Commit: b20353c

[bhutz]

Dependencies: 17324

[bhutz]

Author: Ben Hutz

[bhutz]

Changed dependencies from 17324 to #17324

[sagetrac-gjorgenson]

comment:7

Just two minor typos in projective_point __eq__, __ne__, projective is spelled wrong

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

ae4317a

17429: fixed typos

[sagetrac-git]

Changed commit from b20353c to ae4317a

[sagetrac-git]

Changed commit from ae4317a to 6aa86f9

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

6aa86f9

Merge branch 'master' into ticket/17429

[sagetrac-gjorgenson]

Reviewer: Grayson Jorgenson

[sagetrac-gjorgenson]

comment:10

Looks good. I can't find any additional typos, and the doctests pass

[vbraun]

Changed branch from u/bhutz/ticket/17429 to 6aa86f9