I am working with "matroid ports" and need to test whether certain polyhedra, given by hyperplanes, are integral (that is, have vertices with integer coordinates) or not. So far I have been using cdd to convert the H-representation to a V-representation and then just seeing whether it is a...