2010/1/12 javier <vengor...@gmail.com>:
> On Jan 12, 12:47 am, William Stein <wst...@gmail.com> wrote:
>> Isn't the case of non-prime fields also already in Sage? It was in my
>> example.
>
> The __call__ function for a non-prime field yes, was already defined.
> What wasn't was the conversion of a gap non-prime field into a sage
> prime field. Something like
>
> sage: K = gap("GF(16)")
> sage: K.sage()
>
> didn't work before (because in gap there is no need to specify the
> generator name), and that prevented doing automatic conversion of gap
> finite field elements into sage finite field elements. The problem
I would find it convenient if in Sage itself, you could construct
GF(q) with q a non-prime without having to think of a name, by the
simple expedient of having Sage invent a name (such as aq, i.e. a256
if q=256, or perhaps a_p_e if q=p^e, so for q=256 it would be a_2_8).
This would just be a default, teh user could give their own name, so
no old code would break and the problem you raised would do away.
John
> with cyclotomic elements was something similar (there wasn't a sage()
> method defined for gap cyclotomic fields).
>
>> Excellent. Many thanks for adding cyclotomic elements. I hope you'll
>> continue to improve the Sage <--> GAP interface. There are also
>> people working on making a (very similar) C library version, which
>> will mean that any work you do on this will eventually get a big speed
>> boost.
>
> That's awesome! Hope it arrives soon! :-D
>
> Cheers
> J
>
> --
> 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
>
>
--
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
