On 3/22/08, van Nek <van.nek at arcor.de> wrote:
> what you read in the subject line, had already been defined.
> Just by accident, I was looking for simplication functions for
> logarithms, I found that there are the functions
>
> logand
> logor
> logxor
>
> in share/simplification/functs.mac
> They are just nothing but ?boole(...)
> and they are defined wrong!
>
> What should we do here? Fix them or cut them out?
Let's just leave them alone for now -- when the new bitwise operator
stuff is done, they should be cut out.
best,
Robert