active Halfway Half Spaces
Returns the halfway hyperplanes that are not redundant given the problem's original half-spaces together with the remaining halfway hyperplanes — i.e. the ones that can actually bind on the MPA. Used to keep the RMD sampler's per-axis interval computation lean.
Parameters
checker
the redundancy strategy to apply