calcul intermédiaire

Contexte

Le calcul d'une formule se fait par étapes où l'on applique un calcul élémentaire sur le résultat du calcul élémentaire précédent. Nous définissons ici une fonction retournant une des formules intermédiaire.

Définition

Soit :

• a un langage de calcul
• c un calcul
• x une formule compatible
• n un entier inférieur ou égal à la longueur de c

alors si c2 est c tronqué à n éléments intermediateCalc a c x n = calculate a c2 x

"intermediateCalc a c x n" se prononce "le calcul intermédiaire en n de c sur x".