third_party/cddlib/examples-ine3d/icododeca.ine

Icosidodecahedron
% rational numbers appearing here are
% -3-5^(1/2), -1-5^(1/2) and their negatives.
H-representation
begin
  32  4  real
  1   -2.             -5.2360679775   0.
  1   0.              -2.             -5.2360679775
  1   0.              -5.2360679775   -3.2360679775
  1   0.              -5.2360679775   3.2360679775
  1   0.              -2.             5.2360679775
  1   2.              -5.2360679775   0.
  1   -5.2360679775   0.              -2.
  1   -5.2360679775   -3.2360679775   0.
  1   -5.2360679775   3.2360679775    0.
  1   -5.2360679775   0.              2.
  1   -3.2360679775   0.              -5.2360679775
  1   -3.2360679775   -3.2360679775   -3.2360679775
  1   -3.2360679775   3.2360679775    -3.2360679775
  1   -3.2360679775   -3.2360679775   3.2360679775
  1   -3.2360679775   3.2360679775    3.2360679775
  1   -3.2360679775   0.              5.2360679775
  1   3.2360679775    0.              -5.2360679775
  1   3.2360679775    -3.2360679775   -3.2360679775
  1   3.2360679775    3.2360679775    -3.2360679775
  1   3.2360679775    -3.2360679775   3.2360679775
  1   3.2360679775    3.2360679775    3.2360679775
  1   3.2360679775    0.              5.2360679775
  1   5.2360679775    0.              -2.
  1   5.2360679775    -3.2360679775   0.
  1   5.2360679775    3.2360679775    0.
  1   5.2360679775    0.              2.
  1   -2.             5.2360679775    0.
  1   0.              2.              -5.2360679775
  1   0.              5.2360679775    -3.2360679775
  1   0.              5.2360679775    3.2360679775
  1   0.              2.              5.2360679775
  1   2.              5.2360679775    0.
end