Problem 14.5d1.2 | SageMath

Posted on by

The generating function is an infinite product:

\displaystyle{ \begin{aligned} \alpha' M_L^2: \end{aligned}}

\displaystyle{\begin{aligned} &f_{L, NS+}(x) \\ &= a_{NS+} (r) x^r \\ &= \frac{1}{x} \prod_{r=1}^\infty \frac{(1 + x^{r-\frac{1}{2}})^{32}}{(1 - x^r)^8} \\ \end{aligned}}

To evaluate the infinite product, you can use SageMath with the following commands:

typeset_mode(True)

(1/x)*prod(((1+x^(n-1/2))^(32)/(1-x^n)^8) for n in (1..oo))

a = (1/x)*prod(((1+x^(n-1/2))^(32)/(1-x^n)^8) for n in (1..200))

F = a.taylor(x,0,6)

g = "+".join(map(latex, sorted([f for f in F.operands()], key=lambda exp:exp.degree(x))))

g

\displaystyle{ \begin{aligned} &f_{L, NS+}(x) \\ \end{aligned}}

\displaystyle{ \approx \frac{1}{x}+\frac{32}{\sqrt{x}}+504+5248 \, \sqrt{x}+40996 \, x+258624 \, x^{\frac{3}{2}}+1384320 \, x^{2}+6512384 \, x^{\frac{5}{2}} + ...}

— Me@2019-01-11 11:52:33 AM

.

.

2019.01.11 Friday (c) All rights reserved by ACHK