A derivative we have to evaluate in Lemma 17
> | unassign('m'): |
> | Jexpr:=proc(m) subs(yinv=1/y,C=CC,CC^(m/2) *TT(xsubs) ):end: |
> | Jexpr(m); |
Expression of L1(0;y)
> | map(factor,map(simplify,map(normal,subs(t=0,II=0,diff(Jexpr(m),II))),symbolic)); |
> | diff(%,y); |
> | map(simplify,collect(factor(limit(%,y=1)),TT,factor),symbolic); |
> |
> |