It does look like a bug to me. I have CC'd sage-nt. John
On 4 July 2012 03:05, Maarten Derickx <m.derickx.stud...@gmail.com> wrote: > 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 -- 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
