File: ZDiff1.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 (48 lines) | stat: -rw-r--r-- 1,011 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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

ZPOLYHEDRON: Dimension 2 

LATTICE: 
3 3
    2    0    1
    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   10 ]
Inequality: [   -2    1   -2 ]
Inequality: [   -2    0   19 ]
Rays 4 4
Vertex: [    1    4 ]/1
Vertex: [    1   12 ]/1
Vertex: [   19   58 ]/2
Vertex: [   19   42 ]/2
UNION POLYHEDRON Dimension:2
           Constraints:3  Equations:1  Rays:2  Lines:0
Constraints 3 4
Equality:   [    2   -1    1 ]
Inequality: [    0    1   -3 ]
Inequality: [    0   -1   21 ]
Rays 2 4
Vertex: [    1    3 ]/1
Vertex: [   10   21 ]/1

UNIONED with

ZPOLYHEDRON: Dimension 2 

LATTICE: 
3 3
    1    0    0
    0    1    0
    0    0    1
POLYHEDRON Dimension:2
           Constraints:3  Equations:1  Rays:2  Lines:0
Constraints 3 4
Equality:   [    1    0  -21 ]
Inequality: [    0    1  -21 ]
Inequality: [    0   -1   30 ]
Rays 2 4
Vertex: [   21   21 ]/1
Vertex: [   21   30 ]/1