2. Exemples de calculs
Les calculs qui suivent ont été effectués à l’aide du système Axiom
Tout objet dans Axiom a un nom, un type et une valeur. Le symbole : réalise l’attribution de type (le typage) et le symbole := l’attribution de valeur. Ainsi, après l’exécution de a : Integer := 5, a représente un entier de valeur 5.
Lorsqu’une évaluation est demandée, Axiom retourne la valeur du résultat et son type. Une commande d’environnement permet de demander la suppression de l’impression du type du résultat : c’est le cas dans ces exemples. Lorsqu’une demande d’évaluation se termine par ; , le résultat de cette évaluation n’est pas...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Exemples de calculs
Systèmes de calcul formel à large spectre
Bibliographie
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
