 a definição de todas essas
constantes construídas na lista de equações <code>const_eqns</code>, e
retornando a expressão modificada <var>expr</var>.  Essas partes de <var>expr</var> são constantes que
retornam <code>true</code> quando operadas por meio da função <code>constantp</code>.  Consequêntemente,
antes de usar <code>reduce_consts</code>, se pode fazer
</p>
<pre class="example">declare ([<var>objecto que vai receber a propriedade constante</var>], constant)$
</pre>
<p>para escolher a base 