Le plus grand de trois nombres

1. Par comparaisons successives :

def maximum(a, b, c):
    if a >= b and a >= c:
        return a
    elif b >= c:
        return b
    else:
        return c

2. Avec un maximum provisoire :

def maximum(a, b, c):
    m = a
    if b > m:
        m = b
    if c > m:
        m = c
    return m

3. Sur maximum(7, 7, 3), la première version renvoie a grâce aux inégalités larges >=. Avec des inégalités strictes (a > b and a > c, puis elif b > c), la première branche est refusée, mais la deuxième renvoie b — qui vaut aussi $7$ : le résultat reste juste. Une égalité au maximum ne change pas la valeur renvoyée, seulement la variable qui la porte ; on le vérifie de même sur maximum(7, 3, 7) (renvoie c) et maximum(3, 7, 7) (renvoie c). La seconde version renvoie m, resté égal à a : elle ne remplace m que sur une amélioration stricte, et un ex æquo n'en est pas une.

La seconde écriture est la plus importante des deux, parce qu'elle se généralise : c'est exactement le schéma du parcours d'une liste pour en chercher le maximum, que l'on retrouvera au chapitre 6. La première, elle, deviendrait inextricable avec quatre nombres.