usePolymake.local

doPolymake calls local polymake



Nobuki Takayama 2017-03-01