FUNCTION : printtype8 - print a Type 8 identity
CALLING SEQUENCE : printtype8(L, eqn, num)
PARAMETERS : L - list [p,c1,N,B]
num,eqn - positive integers
GLOBAL VARIABLES : _F
SYNOPSIS :
Prints identity for
G(1)^p H(p) + c1 H*(1) G(p)
with equation number (eqn.num)
EXAMPLES :
> with(qseries):
> with(thetaids):
> with(ramarobinsids):
> G:=j->1/GetaL([1],12,j): H:=j->1/GetaL([5],12,j):
> GM:=j->1/MGetaL([1],12,j): HM:=j->1/MGetaL([5],12,j):
> GE:=j->-GetaLEXP([1],12,j): HE:=j->-GetaLEXP([5],12,j):
> proveit:=true: xprint:=false: noprint:=true:
> findtype8(6);
[[2, -1], [2, 1], [3, -1]]
> L:=PROVEDFL8[1];
L := [2, -1, 24, -4]
> printtype8(L,3, 5);
3 2
2 2 2 eta(24 tau) eta(6 tau) eta(4 tau) eta(3 tau)
G(1) H(2) - H(1) G(2) = ------------------------------------------------,
5
eta(12 tau) eta(8 tau) eta(tau)
Gamma[1](24), -B = 4, (3.5)
DISCUSSION :
SEE ALSO :
findtype8,
printtype1, printtype2, printtype3, printtype4,
printtype5, printtype6, printtype7, printtype8,
printtype9, printtype10, printtypelist