Tests

New perf test for semilinear sets and fix for the compilation of polynomial tests.