>
P1 := convhull([-1, 0], [1, 0], [0, 1], [1/2, 0]); vertices(P1); hspaces(P1);
P2 := convhull(P1, posorthant(2), ray([2, -1])); vertices(P2), rays(P2); hspaces(P2);
new paragraph