Maple ramarobinsids Package - 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.
- First right-click on the Maple icon and select Run as adminstrator
- Open the following Maple worksheet: setup-mapleinit-maple2015-HOMEPC.mw
  (view setup-mapleinit-maple2015-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-ramarobinsids-08-10-2016-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\fgarvan\maple\mypackages\ramarobinsids\w-setup"                         
```
This program saves the ramarobinsids 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 ramarobinsids 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\\ramarobinsids\\w-setup");
              "C:\cygwin64\home\fgarvan\maple\mypackages\ramarobinsids"
> currentdir();
          "C:\cygwin64\home\fgarvan\maple\mypackages\ramarobinsids\w-setup"
> read "wprog-ramarobinsids-08-10-2016-HOMEPC.txt":   
>

You will need to change "C:....w-setup" to the appropriate place.
This program saves package as a file ramarobinsids.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):
> with(ramarobinsids);
 [CHECKRAMIDF, Eeta, Geta, GetaB, GetaEXP, GetaL, GetaLB, 
   GetaLEXP, MGeta, MGetaL, findtype1, findtype10, findtype2, 
   findtype3, findtype4, findtype5, findtype6, findtype7, 
   findtype8, findtype9, latexeta, latexetaquot, latexpm, 
   latexprinttype1, latexprinttype10, latexprinttype2, 
   latexprinttype3, latexprinttype4, latexprinttype5, 
   latexprinttype6, latexprinttype7, latexprinttype8, 
   latexprinttype9, latexprinttypeL1, latexprinttypeL10, 
   latexprinttypeL2, latexprinttypeL3, latexprinttypeL4, 
   latexprinttypeL5, latexprinttypeL6, latexprinttypeL7, 
   latexprinttypeL8, latexprinttypeL9, qnr, qr, 
   ramarobinsidspversion]
> 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):
> G(1),H(1);
                                 (11/60)                    
       JAC(0, 5, infinity)      q        JAC(0, 5, infinity)
   ---------------------------, ----------------------------
    (1/60)                          JAC(2, 5, infinity)     
   q       JAC(1, 5, infinity)                              

> jac2eprod(G(1)),jac2eprod(H(1));
                         1           1     
                     ----------, ----------
                     GETA(5, 1)  GETA(5, 2)
> myramatype1:=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) - _G(1) _H(6) = ---------------------
                                   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");

Do you get this? See

TEST RAMAROBINSIDS [MW | PDF]
You also have a file TESTRR5TYPE1.tex

The url of this page is http://qseries.org/fgarvan/qmaple/ramarobinsids/0.1/install.html.
Created by F.G. Garvan (fgarvan@ufl.edu) on Friday, August 12, 2016.
Last update made Fri Aug 12 10:55:13 PDT 2016.

fgarvan@ufl.edu