filename: dodeca.ine
dodecahedron inequalities
H-representation
begin
12  4  real
  1  0  -0.61803398874989485  -1.
  1  -1.  0  -0.61803398874989485
  1  -0.61803398874989485  -1.  0
  1  0  0.61803398874989485  1.
  1  1.  0  0.61803398874989485
  1  0.61803398874989485  1.  0
  1  0  0.61803398874989485  -1.
  1  -1.  0  0.61803398874989485
  1  0.61803398874989485  -1.  0
  1  0  -0.61803398874989485  1.
  1  1.  0  -0.61803398874989485
  1  -0.61803398874989485  1.  0
end