metabelian groups with quadratic dehn function and baumslag ...
has discrete cocompact image (check it as an exercise or see [23, Chap. IV, §2]), and the corresponding embedding of ... by [15, p. 76] or [4, p. 69-70].
has discrete cocompact image (check it as an exercise or see [23, Chap. IV, §2]), and the corresponding embedding of ... by [15, p. 76] or [4, p. 69-70].