#4357: [with patch, with positive review after minor changes] modular forms --
new
subspace used to work and now broken
---------------------------+------------------------------------------------
Reporter: was | Owner: davidloeffler
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-4.0
Component: modular forms | Keywords:
---------------------------+------------------------------------------------
Comment(by davidloeffler):
OK, here's a new patch. This makes absolutely no changes in functionality,
but it moves stuff around a bit to clarify what's going on with this
mysterious "t" argument -- the calculation of the other degeneracy maps
from the t=1 one now happens entirely in modsym/ambient.py, which is only
right and proper.
I've swapped the order of the sum of cuspidal and Eisenstein parts, but
this is solely cosmetic: addition of subspaces of vector spaces in Sage
*is* commutative (because the subspace constructor echelon-reduces the
basis vectors), and one can check that even with the old patch, for
{{{ModularForms(9, 12).new_subspace()}}}, the single new Eisenstein series
gets listed last, not first.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4357#comment:7>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
