#6261: [with patch, with review] Add multiplicative order for matrices over 
finite
fields
----------------------------+-----------------------------------------------
 Reporter:  ylchapuy        |       Owner:  was       
     Type:  enhancement     |      Status:  new       
 Priority:  minor           |   Milestone:  sage-4.0.2
Component:  linear algebra  |    Keywords:            
 Reviewer:                  |      Author:            
   Merged:                  |  
----------------------------+-----------------------------------------------

Comment(by cremona):

 This looks good to me.  One question:  in the line
 {{{
 ppart = p**Integer(a).exact_log(p)
 }}}
 do you really mean ppart to be the largest power of p which is <= a,
 rather than the pargest power which divides a?
 If so, please change this to "positive review".

 Remark:  I have a Magma implementation of an algorithm to determine when a
 polynomial over ZZ is cyclotomic (algorithm of Smyth and Beukers).  That
 could be used to extend this function to matrices over ZZ, at least.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6261#comment:2>
Sage <http://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