Add methods Domain.subs(), Polyhedron.subs()