Index
  
  POLYMAKE_CREATE_TIKZ_FILE (for IsExternalPolymakeObject, IsString)  3.1-3
  POLYMAKE_CREATE_TIKZ_FILE (for IsExternalPolymakeObject, IsString, IsList)  3.1-4
  POLYMAKE_CREATE_TIKZ_FILE_WITH_SKETCH_OPTIONS (for IsExternalPolymakeObject, IsString, IsList, IsString)  3.1-5
  POLYMAKE_SKETCH_WITH_OPTIONS (for IsExternalPolymakeObject, IsList)  3.1-1
  POLYMAKE_SKETCH_WITH_OPTIONS (for IsExternalPolymakeObject, IsString, IsList)  3.1-2
  PolymakeInterface  .-1
  
  
  -------------------------------------------------------