Maple thetaids Package (Version 0.9) - Installation Instructions

These instructions are for Windows (64 bit) and Maple 2015. If you are using a different version of Maple just change "2015" to whatever.
  • STEP 1
    Create a Homelib directory for your maple lib (dotm) files.
    My directory is called mylib and is located here:
    C:\cygwin\home\fgarvan\maple\mylib
    
    This is what I did to create it:
    • Open command line (MSDOS)
    •  cd c:\cygwin\home\fgarvan\maple 
    •  mkdir mylib
    You should now have a new directory called mylib.
  • STEP 2
    Set up a maple.ini file. This file should be created in the directory:
    C:\Program Files\Maple 2015\Users
    
    and it should contain two lines of code resembling something like:
    Homelib:="C:\\cygwin64/home/fgarvan/maple/mylib":
    libname := libname, Homelib:
    
    The value of Homelib should correspond to your Homelib. One way to do this is to use the following Maple worksheet. Now you should have a file maple.ini containing two lines of code.
  • STEP 3
    Download the file This file contains MAPLE code for setting up and saving the package. Save this file in a place where you keep your MAPLE programs. I saved it in a special directory:
    "C:\cygwin64\home\fgarvan\maple\mypackages\thetaids\w-setup"                         
    
    This program saves the thetaids package in the mylib directory. If you want to save it in a different place you will need to edit the file.
  • STEP 4
    Install the thetaids package. Start MAPLE and do something like the following.
    > libname;
     "C:\Program Files\Maple 2015\lib", ".", "C:\cygwin64\home\fgarvan\maple\mylib"
    > currentdir("C:\\cygwin64\\home\\fgarvan\\maple\\mypackages\\thetaids\\w-setup");
                  "C:\cygwin64\home\fgarvan\maple\mypackages\thetaids"
    > currentdir();
              "C:\cygwin64\home\fgarvan\maple\mypackages\thetaids\w-setup"
    > read "wprog-thetaids-07-30-2016-HOMEPC.txt":   
    >
    
    You will need to change "C:....w-setup" to the appropriate place.
    This program saves package as a file thetaids.mla in the mylib dir. See
    • INSTALL THETAIDS [MW | [PDF]
  • STEP 5
    Exit MAPLE and restart it to test the package:
    > with(qseries): 
    > with(thetaids): 
    > F1:=theta2(q,100)^4: 
    > F2:=theta3(q,100)^4: 
    > F3:=theta4(q,100)^4: 
    > findhom([F1,F2,F3],q,1,0);
                                  {X[1] - X[2] + X[3]}
    
    > JACID0:=qs2jaccombo(F1-F2+F3,q,100);
                                      6                      6                    6
              16 q JAC(0, 4, infinity)    JAC(0, 4, infinity)  JAC(2, 4, infinity)
    JACID0 := ------------------------- - -----------------------------------------
                                   2                                   8
                JAC(2, 4, infinity)                 JAC(1, 4, infinity)
    
                              4
         + JAC(1, 2, infinity)
    
    > JACID1:=processjacid(JACID0);
                                        8
                16 q JAC(1, 4, infinity)
    JACID1 := - ------------------------- + 1
                                     8
                  JAC(2, 4, infinity)
    
                                        16
                     JAC(1, 4, infinity)
         - ------------------------------------------
                              12                    4
           JAC(0, 4, infinity)   JAC(2, 4, infinity)
    
    > SYMID1:=expand(jac2getaprod(JACID1));
                                           16                        8
                             eta[4, 1](tau)         16 eta[4, 1](tau)
                 SYMID1 := - ---------------- + 1 - ------------------
                                           4                       8
                             eta[4, 2](tau)          eta[4, 2](tau)
    
    > printlocalsymid:=true:                
    > provemodfuncidBATCH(SYMID1,JACID1,4);
    *** There were NO errors.  Each term was modular function on
        Gamma1(4). Also -mintotord=1. To prove the identity
        we need to  check up to O(q^(3)).
        To be on the safe side we check up to O(q^(9)).
    *** The identity below is PROVED!
                                      16                        8
                        eta[4, 1](tau)         16 eta[4, 1](tau)
                      - ---------------- + 1 - ------------------
                                      4                       8
                        eta[4, 2](tau)          eta[4, 2](tau)
    
                                           1
    
    
    Do you get this? See

The url of this page is http://qseries.org/fgarvan/qmaple/thetaids/install-v0p9.html.
Created by F.G. Garvan (fgarvan@ufl.edu) on Monday, August 01, 2016.
Last update made Mon Aug 1 17:19:55 PDT 2016.


MAIL fgarvan@ufl.edu