File: nonfull.ine

package info (click to toggle)
cddlib 094l-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 2,264 kB
  • sloc: ansic: 9,303; makefile: 95; sh: 1
file content (12 lines) | stat: -rw-r--r-- 211 bytes parent folder | download | duplicates (11)
1
2
3
4
5
6
7
8
9
10
11
12
* filename: nonfull.ine
* non full-dimensional polyhedron
H-representation
begin
    6      4    integer
  2   -1   0   0
 -2    1   0   0
  2    0  -1   0
 -1    1   0   0
 -1    0   1   0
 -1    0   0   1
end