#8614: Optimize creation of modular symbols spaces by speeding up quotienting 
out
by 2-term relations
-----------------------------+----------------------------------------------
   Reporter:  was            |       Owner:  craigcitro  
       Type:  enhancement    |      Status:  needs_review
   Priority:  major          |   Milestone:  sage-4.4    
  Component:  modular forms  |    Keywords:              
     Author:                 |    Upstream:  N/A         
   Reviewer:                 |      Merged:              
Work_issues:                 |  
-----------------------------+----------------------------------------------

Comment(by davidloeffler):

 Which cases do you expect to be most speeded up by this patch? I ran some
 tests and it actually seems to make things marginally ''slower'' in the
 cases I tried:

 Before:
 {{{
 sage: time ModularSymbols(2002, 2)
 CPU times: user 1.52 s, sys: 0.41 s, total: 1.93 s
 Wall time: 1.93 s
 Modular Symbols space of dimension 673 for Gamma_0(2002) of weight 2 with
 sign 0 over Rational Field
 sage: time ModularSymbols(302, 4)
 CPU times: user 2.21 s, sys: 0.00 s, total: 2.21 s
 Wall time: 2.21 s
 Modular Symbols space of dimension 228 for Gamma_0(302) of weight 4 with
 sign 0 over Rational Field
 sage: time ModularSymbols(Gamma1(33), 4)
 CPU times: user 3.04 s, sys: 0.46 s, total: 3.49 s
 Wall time: 3.49 s
 Modular Symbols space of dimension 240 for Gamma_1(33) of weight 4 with
 sign 0 and over Rational Field
 sage: time ModularSymbols(DirichletGroup(308).0, 5)
 CPU times: user 5.94 s, sys: 0.65 s, total: 6.59 s
 Wall time: 6.59 s
 Modular Symbols space of dimension 384 and level 308, weight 5, character
 [-1, 1, 1], sign 0, over Rational Field
 }}}

 After:
 {{{
 sage: time ModularSymbols(2002, 2)
 CPU times: user 1.52 s, sys: 0.67 s, total: 2.19 s
 Wall time: 2.19 s
 Modular Symbols space of dimension 673 for Gamma_0(2002) of weight 2 with
 sign 0 over Rational Field
 sage: time ModularSymbols(302, 4)
 CPU times: user 2.12 s, sys: 0.18 s, total: 2.30 s
 Wall time: 2.30 s
 Modular Symbols space of dimension 228 for Gamma_0(302) of weight 4 with
 sign 0 over Rational Field
 sage: time ModularSymbols(Gamma1(33), 4)
 CPU times: user 2.66 s, sys: 0.90 s, total: 3.57 s
 Wall time: 3.57 s
 Modular Symbols space of dimension 240 for Gamma_1(33) of weight 4 with
 sign 0 and over Rational Field
 sage: time ModularSymbols(DirichletGroup(308).0, 5)
 CPU times: user 5.97 s, sys: 0.71 s, total: 6.68 s
 Wall time: 6.68 s
 Modular Symbols space of dimension 384 and level 308, weight 5, character
 [-1, 1, 1], sign 0, over Rational Field
 }}}

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