Thread-topic: Problems finding .gp files in Android version
Hello PARI team,
first I would like to thank you very much for making this great program available. On my Windows computer it works very fine.
Now I am testing the Android version, and I could not find out how to read .gp files from the file system, nor did I find any documentation about this. In the main directory of the internal storage I created a directory "PARI", and inside this directory a
file "test.gp". First I tried to open it directly from a file explorer, but the OS apparently was not informed about such files being associated with PARI, nor did it offer PARIDroid as an option for opening it.
Then I tried, inside PARI: read("/storage/sdcard0/PARI/test.gp") and read("/storage/emulated/0/PARI/test.gp"). The path names are OK, according to the file explorer. But PARI always said: "read: error opening input file: "(...).
I found then, as a workaround, that I can copy multi-line text/instructions from a script file into the PARI edit box, and execute them this way. But it would still be better to have direct access to the files.
Your help would be much appreciated.