On 3/22/08, van Nek <van.nek at arcor.de> wrote:
> So for clarification:
> 'literal integer' means a number like 1, 7 or 13 ?
Yes.
> x can be a 'declared integer' if it is declared by declare(x,integer) ?
Yes.
> As a test for a declared integer I can use featurep(x,integer) ?
Yes.
> > About bit_lsh(x,-3) => bit_lsh(x,-3), I would expect from bit_lsh(x,
> > 3) => 2^3*x that bit_lsh(x, - 3) => x/2^(- 3). It appears that
> > left-shift operations are simplfiied but not right-shift; I don't see why.
>
> The simplification bit_lsh(x, - 3) => x/2^(- 3) is wrong!
You're right, sorry for the bother.
best,
Robert Dodier