[DOCKER] J'ai essayé d'utiliser le conteneur Pari gp

introduction

À 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.

Lancer le conteneur 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

Lecture et écriture de fichiers

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

Article de référence

Recommended Posts

J'ai essayé d'utiliser le conteneur Pari gp
J'ai essayé d'utiliser Gson
J'ai essayé d'utiliser TestNG
J'ai essayé d'utiliser Galasa
J'ai essayé d'utiliser azure cloud-init
J'ai essayé d'utiliser Apache Wicket
J'ai essayé d'utiliser Java REPL
J'ai essayé d'utiliser anakia + Jing maintenant
J'ai essayé d'utiliser JOOQ avec Gradle
J'ai essayé d'utiliser l'API Java8 Stream
J'ai essayé d'utiliser WebAssembly Stadio (version 2018/4/17)
J'ai essayé d'utiliser le mémo Java LocalDate
J'ai essayé d'utiliser Google HttpClient de Java
J'ai essayé d'utiliser la fonction de cache d'Application Container Cloud Service
J'ai essayé d'utiliser l'API Elasticsearch en Java
J'ai essayé d'utiliser Realm avec Swift UI
J'ai essayé d'utiliser l'outil de diagnostic Java Arthas
J'ai essayé d'utiliser UICollectionViewListCell ajouté à partir de Xcode12.
J'ai essayé d'utiliser Scalar DL avec Docker
J'ai essayé d'utiliser OnlineConverter avec SpringBoot + JODConverter
C'est nouveau, mais j'ai essayé d'utiliser Groonga
J'ai essayé d'utiliser OpenCV avec Java + Tomcat
J'ai essayé Spring.
J'ai essayé de mettre Tomcat
J'ai essayé youtubeDataApi.
J'ai essayé de refactoriser ①
J'ai essayé FizzBuzz.
J'ai essayé JHipster 5.1
J'ai essayé d'utiliser Junit avec Mac VScode Maven
[Pour les débutants] J'ai essayé d'utiliser DBUnit avec Eclipse
[Pour les débutants] J'ai essayé d'utiliser JUnit 5 avec Eclipse
[Android] J'ai quitté SQLite et essayé d'utiliser Realm
J'ai fait un blackjack avec Ruby (j'ai essayé d'utiliser minitest)
[API] J'ai essayé d'utiliser l'API de recherche par code postal
J'ai essayé d'implémenter un serveur en utilisant Netty
J'ai essayé d'utiliser le profileur d'IntelliJ IDEA
[J'ai essayé] Tutoriel de printemps
J'ai essayé d'utiliser la fonction Server Push de Servlet 4.0
J'ai essayé d'exécuter Autoware
J'ai essayé d'utiliser le service KMS (Key Management Service) d'Alibaba Cloud
J'ai essayé de faire fonctionner SQS en utilisant AWS Java SDK
J'ai essayé QUARKUS immédiatement
J'ai essayé d'utiliser la boîte à outils de migration pour les fichiers binaires d'application
J'ai essayé d'utiliser Log4j2 sur un serveur Java EE
J'ai essayé Spring Batch
J'ai essayé d'utiliser YOLO v4 sur Ubuntu et ROS
J'ai essayé node-jt400 (Programmes)
J'ai essayé d'utiliser l'instruction Extended for en Java
J'ai essayé node-jt400 (exécuter)
J'ai essayé de gratter un graphique boursier en utilisant Java (Jsoup)
J'ai essayé node-jt400 (Transactions)
J'ai essayé un test unitaire de l'application Rails en utilisant RSpec et FactoryBot
J'ai essayé d'utiliser le référentiel GitHub comme serveur de bibliothèque
[Rails] J'ai essayé d'utiliser la méthode button_to pour la première fois