// Fonction "partie entière" // En mathématiques, la partie entière (par défaut) d'un nombre réel est l'entier // qui lui est immédiatement inférieur ou égal. Pour un nombre réel x, elle se note // usuellement E(x), où la lettre E désigne la fonction partie entière (par défaut). // La partie entière ne doit pas être confondue avec la troncature à l'unité d'un nombre, // qui correspond à la suppression des décimales en notation usuelle // et qui diffère de la partie entière pour les nombres négatifs. size(7cm,5cm,IgnoreAspect); int k=0; label(format("La partie enti\`ere de $\pi$ est $%i$.",floor(pi)),(0,k)); label(format("La partie enti\`ere de $-\pi$ est $%i$.",floor(-pi)),(0,--k)); // La notation [x] est aussi utilisée mais a tendance à être remplacée par la notation // anglo-saxonne qui distingue : la partie entière par défaut (floor, « plancher ») // et la partie entière par excès (ceiling, « plafond »). label("Avec les notations anglo-saxonnes :",(0,--k)); label(format("partie enti\`ere par d\'efaut : $\lfloor{\pi\rfloor}=%i$", floor(pi)),(0,--k)); label(format("partie enti\`ere par exc\`es : $\lceil{\pi\rceil}=%i$", ceil(pi)),(0,--k));