#11938: FiniteField_givaro defined by Conway polynomials: conversion of elements
from F_{p^n} to F_{p^m}
---------------------------------------------------------------------------------+
       Reporter:  dkrenn                                                        
 |         Owner:  cpernet          
           Type:  enhancement                                                   
 |        Status:  needs_review     
       Priority:  major                                                         
 |     Milestone:  sage-5.11        
      Component:  finite rings                                                  
 |    Resolution:                   
       Keywords:  finite field, givaro, Conway polynomial, conversion, coercion 
 |   Work issues:                   
Report Upstream:  N/A                                                           
 |     Reviewers:  Jean-Pierre Flori
        Authors:  Daniel Krenn                                                  
 |     Merged in:                   
   Dependencies:  #12084, #8335                                                 
 |      Stopgaps:                   
---------------------------------------------------------------------------------+
Changes (by jpflori):

  * status:  needs_info => needs_review
  * reviewer:  => Jean-Pierre Flori
  * dependencies:  #12084 => #12084, #8335


Old description:

> We have
> {{{
> sage: from sage.rings.finite_rings.finite_field_givaro import
> FiniteField_givaro
> sage: F9 = FiniteField_givaro(9)
> sage: F81 = FiniteField_givaro(81)
> sage: F81(F9.gen())
> Traceback (most recent call last):
> ...
> NotImplementedError
> }}}
> so one should implement this. Incidentally I did that, patch follows.
>
> Apply
> [attachment:trac_11938_conversion_gf_conway.2.patch]
>
> ----
>
> Update (2013-Jan-04): Probably this functionality should be introduced by
> the patch in #8335 instead.

New description:

 We have
 {{{
 sage: from sage.rings.finite_rings.finite_field_givaro import
 FiniteField_givaro
 sage: F9 = FiniteField_givaro(9)
 sage: F81 = FiniteField_givaro(81)
 sage: F81(F9.gen())
 Traceback (most recent call last):
 ...
 NotImplementedError
 }}}
 so one should implement this. Incidentally I did that, patch follows.

 Apply
 * [attachment:trac_11938-5.11.beta1.patch]

--

Comment:

 Rebased the patch on top of #8335, some fixes.
 When #8335 gets in, this should as well.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11938#comment:15>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to