Opened 7 years ago

Closed 6 years ago

#12734 closed defect (fixed)

inconsistency in points of schemes

Reported by: AlexGhitza Owned by: AlexGhitza
Priority: minor Milestone: sage-5.12
Component: algebraic geometry Keywords: scheme point, sd51
Cc: novoselt, minz Merged in: sage-5.12.beta2
Authors: Alex Ghitza Reviewers: Alejandro Argaez
Report Upstream: N/A Work issues:
Branch: Commit:
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).

Attachments (1)

trac_12734-point_scheme.2.patch (2.0 KB) - added by AlexGhitza 6 years ago.

Download all attachments as: .zip

Change History (9)

comment:1 Changed 7 years ago by novoselt

  • Cc novoselt added

comment:2 Changed 7 years ago by minz

  • Cc minz added

comment:3 Changed 6 years ago by AlexGhitza

  • Authors set to Alex Ghitza
  • Keywords sd51 added
  • Milestone changed from sage-5.11 to sage-5.12
  • Status changed from new to needs_review

patch attached

Changed 6 years ago by AlexGhitza

comment:4 Changed 6 years ago by AlexGhitza

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

comment:5 Changed 6 years ago by ArgaezG

  • Status changed from needs_review to positive_review

It passed the tests on sage-5.11

comment:6 Changed 6 years ago by jdemeyer

  • Status changed from positive_review to needs_info

ArgaezG: please add your real name as Reviewer on this ticket.

comment:7 Changed 6 years ago by AlexGhitza

  • Reviewers set to Alejandro Argaez
  • Status changed from needs_info to positive_review

comment:8 Changed 6 years ago by jdemeyer

  • Merged in set to sage-5.12.beta2
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.