Re: [sage-support] Trouble with Sage assumptions

2017-04-18 Thread David White
Yes, this completely solves my issue. Thanks! On Monday, April 17, 2017 at 8:33:44 PM UTC-4, David Joyner wrote: > > On Mon, Apr 17, 2017 at 7:53 PM, David White > wrote: > > Hello, > > > > I am trying to use Sage in my class with some basic problems about > matrices. > > Several of the prob

[sage-support] element of submodule

2017-04-18 Thread Peng
I encountered the following problem: s is the trivial submodule of quo, where quo is a quotient module of modular symbol space. The zero element b of quo should be an element of s, but sage says no when I do the following process: S = ModularSymbols(Gamma1(13),2).cuspidal_subspace() ker = S.mo

[sage-support] element in submodule

2017-04-18 Thread Peng
I encountered the following problem: s is the trivial submodule of quo, where quo is a quotient module of modular symbol subspace. The zero element b of quo should be an element of s, but sage says no when I do the following process: # create modular symbol subspace sage: S = ModularSymbols(Ga