Skip to Main content Skip to Navigation
Reports

Objets conditionnels et objets inconnus

Christèle Faure 1
1 SAFIR - Algebraic Formal Systems for Industry and Research
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : 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
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074375
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 3:10:51 PM
Last modification on : Saturday, January 27, 2018 - 1:31:04 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 4:48:00 PM

Identifiers

  • HAL Id : inria-00074375, version 1

Collections

Citation

Christèle Faure. Objets conditionnels et objets inconnus. [Rapport de recherche] RR-2298, INRIA. 1994. ⟨inria-00074375⟩

Share

Metrics

Record views

82

Files downloads

153