Patchworking and Tropical Compactifications

We present an implementation of Viro's patchworking using tropical hypersurfaces, as well as an efficient way to compute the Z_2 homology of the resulting algebraic hypersurface. We will describe how to construct cellular sheaves in polymake, in order to compute tropical homology.