File: ZDiff2.out

package info (click to toggle)
polylib 5.22.5-3%2Bdfsg
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, stretch, wheezy
  • size: 14,444 kB
  • ctags: 52,958
  • sloc: ansic: 16,342; sh: 10,134; makefile: 560
file content (32 lines) | stat: -rw-r--r-- 742 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

ZPOLYHEDRON: Dimension 2 

LATTICE: 
3 3
    2    0    0
    0    1    0
    0    0    1
POLYHEDRON Dimension:2
           Constraints:4  Equations:0  Rays:4  Lines:0
Constraints 4 4
Inequality: [    1    0   -1 ]
Inequality: [   -2    1   -1 ]
Inequality: [    2   -1   10 ]
Inequality: [   -2    0    9 ]
Rays 4 4
Vertex: [    1   12 ]/1
Vertex: [    1    3 ]/1
Vertex: [    9   20 ]/2
Vertex: [    9   38 ]/2
UNION POLYHEDRON Dimension:2
           Constraints:4  Equations:0  Rays:4  Lines:0
Constraints 4 4
Inequality: [    1    0   -1 ]
Inequality: [   -2    1   -1 ]
Inequality: [   -1    0   10 ]
Inequality: [    2   -1    4 ]
Rays 4 4
Vertex: [   10   21 ]/1
Vertex: [    1    3 ]/1
Vertex: [    1    6 ]/1
Vertex: [   10   24 ]/1