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".