On Thu, Feb 4, 2010 at 2:35 PM, Dieter Kaiser <drdieterkaiser at web.de> wrote:
> I have reported work on a tool to generate automatically valid Maxima
> expression which have a known value and are suitable to test the
> simplifier more stringent.
Terrific, that is a great idea. Have you already committed the
code for this tool? Please do so if you haven't already.
best
Robert Dodier