chg: randomPoly -> randomPolyInT (tropical.lib)