Representation for multiple right-hand sides

We are given finitely many polyhedra defined by linear constraints, using the same constraint matrix and different right-hand sides. We consider a simple constraint system and give necessary and sufficient conditions for this system to define the union of the polyhedra. We also show that deciding whether the system does define the union is NP-hard.Dedicated to the memory of Robert Jeroslow