Charger et exécuter un script dans Magma;

Question

J'utilise Magma dans Windows (C: \ program files \ magma). J'ai des scripts xyz.m dans le répertoire D: \ scripts. Je n'arrive pas à comprendre comment charger les scripts et les exécuter. Nous vous remercions de votre aide. Cordialement

Answer 1

Pour exécuter magma à partir de n'importe quel répertoire sous windows. On doit créer une variable d'environnement MAGMA_PATH où la valeur est le chemin du répertoire des scripts.