Je n’ai plus eu le temps de chercher à interfacer proprement giac et LaTeX.
Je suis tombé sur sagetex qui interface LaTeX et Sage.
L’installation de sage et de sagetex est décrite ici.
Sage est un programme qui "fédère" différents programmes d’algèbre sur ordinateur (Maxima, gap, ...) et de calculs numériques (Octave, R, ...). Il est écrit en python. C’est un peu une usine à gaz et je ne suis pas un grand fan.
MAIS, sagetex est un "plugin" de sage qui permet de mettre des instructions sage dans du code LaTeX.
Il y a un package sagemath dans debian et ubuntu mais c’est la version 3.0.1 de sage !
Or Sage, à ce jour, est à la version 4.3.2. La version 2.2.1 de sagetex est compatible avec la version 4 de sage et "bugge" joyeusement avec sage 3 !
J’ai donc désinstallé sage :
#apt-get remove sagemath
Et j’ai ensuite installé sage depuis un miroir :
$wget ftp://ftp.fu-berlin.de/unix/misc/sage/linux/32bit/sage-4.3.1-linux-Ubuntu_9.10-i686-Linux.tar.lzma
$unlzma sage-4.3.1-linux-Ubuntu_9.10-i686-Linux.tar.lzma
tar xvf sage-4.3.1-linux-Ubuntu_9.10-i686-Linux.tar
Comme root, copie dans /usr/local/share, liens symboliques en série et édition du code du script de démarrage
#cd /usr/local/share/
#ln -s sage-4.3.1-linux-Ubuntu_9.10-i686-Linux sage
#ln -s /usr/local/share/sagemath/sage /usr/local/bin/sage
# vi sage
remplacement de SAGE_ROOT par la valeur /usr/local/share/sagemath/
Lancement de sage comme root installation sous sage comme root ds. /usr/local/bin
sage: install_scripts("/usr/local/bin/")
Lancement de sage comme root et comme simple utilisateur
Installation de sagetex
#sage -i sagetex-2.2.1
copie du répertoire sagetex dans mon texmf
$cp -r /usr/local/share/sage/local/share/texmf/tex/generic/sagetex texmf/tex/latex/
$texhash
Au boulot
2004-2024 © @YvesDelhaye.Be : "Nous ne sommes pas faits pour vivre comme des imbéciles, mais pour suivre les chemins de la vertu et de la connaissance." (Dante : l’Enfer) - Tous droits réservés
Ce site est géré sous SPIP 2.1.28 [22259] et utilise le squelette EVA-Web 4.1
Dernière mise à jour : mercredi 1er février 2023