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.