4 votes

Comment installer le logiciel mathématique GAP sur un téléphone Android ?

Ceci a été posté sur MSE à l'origine.

Veuillez noter que ma seule formation en programmation, quelle qu'elle soit, se situe dans le contexte des mathématiques, plus précisément de la théorie des groupes. Veuillez donc utiliser un langage technique minimal.

Le problème :

J'essaie d'obtenir GAP sur mon téléphone Android.

(J'utilise un ZTE Blade V8. Je doute que cela compte).

Ce que j'ai jusqu'à présent :

J'ai trouvé sur le Forum GAP que quelqu'un appelé Matan Ziv-Av a compilé une version de GAP pour Android qui peut être trouvé aquí (et plus particulièrement aquí ).

Ce site explique quelque chose que je ne comprends pas.

J'ai téléchargé le dernier fichier, dont la dernière mise à jour date de 2015 (il s'agit donc de gap4r6), mais, après l'avoir ouvert avec RAR, je n'ai pas réussi jusqu'à présent à exécuter le programme.

Voici une capture d'écran du fichier sur lequel je pense devoir cliquer pour commencer :

(Cliquez sur l'image pour l'agrandir)

IMG:

Je n'arrive pas à le faire fonctionner.

Veuillez m'aider :)

Edit :

En utilisant Termux avec le fichier dans la capture d'écran ci-dessus, j'ai obtenu ceci :

(Cliquez sur l'image pour l'agrandir)

IMG:

0 votes

0 votes

Avez-vous essayé d'installer Émulateur de terminal pour Android o Termux ? D'après le lien de l'annonce, vous devriez pouvoir installer l'un ou l'autre et obtenir un environnement de type Linux pour exécuter votre paquet. Bien sûr, une étape nécessaire est peut-être de comprendre comment se déplacer dans Linux/Unix, votre niveau d'aptitude sur ce point n'est pas clair.

0 votes

@MorrisonChang J'ai essayé le premier, sans succès - désinstallé. Je suis en train de télécharger le second maintenant.

3voto

Sruly Points 918

C'est comme ça que je l'ai fait fonctionner.

J'utilise le téléchargement à partir d'ici GAP pour Android

Les préparatifs : De type termux termux-setup-storage lorsque l'on vous demande de donner la permission de stockage à termux, sélectionnez "allow". Ceci est pour donner l'accès à la carte SD dans termux.

  1. Assurez-vous que vous êtes connecté à l'Internet.

  2. Dans termux, tapez pkg install wget appuyez sur la touche Entrée.

  3. Maintenant pour télécharger le type de fichier wget my.svgalib.org/android/gap4r5-1.tar.gz puis appuyez sur la touche Entrée.

  4. Extraire le type de fichier tar -zxf gap4r5-1.tar.gz appuyez sur la touche Entrée.

  5. Type cd gap4r5 appuyez sur la touche Entrée.

  6. Maintenant nous devons faire quelques changements au script pour qu'il fonctionne sur termux. Nous allons le copier dans le fichier de téléchargement sdcard pour pouvoir l'éditer. type cp gap.sh /storage/emulated/0/Download/ appuyez sur la touche Entrée.

  7. Maintenant ouvrez le fichier gap.sh dans un éditeur de texte, j'ai utilisé Notepad++ pour Android . Ce fichier se trouve dans votre dossier de téléchargement.

  8. Modifiez la ligne 1 pour qu'elle ressemble à ceci #!/data/data/com.termux/files/usr/bin/bash

  9. Modifiez la ligne 23 pour qu'elle ressemble à ceci GAP_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )" Il est très important sur cette ligne que les espaces soient exactement là où ils sont et nulle part ailleurs. puis enregistrez le fichier. (Les remerciements pour cette ligne vont à Dave Dopson à ce post Obtenir le répertoire source d'un script Bash à partir de l'intérieur de l'entreprise )

  10. Retournez à termux et tapez cp /storage/emulated/0/Download/gap.sh . (le point à la fin est important) et appuyez sur la touche Entrée.

  11. Maintenant, vous êtes prêt à commencer à utiliser le programme. Pour lancer le programme, assurez-vous que vous êtes dans le dossier gap4r5 et tapez ./gap.sh . (Pour accéder à ce dossier lorsque vous démarrez termux, tapez cd gap4r5 ou, où que vous soyez dans termux, tapez cd appuyez sur la touche entrée et tapez cd gap4r5 et appuyez sur la touche Entrée).

Bonne chance !

0 votes

Je n'ai pas pu faire l'étape 6. Mon téléphone a refusé à Termux la permission d'exécuter la demande.

1 votes

Est-ce que tu as couru termux-setup-storage et donner la permission à termux ?

0 votes

Je l'ai fait, et j'ai essayé plusieurs fois depuis. Ça n'a pas marché, j'en ai peur. Voir cette image où je suis coincé à la partie 4. Je suis désolé que cela me prenne autant de temps. (Pour ma défense, je n'ai pas beaucoup essayé ces dernières semaines).

2voto

Puisque GAP est open-source, vous pouvez télécharger les sources et les compiler sur le dispositif dans termux ou un autre émulateur de terminal (bien que les autres émulateurs de terminal ne fournissent pas les outils de compilation AFAIK).

Il y a des instructions de compilation assez détaillées dans le fichier "README.buildsys.md" dans le répertoire source de gap, jetez-y un coup d'oeil pour plus de détails. Voici les étapes que j'ai suivies pour le compiler (après avoir ouvert un shell termux), les lignes commençant par "#" sont des commentaires et sont donc supposées vous aider à comprendre ce que fait la ou les lignes suivantes.

# Install programs needed to compile gap
pkg install make clang m4
# Install some optional dependencies that probably enhance your gap experience
apt install readline-dev libgmp-dev
# Download sources
wget https://www.gap-system.org/pub/gap/gap-4.10/tar.gz/gap-4.10.0.tar.gz
# Extract sources and change to that folder
tar -xf gap-4.10.0
cd gap-4.10.0
# Create a build folder to keep source directory clean
mkdir build
cd build
# Configure the package, if you want special features you probably want to change this line
../configure
# Compile the package
make
# Run GAP!
./gap

Veuillez me faire savoir si vous rencontrez des erreurs (j'ai peut-être oublié certaines dépendances) ou si je dois expliquer quelque chose plus en détail. Notez également que vous devez compiler et exécuter gap à partir de la structure de dossiers de termux ( /data/data/com.termux/files/ ), Android n'autorise pas les fichiers exécutables dans le stockage partagé (comme la sdcard externe et interne).

androidalle.com

AndroidAlle est une communauté de androiders où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X