manipulating finite sets of hyperplanes