downloaded from polymake.org