\(q\)-expansions of theta series¶

AUTHOR:

William Stein

sage.modular.modform.theta.theta2_qexp(prec=10, var='q', K=Integer Ring, sparse=False)[source]¶

Return the \(q\)-expansion of the series \(\theta_2 = \sum_{n \text{ odd}} q^{n^2}\).

INPUT:

prec – integer; the absolute precision of the output
var – (default: 'q') variable name
K – (default: ZZ) base ring of answer

OUTPUT: a power series over K

EXAMPLES:

Sage

sage: theta2_qexp(18)
q + q^9 + O(q^18)
sage: theta2_qexp(49)
q + q^9 + q^25 + O(q^49)
sage: theta2_qexp(100, 'q', QQ)
q + q^9 + q^25 + q^49 + q^81 + O(q^100)
sage: f = theta2_qexp(100, 't', GF(3)); f
t + t^9 + t^25 + t^49 + t^81 + O(t^100)
sage: parent(f)
Power Series Ring in t over Finite Field of size 3
sage: theta2_qexp(200)
q + q^9 + q^25 + q^49 + q^81 + q^121 + q^169 + O(q^200)
sage: f = theta2_qexp(20,sparse=True); f
q + q^9 + O(q^20)
sage: parent(f)
Sparse Power Series Ring in q over Integer Ring

Python

>>> from sage.all import *
>>> theta2_qexp(Integer(18))
q + q^9 + O(q^18)
>>> theta2_qexp(Integer(49))
q + q^9 + q^25 + O(q^49)
>>> theta2_qexp(Integer(100), 'q', QQ)
q + q^9 + q^25 + q^49 + q^81 + O(q^100)
>>> f = theta2_qexp(Integer(100), 't', GF(Integer(3))); f
t + t^9 + t^25 + t^49 + t^81 + O(t^100)
>>> parent(f)
Power Series Ring in t over Finite Field of size 3
>>> theta2_qexp(Integer(200))
q + q^9 + q^25 + q^49 + q^81 + q^121 + q^169 + O(q^200)
>>> f = theta2_qexp(Integer(20),sparse=True); f
q + q^9 + O(q^20)
>>> parent(f)
Sparse Power Series Ring in q over Integer Ring

Sage Live

theta2_qexp(18)
theta2_qexp(49)
theta2_qexp(100, 'q', QQ)
f = theta2_qexp(100, 't', GF(3)); f
parent(f)
theta2_qexp(200)
f = theta2_qexp(20,sparse=True); f
parent(f)

sage.modular.modform.theta.theta_qexp(prec=10, var='q', K=Integer Ring, sparse=False)[source]¶

Return the \(q\)-expansion of the standard \(\theta\) series \(\theta = 1 + 2\sum_{n=1}^{\infty} q^{n^2}\).