François-Xavier, > >PS: we should really work on an automated regtesting procedure that >includes code that isn't in the testsuite (mainly for copyright >reasons) > > I agree - Polyhedron, Meissner and NIST all come to mind as candidates. Paul