#10480: fast PowerSeries_poly multiplication
-----------------------------------+----------------------------------------
   Reporter:  pernici              |       Owner:  malb        
       Type:  enhancement          |      Status:  needs_work  
   Priority:  major                |   Milestone:  sage-4.6.2  
  Component:  commutative algebra  |    Keywords:  power series
     Author:  mario pernici        |    Upstream:  N/A         
   Reviewer:                       |      Merged:              
Work_issues:                       |  
-----------------------------------+----------------------------------------

Comment(by lftabera):

 Some more numbers with your patch showing what I said on my previous post.
 Patch aginst a clean sage 4.6

 with patch:
 {{{
 sage: K.<t>=QQ['a'][]
 sage: p1 = K.random_element(800) + O(t^990)
 sage: p2 = K.random_element(800) + O(t^990)
 sage: %time _=p1*p2
 CPU times: user 6.09 s, sys: 0.08 s, total: 6.17 s
 Wall time: 6.49 s
 }}}

 without patch
 {{{
 sage: sage: K.<t>=QQ['a'][]
 sage: sage: p1 = K.random_element(800) + O(t^990)
 sage: sage: p2 = K.random_element(800) + O(t^990)
 sage: sage: %time _=p1*p2
 CPU times: user 3.24 s, sys: 0.03 s, total: 3.27 s
 Wall time: 3.39 s
 }}}

 I think that we can define an algorithm that works like karatsuba but that
 has a prec parameter. If a portion will have order greater than the prec.
 That part is discarded.
 The prec is updated on recursive calls.

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