File: ZUnion1.out

package info (click to toggle)
polylib 5.22.5-4.2%2Bdfsg
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 14,464 kB
  • sloc: ansic: 16,346; sh: 10,134; makefile: 506
file content (42 lines) | stat: -rw-r--r-- 840 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

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   -1 ]
Inequality: [   -1    0   10 ]
Inequality: [    2   -1   10 ]
Rays 4 4
Vertex: [   10   21 ]/1
Vertex: [    1    3 ]/1
Vertex: [    1   12 ]/1
Vertex: [   10   30 ]/1

UNIONED with

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: [   -1    0   10 ]
Inequality: [    2   -1   10 ]
Rays 4 4
Vertex: [   10   21 ]/1
Vertex: [    1    3 ]/1
Vertex: [    1   12 ]/1
Vertex: [   10   30 ]/1