Hi!
On 4 Jul., 14:25, Simon King wrote:
>...
> This only concerns the Gap interface for number fields. The case of
> cyclotomic fields should be dealt with on #5618.
It is now ready for review.
The patch involves some trivial doctest fixes. While all doctests
pass, I hope that the patch will no
Hi!
On 4 Jul., 12:25, Simon King wrote:
> ...
> 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.
... and the new ticket is http://trac.sagemath.org/sage_trac/ticket/9
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 field
Hi!
There is an additional bug:
sage: P. = QQ[]
sage: K. = NumberField(z^2 - 2)
sage: k = gap(K)
BOOM
Reason: Apparently the gap interface expects that the defining
polynomial of K is a polynomial in x, not in z.
So, it currently seems to me that both the _gap_init_ method of number
fields shoul
Hello,
the following is not directly related but might still be of interest
for you: as you can see in ticket #8327 and in
http://groups.google.com/group/sage-combinat-devel/browse_thread/thread/421cc6117d027dc9/9cce8b12b9c81d9f?#9cce8b12b9c81d9f
we started to implement cyclotomic fields in the
Hi Dave!
On 3 Jul., 15:57, daveloeffler wrote:
> I'd advocate (2), with all cyclotomic fields (of given order) in Sage
> corresponding to the same one in Gap. I doubt this would be much of a
> problem with breaking existing code given the coercion thing I
> mentioned above.
Well, it could be a p
On 3 July, 14:11, Simon King wrote:
> Hi!
>
> This is related with #5618.
>
> In Sage, one can have two different cyclotomic fields, namely when the
> variable names differ:
> sage: K. = CyclotomicField(3)
> sage: L. = CyclotomicField(3)
> sage: K == L
> False
They may compare as unequal, but b