Bill Allombert on Tue, 17 Dec 2019 14:28:53 +0100 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: Problems finding .gp files in Android version |
On Sun, Dec 15, 2019 at 03:03:45PM +0000, Hans Ruegg wrote: > 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. I would suggest you read this post: https://pari.math.u-bordeaux.fr/archives/pari-users-1907/msg00033.html Cheers, Bill.