Added tropical polytopes by points.