On Thursday, January 21, 2016 at 3:26:55 AM UTC+1, William wrote: > > On Wed, Jan 20, 2016 at 6:20 PM, William Stein <wst...@gmail.com > <javascript:>> wrote: > > Nils -- many thanks for your post explaining the longterm perspective > > and underlying reasons why things are the way they are. > > > > I mentioned this thread in my class today, which happened to be on > > constructing finite fields in Sage: > > > > > https://cloud.sagemath.com/projects/b85dd1b3-3f5f-4c2d-b503-242612561b9e/files/lectures/2016-01-20/2016-01-20-part2-finite-fields.sagews > > > > > Also -- pdf attached to this email.... > > > > The immediate surprises I hit when looking again at finite fields from > > a high level after all this time (and we did a *lot* with finite > > fields before there was a coercion model -- e.g., crazy Givaro > > wrapping in Cython before there was Cython C++ support) is that the > > following things don't exist: > > > > (1) GF(3^2,'a').embeddings(GF(3^6,'b')) # like we do have for number > fields > > > > (2) GF(3^2,'a').gen() + GF(3^3,'b').gen() > > The surrounding discussion about variables names provide a good reason > why (2) shouldn't work. However (1) should exist (and would be about > 3 lines of code to add). > > > > > However, the new Fpbar stuff by Vincent looks awesome (especially if > > we had embeddings)... > > > IIRC algebraic closure were mostly Peter's work :) * http://trac.sagemath.org/ticket/14990 @William: were you thinking of something else?
Embeddings should be coming one of these days. Old tickets: * http://trac.sagemath.org/ticket/8751 * http://trac.sagemath.org/ticket/16354 We're working on faster algorithms there: * https://github.com/defeo/ffisom/ It should make it into Sage somehow. For the original variable name question: * http://trac.sagemath.org/ticket/17569 Were the proposed solution is the algebraic closure one. This one would be nice as well: * http://trac.sagemath.org/ticket/17568 You could do GF(p, n[, 'x']) as Magma. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
