FUNCTION :  printtype9 -  print of Type 8 identity
                

CALLING SEQUENCE :  printtype9(L, EQNNAME, num, nL)

PARAMETERS :  L - list [a,b,x,N,B]
            num - positive integer (no. of identity found by findtype9)
             nL - number of identities

GLOBAL VARIABLES : _F

SYNOPSIS :   
   Prints  identity for
  G(1)^a H(1)^b - H(1)^a G(1)^b-x

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:
>  findtype9();
                                 [[11, 13, 0]]

>  L:=PROVEDFL9[1];
                            L := [11, 13, 0, 12, -2]

>  printtype9(L,3, 9);
                                                 11           14
    11     13       11     13          eta(3 tau)   eta(2 tau)
G(1)   H(1)   - H(1)   G(1)   = - -----------------------------------,
                                             4           8         13
                                  eta(12 tau)  eta(6 tau)  eta(tau)

    Gamma[1](12), -B = 2,     (3.9)

DISCUSSION :

SEE ALSO :  

findtype9,
printtype1, printtype2, printtype3, printtype4,
printtype5, printtype6, printtype7, printtype8,
printtype9, printtype10, printtypelist