D.13.1 gfan_lib A gfanlib interface for Singular D.13.2 polymake_lib interface to polymake and TOPCOM D.13.3 realizationMatroids_lib Realizability for Tropical Fan Curves D.13.4 tropical_lib interface to gfan