Divisione intera con resto

>

a:=1234;

>

b:=56;

>	q:=iquo(a,b); # quoziente della divisione intera

>	r:=irem(a,b); # resto della divisione intera

>	testeq(a=b*q+r); # controllo dell'uguaglianza

>	evalb(a=b*q+r);