DEFINITION MODULE MathTracer; FROM MathLib0 IMPORT sqrt; TYPE SCALAIRE= REAL; (* pour passer éventuellement en LONGREAL *) (* Le type VECTEUR sera utilisé pour les vecteurs mais aussi pour les points *) VECTEUR= ARRAY[0..2] OF SCALAIRE; PROCEDURE Carre(x: SCALAIRE): SCALAIRE; PROCEDURE Normalise(VAR Vecteur: VECTEUR); PROCEDURE Homotetie(Coefficient: SCALAIRE; VAR Vecteur: VECTEUR); PROCEDURE SoustraitVecteur(VAR V1, V2: VECTEUR); PROCEDURE Norme(VAR V: VECTEUR): SCALAIRE; PROCEDURE Distance(VAR V1, V2: VECTEUR): SCALAIRE; PROCEDURE Parite(x: SCALAIRE): BOOLEAN; PROCEDURE Ent(x: SCALAIRE): SCALAIRE; PROCEDURE Frac(x: SCALAIRE): SCALAIRE; PROCEDURE Abs(x: SCALAIRE): SCALAIRE; END MathTracer.