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:

Status badges

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)

trac_9423_gap_for_numberfields.patch (4.2 KB) - added by Simon King 13 years ago.
Fixing two bugs (doctested) in the GAP interface of number fields
trac_9423_gap_for_numberfields.2.patch (4.2 KB) - added by Luis Felipe Tabera Alonso 12 years ago.
Updated headers

Download all attachments as: .zip

Change History (6)

Changed 13 years ago by Simon King

Fixing two bugs (doctested) in the GAP interface of number fields

comment:1 Changed 13 years ago by Simon King

Status: newneeds_review

comment:2 Changed 12 years ago by Luis Felipe Tabera Alonso

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.

Changed 12 years ago by Luis Felipe Tabera Alonso

Updated headers

comment:3 Changed 12 years ago by Luis Felipe Tabera Alonso

Milestone: sage-4.6.1sage-4.6.2
Status: needs_reviewpositive_review

Positive review, I have only updated the patch header to add the ticket number

Apply:

trac_9423_gap_for_numberfields.2.patch

Note to the release manager: ticket #5618 depends on this. This ticket should be merged together with #5618.

comment:4 Changed 12 years ago by Jeroen Demeyer

Merged in: sage-4.6.2.alpha2
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.