../libscipolynomials.la