quadrant *positive quadrant H-representation begin 2 3 integer 0 0 1 0 1 0 end geometric