| Austin Schuh | 405fa6c | 2015-09-06 18:13:55 -0700 | [diff] [blame] | 1 | filename: dodeca.ine |
| 2 | dodecahedron inequalities | ||||
| 3 | H-representation | ||||
| 4 | begin | ||||
| 5 | 12 4 real | ||||
| 6 | 1 0 -0.61803398874989485 -1. | ||||
| 7 | 1 -1. 0 -0.61803398874989485 | ||||
| 8 | 1 -0.61803398874989485 -1. 0 | ||||
| 9 | 1 0 0.61803398874989485 1. | ||||
| 10 | 1 1. 0 0.61803398874989485 | ||||
| 11 | 1 0.61803398874989485 1. 0 | ||||
| 12 | 1 0 0.61803398874989485 -1. | ||||
| 13 | 1 -1. 0 0.61803398874989485 | ||||
| 14 | 1 0.61803398874989485 -1. 0 | ||||
| 15 | 1 0 -0.61803398874989485 1. | ||||
| 16 | 1 1. 0 -0.61803398874989485 | ||||
| 17 | 1 -0.61803398874989485 1. 0 | ||||
| 18 | end | ||||