> > By contrast F.multiplicative_gen() does make sense for all finite
> > fields so should be provided, though not necessarily computed until
> > requested for the reasons given by Martin.  (It seems that with the
> > current implementation of non-prime fiinite fields this comes for
> > free, but that might change.)
>
> Only for the Givaro ones, i.e., up to 2^16.  For general fields it is not
> for free, unfortunately (I think).

I think it is 'free' for all extension fields because we either represent the 
field elements as powers of the generators or as polynomials in the 
generator. 

Martin


-- 
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_www: http://www.informatik.uni-bremen.de/~malb
_jab: [EMAIL PROTECTED]


--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to