Returns true if target is redundant given others, i.e. the half-space defined by target is implied by the intersection of the others.