| Austin Schuh | 405fa6c | 2015-09-06 18:13:55 -0700 | [diff] [blame^] | 1 | * file name: ccp4.ext |
| 2 | * Input file for computing the facets of the complete cut polytope on 4 vertices | ||||
| 3 | * The number of facets is 16. | ||||
| 4 | V-representation | ||||
| 5 | begin | ||||
| 6 | 8 7 integer | ||||
| 7 | 1 0 0 0 0 0 0 | ||||
| 8 | 1 1 1 1 0 0 0 | ||||
| 9 | 1 0 1 1 1 1 0 | ||||
| 10 | 1 1 0 1 1 0 1 | ||||
| 11 | 1 1 1 0 0 1 1 | ||||
| 12 | 1 0 0 1 0 1 1 | ||||
| 13 | 1 0 1 0 1 0 1 | ||||
| 14 | 1 1 0 0 1 1 0 | ||||
| 15 | end | ||||
| 16 | |||||