Dear All, Today I was trying to compute some stuff using modular symbols. And I found the following slightly worrying:
sage: M=ModularSymbols(Gamma1(22),sign=1) sage: S=M.cuspidal_submodule();S Modular Symbols subspace of dimension 6 of Modular Symbols space of dimension 25 for Gamma_1(22) of weight 2 with sign 1 and over Rational Field sage: S.new_submodule() Modular Symbols subspace of dimension 4 of Modular Symbols space of dimension 25 for Gamma_1(22) of weight 2 with sign 1 and over Rational Field sage: S.old_submodule() Modular Symbols subspace of dimension 3 of Modular Symbols space of dimension 25 for Gamma_1(22) of weight 2 with sign 1 and over Rational Field I thought that the new and the old subspace should be disjoint and together span the whole space. Or is this because I'm using modular symbols and not modular forms? And do the new and old space have a different properties in the symbol setting? Note that the answers are as expected when using with modular forms: sage: M=ModularForms(Gamma1(22)) sage: S=M.cuspidal_submodule();S Cuspidal subspace of dimension 6 of Modular Forms space of dimension 25 for Congruence Subgroup Gamma1(22) of weight 2 over Rational Field sage: S.new_submodule() Modular Forms subspace of dimension 4 of Modular Forms space of dimension 25 for Congruence Subgroup Gamma1(22) of weight 2 over Rational Field sage: S.old_submodule() Modular Forms subspace of dimension 2 of Modular Forms space of dimension 25 for Congruence Subgroup Gamma1(22) of weight 2 over Rational Field Ps. I tested this using sage 5.2.alpha0 -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
