new: ttpReduce
new: containsMonomial
new: tropicalCurves prelim version