À propos de PARI / GP
https://pari.math.u-bordeaux.fr/pub/pari/manuals/2.3.5/users.pdf
1.1 Introduction` `` de est utile.
Ici, j'écrirai sur la façon d'utiliser PARI / GP avec Docker.
Vous pouvez entrer dans le conteneur avec l'option -it. En ajoutant `` gp '' comme indiqué ci-dessous, PARI / GP sera démarré immédiatement après le démarrage du conteneur.
docker run -it pascalmolin/parigp-small gp
Il y a aussi pascalmolin / parigp-full '', mais cette fois c'est petit ''.
PARI / GP démarre comme suit.
J'essaye de calculer 1 + 1.
GP/PARI CALCULATOR Version 2.11.4 (released)
amd64 running linux (x86-64/GMP-6.2.0 kernel) 64-bit version
compiled: Jul 8 2020, gcc version 9.3.0 (Alpine 9.3.0)
threading engine: single
(readline v8.0 enabled, extended help not enabled)
Copyright (C) 2000-2018 The PARI Group
PARI/GP is free software, covered by the GNU General Public License, and comes
WITHOUT ANY WARRANTY WHATSOEVER.
Type ? for help, \q to quit.
Type ?17 for how to get moral (and possibly technical) support.
parisize = 8000000, primelimit = 500000
? 1 + 1
%1 = 2
Si vous souhaitez l'arrêter, entrez la commande \ q```.
? 1 + 1
%1 = 2
? \q
Goodbye!
Pour rentrer dans le conteneur, recherchez d'abord l'ID DE CONTENEUR que vous souhaitez démarrer.
docker ps -aAffiche une liste, y compris les conteneurs arrêtés.
docker ps -a
La liste s'affiche comme ci-dessous.
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
1831fe3cb55f pascalmolin/parigp-small "gp" 3 minutes ago Exited (0) About a minute ago
Redémarrez le conteneur.
docker restart 1831fe3cb55f
Entrez dans le conteneur.
docker exec -it 1831fe3cb55f sh
Accédez au répertoire tmp et essayez de créer un fichier là-bas.
/ # cd tmp
J'ai créé le `` test.gp '' suivant.
/tmp # cat test.gp
forprime(p = 1, 20, write("output.txt", p))
Démarrez PARI / GP avec la commande `` gp '' comme indiqué ci-dessous.
/tmp # gp
Exécutez le fichier.
? \r test.gp
Arrêtez PARI / GP et jetez un œil au fichier créé output.txt.
/tmp # cat output.txt
2
3
5
7
11
13
17
19
Recommended Posts