Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Newforms and basis of new subspace [explanation]

Hi,

I am new to Sage and modular forms. I have some conceptual questions.

When I write sage: S = CuspForms(Gamma0(55),2,prec=14) sage: S.new_subspace().basis()

[ q + 2q^3 - 2q^5 - 4q^6 - 3q^7 + 5q^8 + 9q^9 - q^10 + 2q^11 - 10q^12 - 9q^13 + O(q^14), q^2 - 2q^3 + 2q^5 + 2q^6 + 2q^7 - 5q^8 - 8q^9 + q^10 - 2q^11 + 6q^12 + 8q^13 + O(q^14), q^4 - q^5 - 2q^6 - q^7 + 3q^8 + 4q^9 - q^10 + q^11 - 4q^12 - 3*q^13 + O(q^14) ]

sage: CuspForms(Gamma0(55),2).newforms(names='a')

[q + q^2 - q^4 + q^5 + O(q^6), q + a1q^2 + (-2a1 + 2)q^3 + (2a1 - 1)*q^4 - q^5 + O(q^6)]

What is the difference between those 2 and how to find a coefficient of a1?

Can someone tell me how to find newforms for some S_k if the second function is not correct.

Thank you.

click to hide/show revision 2
No.2 Revision

updated 2014-12-04 20:25:10 -0600

kcrisman gravatar image

Newforms and basis of new subspace [explanation]

Hi,

I am new to Sage and modular forms. I have some conceptual questions.

When I write

sage: S = CuspForms(Gamma0(55),2,prec=14)
sage: S.new_subspace().basis()

S.new_subspace().basis() [ q + 2q^3 - 2q^5 - 4q^6 - 3q^7 + 5q^8 + 9q^9 2*q^3 - 2*q^5 - 4*q^6 - 3*q^7 + 5*q^8 + 9*q^9 - q^10 + 2q^11 - 10q^12 - 9q^13 2*q^11 - 10*q^12 - 9*q^13 + O(q^14), q^2 - 2q^3 + 2q^5 + 2q^6 + 2q^7 - 5q^8 - 8q^9 2*q^3 + 2*q^5 + 2*q^6 + 2*q^7 - 5*q^8 - 8*q^9 + q^10 - 2q^11 + 6q^12 + 8q^13 2*q^11 + 6*q^12 + 8*q^13 + O(q^14), q^4 - q^5 - 2q^6 2*q^6 - q^7 + 3q^8 + 4q^9 3*q^8 + 4*q^9 - q^10 + q^11 - 4q^12 4*q^12 - 3*q^13 + O(q^14) ]

] sage: CuspForms(Gamma0(55),2).newforms(names='a')

CuspForms(Gamma0(55),2).newforms(names='a') [q + q^2 - q^4 + q^5 + O(q^6), q + a1q^2 + (-2a1 + 2)q^3 + (2a1 a1*q^2 + (-2*a1 + 2)*q^3 + (2*a1 - 1)*q^4 - q^5 + O(q^6)]

O(q^6)]

What is the difference between those 2 and how to find a coefficient of a1?

Can someone tell me how to find newforms for some S_k if the second function is not correct.

Thank you.

click to hide/show revision 3
retagged

Newforms and basis of new subspace [explanation]

Hi,

I am new to Sage and modular forms. I have some conceptual questions.

When I write

sage: S = CuspForms(Gamma0(55),2,prec=14)
sage: S.new_subspace().basis()

[
q + 2*q^3 - 2*q^5 - 4*q^6 - 3*q^7 + 5*q^8 + 9*q^9 - q^10 + 2*q^11 - 10*q^12 - 9*q^13 + O(q^14),
q^2 - 2*q^3 + 2*q^5 + 2*q^6 + 2*q^7 - 5*q^8 - 8*q^9 + q^10 - 2*q^11 + 6*q^12 + 8*q^13 + O(q^14),
q^4 - q^5 - 2*q^6 - q^7 + 3*q^8 + 4*q^9 - q^10 + q^11 - 4*q^12 - 3*q^13 + O(q^14)
]


sage: CuspForms(Gamma0(55),2).newforms(names='a')

[q + q^2 - q^4 + q^5 + O(q^6),
 q + a1*q^2 + (-2*a1 + 2)*q^3 + (2*a1 - 1)*q^4 - q^5 + O(q^6)]

What is the difference between those 2 and how to find a coefficient of a1?

Can someone tell me how to find newforms for some S_k if the second function is not correct.

Thank you.