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)
Change History (9)
comment:1 Changed 7 years ago by
- Cc novoselt added
comment:2 Changed 7 years ago by
- Cc minz added
comment:3 Changed 6 years ago by
- Keywords sd51 added
- Milestone changed from sage-5.11 to sage-5.12
- Status changed from new to needs_review
Changed 6 years ago by
comment:4 Changed 6 years ago by
Oops. Apply *only* trac_12734-point_scheme.2.patch
.
comment:5 Changed 6 years ago by
- Status changed from needs_review to positive_review
It passed the tests on sage-5.11
comment:6 Changed 6 years ago by
- 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
- Reviewers set to Alejandro Argaez
- Status changed from needs_info to positive_review
comment:8 Changed 6 years ago by
- 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.
patch attached