| * test file for redundancy removal | |
| * the redundant rows are | |
| * 3 4 5 9 10 | |
| * LP type = 1 Seed = 123 | |
| H-representation | |
| begin | |
| 10 3 integer | |
| 0 1 0 | |
| 0 0 1 | |
| -10000 651 693 | |
| -10000 697 637 | |
| -10000 368 824 | |
| -10000 87 725 | |
| -10000 387 219 | |
| -10000 430 202 | |
| -10000 356 988 | |
| -10000 674 979 | |
| end | |