inconsistency in points of schemes

[aghitza]

We have

sage: AffineSpace(2, ZZ)(ZZ)
Set of rational points of Affine Space of dimension 2 over Integer Ring

but

sage: Spec(ZZ)(ZZ)
Point on Spectrum of Integer Ring defined by the Principal ideal (1) of Integer Ring

We should probably fix the Spec one to have the documented behavior (return the Set of ZZ-rational points). Note of course that the current interpretation is completely wrong, since (1) is not a prime ideal of ZZ. This is due to the prime ideal check being disabled by default (this is documented in a comment in the code).

CC: @novoselt @mminzlaff

Component: algebraic geometry

Keywords: scheme point, sd51

Author: Alex Ghitza

Reviewer: Alejandro Argaez

Merged: sage-5.12.beta2

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

[aghitza]

Changed keywords from scheme point to scheme point, sd51

[aghitza]

comment:3

patch attached

[aghitza]

Author: Alex Ghitza

[aghitza]

Attachment: trac_12734-point_scheme.2.patch.gz

[aghitza]

comment:4

Oops. Apply only trac_12734-point_scheme.2.patch.

[sagetrac-ArgaezG]

comment:5

It passed the tests on sage-5.11