Sagemath dans Ubuntu 17.10?
Je voulais savoir s’il était possible d’installer Sagemath dans Ubuntu 17.10.
Je n'ai pas trouvé le paquet d'installation, mais je voulais juste vérifier si c'était juste moi.
Merci d'avance!
Ce n'est pas juste toi.
Pour Ubuntu 17.10, (astucieux aardvark), il ne semble pas y avoir de moyen d’installer à l’aide des référentiels de paquets. Comme vous pouvez le voir sur https://launchpad.net/ubuntu/artful/+source/sagemath
Il n’existe pas de version actuelle de ce paquet source dans The Artful Aardvark. Vous pouvez toujours signaler des bogues, faire des traductions, etc., mais ils ne seront peut-être pas utilisés avant la publication du paquet.
Je ne suis pas tout à fait sûr de la raison, mais il semble qu'ils aient eu des difficultés avec la mise à niveau de sagemath à partir de la version 7.4 (la version qui était présent dans zesty (17.04), en 8.1 (la version qui aurait été présente dans astucieux), probablement en raison de problèmes de dépendance. détails:
https://answers.launchpad.net/ubuntu/+source/sagemath/+question/660257
https://launchpad.net/ubuntu/+source/sagemath/+changelog#detail_sagemath_8.0-8.1~build1
https://trac.sagemath.org/ticket/24084
APP
Les méthodes traditionnellement recommandées PPA (par exemple ici ou ici ) ne fonctionneront pas car elles indiquent que:
MISE À JOUR 2017: Sagemath est maintenant dans Debian et il n'est plus nécessaire de gérer ce PPA.
ce qui est vrai, sauf que dans ce cas, Ubuntu ne suit pas parfaitement Debian ...
Comment installer, alors?
Vous pouvez généralement télécharger les fichiers binaires sagemath à partir de sagemath.org, à la place. Certains détails d'installation sont ici et les fichiers binaires Linux sont disponibles via un miroir ici .
Si vous cliquez sur le lien de téléchargement binaire ci-dessus, vous serez invité (à son tour) à choisir un miroir près de vous (pour accélérer le téléchargement), votre architecture de processeur (probablement en 64 bits si vous n'êtes pas sûr), puis votre système d'exploitation. . La dernière étape est délicate, car Ubuntu 17.10 n’est pas réellement une des options. Cependant, la sélection de l'option Ubuntu 16.04 ou de la dernière version de Debian pourrait fonctionner (je n'ai pas accès à un système Ubuntu 17.10, je ne l'ai donc pas testé ) ...
Si cela ne fonctionne pas, se plaindre au bug tracker ou build from source .