Maple thetaids Package (Version 1.0) - Installation Instructions

These instructions are for Windows (64 bit) and Maple 2017. If you are using a different version of Maple just change "2017" to whatever.

STEP 1
Create a Homelib directory for your maple lib (dotm) files.
My directory is called mylib and is located here:
```
C:\cygwin64\home\Owner\maple\mylib
```
This is what I did to create it:
- Open command line (MSDOS)
- ```
 cd c:\cygwin64\home\Owner\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 2017\Users
```
and it should contain two lines of code resembling something like:
```
Homelib:="C:\\cygwin64/home/Owner/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.
- First right-click on the Maple icon and select Run as adminstrator
- Open the following Maple worksheet: setup-mapleinit-maple2017-HOMEPC.mw
  (view setup-mapleinit-maple2017-HOMEPC.pdf )
- Edit this worksheet to correspond to you Homelib location.
- Then execute the worksheet.
Now you should have a file maple.ini containing two lines of code.
STEP 3
Download the file
- wprog-thetaids-07-21-2018-HOMEPC.txt
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\Owner\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 2017\lib", ".", "C:\cygwin64\home\Owner\maple\mylib"
> currentdir("C:\\cygwin64\\home\\Owner\\maple\\mypackages\\thetaids\\w-setup");
              "C:\cygwin64\home\Owner\maple\mypackages\thetaids"
> currentdir();
          "C:\cygwin64\home\Owner\maple\mypackages\thetaids\w-setup"
> read "wprog-thetaids-07-21-2018-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

TEST THETAIDS [MW | PDF]

The url of this page is http://qseries.org/fgarvan/qmaple/thetaids/install.html.
Created by F.G. Garvan (fgarvan@ufl.edu) on Monday, August 01, 2016.
Last update made Sat Jul 21 12:31:32 EDT 2018.

fgarvan@ufl.edu