#7931: Improved nth root for finite fields and integer_mods
-------------------------------+--------------------------------------------
   Reporter:  roed             |       Owner:  roed                   
       Type:  enhancement      |      Status:  needs_work             
   Priority:  major            |   Milestone:  sage-4.6               
  Component:  algebra          |    Keywords:  finite fields, nth root
     Author:  David Roe        |    Upstream:  N/A                    
   Reviewer:  Paul Zimmermann  |      Merged:                         
Work_issues:                   |  
-------------------------------+--------------------------------------------
Changes (by zimmerma):

  * status:  needs_review => needs_work


Comment:

 I managed to apply the patches following comment 21, however the following
 seems incorrect to me:
 {{{
 sage: b=Integers(3)(2)
 sage: b.nth_root(2)
 1
 }}}
 whereas in say Sage 4.4.4 we got {{{ValueError: no nth root}}}.

 PS: I used the following reviewer program. Feel free to add it to the
 doctests.
 {{{
 for n in range(2,100):
    K=Integers(n)
    for e in range(1,100):
       for a in range(1,n):
          b = K(a)
          r = b.nth_root(e)
          if r^e <> b:
             print n, e, a
             raise ValueError
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7931#comment:22>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to