FUNCTION :  latexprinttypeL1 - latex print list of type 1 identities
                               to a latex file
                

CALLING SEQUENCE :  latexprinttypeL1(LL,EQNNAME,FILENAME)
                    

PARAMETERS :  LL - list of type 1ists 
         EQNNAME - equation tag
        FILENAME - file name    


SYNOPSIS :   
   Print Type 1 identities to a latex file
   

EXAMPLES :   
>  with(qseries):
>  with(thetaids):
>  with(ramarobinsids):
>  xprint:=false: proveit:=true:
>  G:=j->1/GetaL(qr(5),5,j):H:=j->1/GetaL(qnr(5),5,j):
>  GM:=j->1/MGetaL(qr(5),5,j): HM:=j->1/MGetaL(qnr(5),5,j):
>  GE:=j->-GetaLEXP(qr(5),5,j):HE:=j->-GetaLEXP(qnr(5),5,j):
>  findtype1(12);
*** There were NO errors.  Each term was modular function on
    Gamma1(30). Also -mintotord=8. To prove the identity
    we need to  check up to O(q^(10)).
    To be on the safe side we check up to O(q^(68)).
*** The identity below is PROVED!
[6, 1, -1]
                                    eta(6 tau) eta(tau) 
       _G(6) _H(1) - _H(6) _G(1) = ---------------------
                                   eta(3 tau) eta(2 tau)
"n=", 10
*** There were NO errors.  Each term was modular function on
    Gamma1(55). Also -mintotord=40. To prove the identity
    we need to  check up to O(q^(42)).
    To be on the safe side we check up to O(q^(150)).
*** The identity below is PROVED!
[11, 1, -1]
                _G(11) _H(1) - _G(1) _H(11) = 1
                   [[6, 1, -1], [11, 1, -1]]
>  PROVEDFL1;
           [[6, 1, -1, 30, -8], [11, 1, -1, 55, -40]]
>  latexprinttypeL1(PROVEDFL1,RR51,"TESTRR5TYPE1.tex");


DISCUSSION :

This writes a list of Type 1 identities found by findtype1 to the
latex file TESTRR5TYPE1.tex
View as textfile


SEE ALSO :  

findtype1, latexprinttype1, latexprinttypeL1