TropicalRealizability.m2 is a Macaulay2 package I have written to accompany the paper An Algorithm for the Tropical Realizability Problem for Families of Curves.

It contains an implementation of the algorithms described in the paper, together with the computation of all the examples.

This package has been written as a proof of concept and it is not fully optimized for practical use.

This package contains an interface to Singular, and in particular to the library grobcov.lib developed by Montes and Schoenemann. You will not be able to use it if Singular is not installed on you machine.

To use the package.

1. Download it from here and save it on your working directory
2. The package assumes that Singular can be accessed from terminal with the command Singular. If this is not the case on your machine, open TropicalRealizability.m2 with a text editor and change line 10 to
   • Configuration => { "singularCommand" => "(write here the command to open Singular)"
3. Exectute M2 and install the package using the command installPackage(TropicalRealizability)
4. You can read the manual using the command viewHelp TropicalRealizability