e-antic eclib flint msolve normaliz polymake sagemath singular symengine