Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
sagemath
GitHub Repository: sagemath/sagesmc
Path: blob/master/build/pkgs/cddlib/tests/output/irbox20-4.ext
8820 views
V-representation
begin
 14 4 rational
 1 -45 1 47
 1 5 -11 28
 1 17 -43 17
 1 -46 8 -15
 1 35 -26 -6
 1 41 -3 -8
 1 -46 49 40
 1 -18 -29 46
 1 -20 -25 -2
 1 -22 -9 -32
 1 31 46 5
 1 -44 -5 40
 1 -2 4 32
 1 -27 40 -48
end

H-representation
begin
 24 4 rational
 18563/17 -1 593/17 25
 35825/391 -501/391 1 1354/391
 8158/59 1 268/59 139/59
 30933/37 -774/37 1 -952/37
 29717/56 197/28 869/56 1
 17417/122 -447/244 -1 -543/122
 13393/14 141/7 309/14 1
 3799/33 17/11 47/33 -1
 24041/95 -129/95 -1 -633/95
 163243/779 3113/779 -55/41 1
 18829 421 69 1
 133587/41 2927/41 55/41 -1
 63443/469 1105/469 1 1091/469
 17141/68 823/136 351/68 1
 3519/35 391/175 377/175 1
 7262/17 -171/17 -1 -471/34
 8110/19 -191/19 -1 -263/19
 1625/14 -47/28 -1 -101/28
 92115/17 1 -2037/17 212/17
 49373/10 -1363/10 1 -758/5
 59123/62 -1745/62 1 -788/31
 40881/428 -2519/1284 -1 1451/642
 24949/188 -417/188 1 911/188
 355/2 -165/34 1 -52/17
end

Vertex graph
begin
  14    14
 1 4 : 4 7 8 12
 2 4 : 3 8 11 13
 3 7 : 2 5 6 8 9 10 11
 4 6 : 1 7 9 10 12 14
 5 4 : 3 6 10 14
 6 4 : 3 5 11 14
 7 6 : 1 4 8 11 13 14
 8 7 : 1 2 3 7 9 12 13
 9 5 : 3 4 8 10 12
 10 5 : 3 4 5 9 14
 11 6 : 2 3 6 7 13 14
 12 4 : 1 4 8 9
 13 4 : 2 7 8 11
 14 6 : 4 5 6 7 10 11
end

Facet graph
begin
  24    24
 1 3 : 2 3 24
 2 3 : 1 13 23
 3 3 : 1 5 15
 4 3 : 5 16 20
 5 3 : 3 4 7
 6 3 : 9 16 18
 7 3 : 5 8 14
 8 3 : 7 9 11
 9 3 : 6 8 12
 10 3 : 12 13 19
 11 3 : 8 12 14
 12 3 : 9 10 11
 13 3 : 2 10 15
 14 3 : 7 11 15
 15 3 : 3 13 14
 16 3 : 4 6 17
 17 3 : 16 18 20
 18 3 : 6 17 19
 19 3 : 10 18 22
 20 3 : 4 17 21
 21 3 : 20 22 24
 22 3 : 19 21 23
 23 3 : 2 22 24
 24 3 : 1 21 23
end