| 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 |