Ticket #12734 (new defect)

Opened 14 months ago

Last modified 8 months ago

inconsistency in points of schemes

Reported by: AlexGhitza Owned by: AlexGhitza
Priority: minor Milestone: sage-5.10
Component: algebraic geometry Keywords: scheme point
Cc: novoselt, minz Work issues:
Report Upstream: N/A Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description

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).

Change History

comment:1 Changed 14 months ago by novoselt

  • Cc novoselt added

comment:2 Changed 8 months ago by minz

  • Cc minz added
Note: See TracTickets for help on using tickets.