Again hi!

Yet another problem with number fields: In #8909, I fixed some
problems in the transition from Gap elements of a cyclotomic field to
sage. For example, the number 2 in a number field in gap can be
represented as !2, which Sage did not understand.

While this is fixed for cyclotomic fields (as soon as #8909 is
merged), it remains for general number fields. Example:

sage: P.<x> = QQ[]
sage: L.<tau> = NumberField(x^3 - 2)
sage: gap(L)
<algebraic extension over the Rationals of degree 3>
sage: l = gap(L)
sage: l.GeneratorsOfField()
[ tau ]
sage: gap(tau)
tau
sage: gap(tau)^3
!2
sage: L(gap(tau)^3)
BOOM

So, meanwhile we have *two* bugs to fix for the GAP interface of
number fields. I guess this is now definitely beyond the scope of
#5618 and should give rise to a new ticket.

Cheers,
Simon

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to