Opened 13 years ago
Closed 12 years ago
#9423 closed defect (fixed)
Gap interface for number fields
Reported by: | Simon King | Owned by: | William Stein |
---|---|---|---|
Priority: | major | Milestone: | sage-4.6.2 |
Component: | interfaces | Keywords: | gap interface number field |
Cc: | Merged in: | sage-4.6.2.alpha2 | |
Authors: | Simon King | Reviewers: | Luis Felipe Tabera Alonso |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Originally motivated by work on #5618, I found two bugs in the Gap interface for number fields, reported here.
#8909 has a positive review and seems partially relevant here, so, I started work with the patch from #8909 applied.
With the new patch, the following works (and is doctested):
sage: L.<tau> = NumberField(x^3-2) sage: gap(tau)^3 # note the exclamation mark used by GAP !2 sage: L(gap(tau)^3) # this used to fail 2
sage: P.<z> = QQ[] # Note: The var'name is z, not x sage: K.<zeta> = NumberField(z^2 - 2) sage: k = gap(K) # this used to fail, as only var'name x was accepted
Fixing the second problem, it is needed to avoid a conflict with an internal variable name of a GAP function, namely "E". This tests that the conflict is indeed avoided:
sage: P.<E> = QQ[] sage: L.<tau> = NumberField(E^3-2) sage: gap(L) <algebraic extension over the Rationals of degree 3>
Attachments (2)
Change History (6)
Changed 13 years ago by
Attachment: | trac_9423_gap_for_numberfields.patch added |
---|
comment:1 Changed 13 years ago by
Status: | new → needs_review |
---|
comment:2 Changed 12 years ago by
Reviewers: | → Luis Felipe Tabera Alonso |
---|
The code corrects a couple of bugs in the gap interface of number fields. Since ! cannot be part of the name of a generator of a number field, then eliminating "!" from the gap representation is correct.
The solution to the "E" variable problem is correct, althought there should be a more system-wide solution to this kind of problems.
I will not give it a positive review until #5618 is also ready to merge, since this patch eliminates a doctest that after #5618 will be obsolete.
comment:3 Changed 12 years ago by
Milestone: | sage-4.6.1 → sage-4.6.2 |
---|---|
Status: | needs_review → positive_review |
comment:4 Changed 12 years ago by
Merged in: | → sage-4.6.2.alpha2 |
---|---|
Resolution: | → fixed |
Status: | positive_review → closed |
Fixing two bugs (doctested) in the GAP interface of number fields