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