polymake接口