H-representation
begin
1 2 rational
-1 1
end