File: ex1.ine

package info (click to toggle)
cddlib 094m-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 2,276 kB
  • sloc: ansic: 9,308; makefile: 95; sh: 1
file content (11 lines) | stat: -rw-r--r-- 235 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
 
* file name: ex1.ine
*   2 dimensional polyhedron with three vertices (0,3), (-1, 4) and (-1,10) and 
*   two extremal rays (2,1) and (1,2).
H-representation
begin
  4   3   integer
 12   2  -1
 -6  -1   2
 -3   1   1
  1   1   0 
end