D.13.1 polymake_lib interface to polymake and TOPCOM D.13.2 realizationMatroids_lib Realizability for Tropical Fan Curves D.13.3 tropical_lib interface to gfan