Changed interface to comply with polymake