Petit exemple

    On veut implémenter la propriété suivante:

On peut ecrire cette propriété de la façon suivante:

> oldsin := op(sin):
> sin := proc(x) if is(x/Pi,integer) then 0 else oldsin(x) fi; end:

Un exemple d'utilisation donnerait:

> sin(k*Pi);
            sin(k Pi)
> assume(k,integer): sin(k*Pi);
            0