 ser expressões não numéricas enquanto essa
desigualdade puder ser determinada.  Todavia, a menos que o incremento seja
sintaticamente negativo (e.g. for um número negativo) na hora em que a declaração <code>do</code>
for iniciada, Maxima assume que o incremento e o limite serão positivos quando o <code>do</code> for
executado.  Se o limite e o incremento não forem positivos, então o <code>do</code> pode não terminar
propriamente.
</p>
<p>Note que o limite, incremento, e condição de encerramento