interfacing with polymake