1 DEFINITION MODULE MathTracer;
3 FROM MathLib0 IMPORT sqrt;
7 SCALAIRE= REAL; (* pour passer éventuellement en LONGREAL *)
9 (* Le type VECTEUR sera utilisé pour les vecteurs mais aussi pour les
11 VECTEUR= ARRAY[0..2] OF SCALAIRE;
13 PROCEDURE Carre(x: SCALAIRE): SCALAIRE;
14 PROCEDURE Normalise(VAR Vecteur: VECTEUR);
15 PROCEDURE Homotetie(Coefficient: SCALAIRE; VAR Vecteur: VECTEUR);
16 PROCEDURE SoustraitVecteur(VAR V1, V2: VECTEUR);
17 PROCEDURE Norme(VAR V: VECTEUR): SCALAIRE;
18 PROCEDURE Distance(VAR V1, V2: VECTEUR): SCALAIRE;
19 PROCEDURE Parite(x: SCALAIRE): BOOLEAN;
20 PROCEDURE Ent(x: SCALAIRE): SCALAIRE;
21 PROCEDURE Frac(x: SCALAIRE): SCALAIRE;
22 PROCEDURE Abs(x: SCALAIRE): SCALAIRE;