Objets conditionnels et objets inconnus
Abstract
Pour rapprocher la forme des calculs effectués par les systèmes de calcul formel, des calculs faits à la main, et faciliter ainsi l'utilisation des systèmes de Calcul Formel, nous avons introduit deux nouvelles classes d'expressions. Les premières qualifiées de conditionnelles sont des objets multi-valués, qui permettent de décrire $abs (n)$ comme l'objet ``si $n\ge 0$ alors $n$ sinon $-n$''. Les secondes qualifiées d'inconnues (on en connaît le ``typé' mais pas la valeur) permettent d'exprimer ``soit $n$ un entier'' grâce à un mécanisme de typage. Cette étude a donné lieu à une implémentation en \AS-A In order to improve the expressivity of Computer Algebra Systems, we have introduced two new classes of expression. First, we defined multi-valued expressions called \it conditional\/ expressions, in order to express $abs (n)$ as the object ``if $n\ge 0$ then $n$ else $-n$''. Then we have specified a second class called unknown (elements whose values are unknown, but whose type is known) in order to enable declaration such as ``let $n$ an integer''. Examples of those two classes have been implemented in \AF CALCUL FORMEL / CALCUL SYMBOLIQUE / EXPRESSIONS CONDITIONNELLES / \A