-----maxima-bounces at math.utexas.edu wrote: -----
>
>Barton Willis and I are working on additional simplifications for boolean
>expressions; Barton is concentrating on the hard part -- dealing with
>inequalities, and I am doing the easy part -- boolean algebra.
>
I'm working on code that does Fourier-Motzkin elimination. This is gaussian
elimination for linear inequalities. My code has a pre-processor that needs
some extra simplification of booleans.
Barton