../libscipolynomials-algo.la