Download this file

13 lines (11 with data), 159 Bytes

diamond.ine
93.7.6
Unit diamond centred at origin
Last two inequalities define vertex (-1/2,0)
begin
4 3 rational
1/2 -1 -1
1/2 -1  1
1/2  1 -1
1/2  1  1
end