[rjoshua@localhost ~]$ M2
Macaulay2, version 1.10
with packages: ConwayPolynomials, Elimination, IntegralClosure, InverseSystems,
               LLLBases, PrimaryDecomposition, ReesAlgebra, TangentCone

i1 : loadPackage("NormalToricVarieties")
--loading configuration for package "FourTiTwo" from file /home/rjoshua/.Macaulay2/init-FourTiTwo.m2

o1 = NormalToricVarieties

o1 : Package

i2 : load("/run/media/rjoshua/49BB-D772/mypapers/M2/intersection_numbers9.m2")

i3 : P3

o3 = P3

o3 : NormalToricVariety

i4 : NFP3

o4 = NFP3

o4 : Fan

i5 : maxCones(NFP3)

o5 = {{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}}

o5 : List

i6 : RP3=rays(NFP3)

o6 = | -1 1 0 0 |
     | -1 0 1 0 |
     | -1 0 0 1 |

              3        4
o6 : Matrix ZZ  <--- ZZ

i7 : Rays=RP3

o7 = | -1 1 0 0 |
     | -1 0 1 0 |
     | -1 0 0 1 |

              3        4
o7 : Matrix ZZ  <--- ZZ

i8 : TDCones0(NFP3)

o8 = {{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}}

o8 : List

i9 : TopdimCones=TDCones1(TopdimCones0, Rays)
n=
4
Ltemp=
{0, 1, 2}
ctemp =
3
M =
| 1 |
| 0 |
| 0 |
Mtemp =
| 1 0 |
| 0 1 |
| 0 0 |
Mtemp =
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
ctemp =
3
M =
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
L1=
{}
L1=
{| 1 0 0 |}
 | 0 1 0 |
 | 0 0 1 |
Ltemp=
{0, 1, 3}
ctemp =
3
M =
| 1 |
| 0 |
| 0 |
Mtemp =
| 1 0 |
| 0 1 |
| 0 0 |
Mtemp =
| 1 0 -1 |
| 0 1 -1 |
| 0 0 -1 |
ctemp =
3
M =
| 1 0 -1 |
| 0 1 -1 |
| 0 0 -1 |
L1=
{| 1 0 0 |}
 | 0 1 0 |
 | 0 0 1 |
L1=
{| 1 0 0 |, | 1 0 -1 |}
 | 0 1 0 |  | 0 1 -1 |
 | 0 0 1 |  | 0 0 -1 |
Ltemp=
{0, 2, 3}
ctemp =
3
M =
| 1 |
| 0 |
| 0 |
Mtemp =
| 1 0 |
| 0 0 |
| 0 1 |
Mtemp =
| 1 0 -1 |
| 0 0 -1 |
| 0 1 -1 |
ctemp =
3
M =
| 1 0 -1 |
| 0 0 -1 |
| 0 1 -1 |
L1=
{| 1 0 0 |, | 1 0 -1 |}
 | 0 1 0 |  | 0 1 -1 |
 | 0 0 1 |  | 0 0 -1 |
L1=
{| 1 0 0 |, | 1 0 -1 |, | 1 0 -1 |}
 | 0 1 0 |  | 0 1 -1 |  | 0 0 -1 |
 | 0 0 1 |  | 0 0 -1 |  | 0 1 -1 |
Ltemp=
{1, 2, 3}
ctemp =
3
M =
| 0 |
| 1 |
| 0 |
Mtemp =
| 0 0 |
| 1 0 |
| 0 1 |
Mtemp =
| 0 0 -1 |
| 1 0 -1 |
| 0 1 -1 |
ctemp =
3
M =
| 0 0 -1 |
| 1 0 -1 |
| 0 1 -1 |
L1=
{| 1 0 0 |, | 1 0 -1 |, | 1 0 -1 |}
 | 0 1 0 |  | 0 1 -1 |  | 0 0 -1 |
 | 0 0 1 |  | 0 0 -1 |  | 0 1 -1 |
L1=
{| 1 0 0 |, | 1 0 -1 |, | 1 0 -1 |, | 0 0 -1 |}
 | 0 1 0 |  | 0 1 -1 |  | 0 0 -1 |  | 1 0 -1 |
 | 0 0 1 |  | 0 0 -1 |  | 0 1 -1 |  | 0 1 -1 |

o9 = {| 1 0 0 |, | 1 0 -1 |, | 1 0 -1 |, | 0 0 -1 |}
      | 0 1 0 |  | 0 1 -1 |  | 0 0 -1 |  | 1 0 -1 |
      | 0 0 1 |  | 0 0 -1 |  | 0 1 -1 |  | 0 1 -1 |

o9 : List

i10 : maxCones(NFP3)

o10 = {{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}}

o10 : List

i11 : TopdimCones

o11 = {| 1 0 0 |, | 1 0 -1 |, | 1 0 -1 |, | 0 0 -1 |}
       | 0 1 0 |  | 0 1 -1 |  | 0 0 -1 |  | 1 0 -1 |
       | 0 0 1 |  | 0 0 -1 |  | 0 1 -1 |  | 0 1 -1 |

o11 : List

i12 : SmallCones(TopdimCones)
4
3
C=
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
Ltemp=
{| 0 0 |, | 1 0 |, | 1 0 |}
 | 1 0 |  | 0 0 |  | 0 1 |
 | 0 1 |  | 0 1 |  | 0 0 |
SmallConeslist=
{| 0 0 |, | 1 0 |, | 1 0 |}
 | 1 0 |  | 0 0 |  | 0 1 |
 | 0 1 |  | 0 1 |  | 0 0 |
C=
| 1 0 -1 |
| 0 1 -1 |
| 0 0 -1 |
Ltemp=
{| 0 -1 |, | 1 -1 |, | 1 0 |}
 | 1 -1 |  | 0 -1 |  | 0 1 |
 | 0 -1 |  | 0 -1 |  | 0 0 |
SmallConeslist=
{| 0 0 |, | 1 0 |, | 1 0 |, | 0 -1 |, | 1 -1 |}
 | 1 0 |  | 0 0 |  | 0 1 |  | 1 -1 |  | 0 -1 |
 | 0 1 |  | 0 1 |  | 0 0 |  | 0 -1 |  | 0 -1 |
C=
| 1 0 -1 |
| 0 0 -1 |
| 0 1 -1 |
Ltemp=
{| 0 -1 |, | 1 -1 |, | 1 0 |}
 | 0 -1 |  | 0 -1 |  | 0 0 |
 | 1 -1 |  | 0 -1 |  | 0 1 |
SmallConeslist=
{| 0 0 |, | 1 0 |, | 1 0 |, | 0 -1 |, | 1 -1 |, | 0 -1 |}
 | 1 0 |  | 0 0 |  | 0 1 |  | 1 -1 |  | 0 -1 |  | 0 -1 |
 | 0 1 |  | 0 1 |  | 0 0 |  | 0 -1 |  | 0 -1 |  | 1 -1 |
C=
| 0 0 -1 |
| 1 0 -1 |
| 0 1 -1 |
Ltemp=
{| 0 -1 |, | 0 -1 |, | 0 0 |}
 | 0 -1 |  | 1 -1 |  | 1 0 |
 | 1 -1 |  | 0 -1 |  | 0 1 |
SmallConeslist=
{| 0 0 |, | 1 0 |, | 1 0 |, | 0 -1 |, | 1 -1 |, | 0 -1 |}
 | 1 0 |  | 0 0 |  | 0 1 |  | 1 -1 |  | 0 -1 |  | 0 -1 |
 | 0 1 |  | 0 1 |  | 0 0 |  | 0 -1 |  | 0 -1 |  | 1 -1 |

i13 : Inumbers3(NFP3)
smallcount=
6
raycount=
4
i in loop =
0
j in loop =
0
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
i in while loop=
1
i in while loop=
2
i in while loop=
3
IN=
1
j=
0
inside L
{(| -1 |, | 0 0 |, 1)}
  | -1 |  | 1 0 |
  | -1 |  | 0 1 |
j in loop =
1
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
i in while loop=
1
i in while loop=
2
IN=
1
j=
1
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |
j in loop =
2
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
i in while loop=
1
IN=
1
j=
2
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |
j in loop =
3
j=
0
dim(P)=
3
jin while loop=
1
final value of j =
1
last part
4
Cone1=
| 1 0 -1 |
| 0 1 -1 |
| 0 0 -1 |
i1=
1
Cone1=
| 0 0 -1 |
| 1 0 -1 |
| 0 1 -1 |
i1=
3
MatchingL=
{| 1 0 -1 |, | 0 0 -1 |}
 | 0 1 -1 |  | 1 0 -1 |
 | 0 0 -1 |  | 0 1 -1 |
i=
0
X1=
| 1 |
| 0 |
| 0 |
i=
1
X2=
| 0 |
| 0 |
| 1 |
r1=
2
r2=
2
X1=
| 1 |
| 0 |
| 0 |
X2=
| 0 |
| 0 |
| 1 |
j=
3
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |
j in loop =
4
j=
0
dim(P)=
3
jin while loop=
1
final value of j =
1
last part
4
Cone1=
| 1 0 -1 |
| 0 1 -1 |
| 0 0 -1 |
i1=
1
Cone1=
| 1 0 -1 |
| 0 0 -1 |
| 0 1 -1 |
i1=
2
MatchingL=
{| 1 0 -1 |, | 1 0 -1 |}
 | 0 1 -1 |  | 0 0 -1 |
 | 0 0 -1 |  | 0 1 -1 |
i=
1
X1=
| 0 |
| 1 |
| 0 |
i=
1
X2=
| 0 |
| 0 |
| 1 |
r1=
2
r2=
2
X1=
| 0 |
| 1 |
| 0 |
X2=
| 0 |
| 0 |
| 1 |
j=
4
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |
j in loop =
5
j=
0
dim(P)=
3
jin while loop=
1
final value of j =
1
last part
4
Cone1=
| 1 0 -1 |
| 0 0 -1 |
| 0 1 -1 |
i1=
2
Cone1=
| 0 0 -1 |
| 1 0 -1 |
| 0 1 -1 |
i1=
3
MatchingL=
{| 1 0 -1 |, | 0 0 -1 |}
 | 0 0 -1 |  | 1 0 -1 |
 | 0 1 -1 |  | 0 1 -1 |
i=
0
X1=
| 1 |
| 0 |
| 0 |
i=
0
X2=
| 0 |
| 1 |
| 0 |
r1=
2
r2=
2
X1=
| 1 |
| 0 |
| 0 |
X2=
| 0 |
| 1 |
| 0 |
j=
5
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |
i=
0
i in loop =
1
j in loop =
0
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
IN=
1
j=
0
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |
j in loop =
1
j=
0
dim(P)=
3
final value of j =
0
last part
4
Cone1=
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
i1=
0
Cone1=
| 1 0 -1 |
| 0 0 -1 |
| 0 1 -1 |
i1=
2
MatchingL=
{| 1 0 0 |, | 1 0 -1 |}
 | 0 1 0 |  | 0 0 -1 |
 | 0 0 1 |  | 0 1 -1 |
i=
1
X1=
| 0 |
| 1 |
| 0 |
i=
2
X2=
| -1 |
| -1 |
| -1 |
r1=
2
r2=
2
X1=
| 0 |
| 1 |
| 0 |
X2=
| -1 |
| -1 |
| -1 |
j=
1
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |
j in loop =
2
j=
0
dim(P)=
3
final value of j =
0
last part
4
Cone1=
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
i1=
0
Cone1=
| 1 0 -1 |
| 0 1 -1 |
| 0 0 -1 |
i1=
1
MatchingL=
{| 1 0 0 |, | 1 0 -1 |}
 | 0 1 0 |  | 0 1 -1 |
 | 0 0 1 |  | 0 0 -1 |
i=
2
X1=
| 0 |
| 0 |
| 1 |
i=
2
X2=
| -1 |
| -1 |
| -1 |
r1=
2
r2=
2
X1=
| 0 |
| 0 |
| 1 |
X2=
| -1 |
| -1 |
| -1 |
j=
2
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |
j in loop =
3
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
i in while loop=
1
IN=
1
j=
3
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |
j in loop =
4
j=
0
dim(P)=
3
final value of j =
0
last part
4
Cone1=
| 1 0 -1 |
| 0 1 -1 |
| 0 0 -1 |
i1=
1
Cone1=
| 1 0 -1 |
| 0 0 -1 |
| 0 1 -1 |
i1=
2
MatchingL=
{| 1 0 -1 |, | 1 0 -1 |}
 | 0 1 -1 |  | 0 0 -1 |
 | 0 0 -1 |  | 0 1 -1 |
i=
1
X1=
| 0 |
| 1 |
| 0 |
i=
1
X2=
| 0 |
| 0 |
| 1 |
r1=
2
r2=
2
X1=
| 0 |
| 1 |
| 0 |
X2=
| 0 |
| 0 |
| 1 |
j=
4
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |
j in loop =
5
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
i in while loop=
1
i in while loop=
2
IN=
1
j=
5
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |
i=
1
i in loop =
2
j in loop =
0
j=
0
dim(P)=
3
final value of j =
0
last part
4
Cone1=
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
i1=
0
Cone1=
| 0 0 -1 |
| 1 0 -1 |
| 0 1 -1 |
i1=
3
MatchingL=
{| 1 0 0 |, | 0 0 -1 |}
 | 0 1 0 |  | 1 0 -1 |
 | 0 0 1 |  | 0 1 -1 |
i=
0
X1=
| 1 |
| 0 |
| 0 |
i=
2
X2=
| -1 |
| -1 |
| -1 |
r1=
2
r2=
2
X1=
| 1 |
| 0 |
| 0 |
X2=
| -1 |
| -1 |
| -1 |
j=
0
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |
j in loop =
1
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
IN=
1
j=
1
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |
j in loop =
2
j=
0
dim(P)=
3
jin while loop=
1
final value of j =
1
last part
4
Cone1=
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
i1=
0
Cone1=
| 1 0 -1 |
| 0 1 -1 |
| 0 0 -1 |
i1=
1
MatchingL=
{| 1 0 0 |, | 1 0 -1 |}
 | 0 1 0 |  | 0 1 -1 |
 | 0 0 1 |  | 0 0 -1 |
i=
2
X1=
| 0 |
| 0 |
| 1 |
i=
2
X2=
| -1 |
| -1 |
| -1 |
r1=
2
r2=
2
X1=
| 0 |
| 0 |
| 1 |
X2=
| -1 |
| -1 |
| -1 |
j=
2
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |
j in loop =
3
j=
0
dim(P)=
3
final value of j =
0
last part
4
Cone1=
| 1 0 -1 |
| 0 1 -1 |
| 0 0 -1 |
i1=
1
Cone1=
| 0 0 -1 |
| 1 0 -1 |
| 0 1 -1 |
i1=
3
MatchingL=
{| 1 0 -1 |, | 0 0 -1 |}
 | 0 1 -1 |  | 1 0 -1 |
 | 0 0 -1 |  | 0 1 -1 |
i=
0
X1=
| 1 |
| 0 |
| 0 |
i=
1
X2=
| 0 |
| 0 |
| 1 |
r1=
2
r2=
2
X1=
| 1 |
| 0 |
| 0 |
X2=
| 0 |
| 0 |
| 1 |
j=
3
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       | 1 |  | 1 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |
j in loop =
4
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
i in while loop=
1
IN=
1
j=
4
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       | 1 |  | 1 -1 |       | 1 |  | 0 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |
j in loop =
5
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
i in while loop=
1
i in while loop=
2
i in while loop=
3
IN=
1
j=
5
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       | 1 |  | 1 -1 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |
i=
2
i in loop =
3
j in loop =
0
j=
0
dim(P)=
3
jin while loop=
1
final value of j =
1
last part
4
Cone1=
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
i1=
0
Cone1=
| 0 0 -1 |
| 1 0 -1 |
| 0 1 -1 |
i1=
3
MatchingL=
{| 1 0 0 |, | 0 0 -1 |}
 | 0 1 0 |  | 1 0 -1 |
 | 0 0 1 |  | 0 1 -1 |
i=
0
X1=
| 1 |
| 0 |
| 0 |
i=
2
X2=
| -1 |
| -1 |
| -1 |
r1=
2
r2=
2
X1=
| 1 |
| 0 |
| 0 |
X2=
| -1 |
| -1 |
| -1 |
j=
0
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       | 1 |  | 1 -1 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |                    | 0 |  | 1 0 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 1 |  | 0 1 |
j in loop =
1
j=
0
dim(P)=
3
jin while loop=
1
final value of j =
1
last part
4
Cone1=
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
i1=
0
Cone1=
| 1 0 -1 |
| 0 0 -1 |
| 0 1 -1 |
i1=
2
MatchingL=
{| 1 0 0 |, | 1 0 -1 |}
 | 0 1 0 |  | 0 0 -1 |
 | 0 0 1 |  | 0 1 -1 |
i=
1
X1=
| 0 |
| 1 |
| 0 |
i=
2
X2=
| -1 |
| -1 |
| -1 |
r1=
2
r2=
2
X1=
| 0 |
| 1 |
| 0 |
X2=
| -1 |
| -1 |
| -1 |
j=
1
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       | 1 |  | 1 -1 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 1 |  | 0 1 |       | 1 |  | 0 1 |
j in loop =
2
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
IN=
1
j=
2
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       | 1 |  | 1 -1 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 1 |  | 0 1 |       | 1 |  | 0 1 |       | 1 |  | 0 0 |
j in loop =
3
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
i in while loop=
1
i in while loop=
2
i in while loop=
3
IN=
1
j=
3
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       | 1 |  | 1 -1 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 1 |  | 0 1 |       | 1 |  | 0 1 |       | 1 |  | 0 0 |       | 1 |  | 0 -1 |
j in loop =
4
j=
0
dim(P)=
3
jin while loop=
1
jin while loop=
2
final value of j =
2
i in while loop=
1
i in while loop=
2
IN=
1
j=
4
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       | 1 |  | 1 -1 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 1 |  | 0 1 |       | 1 |  | 0 1 |       | 1 |  | 0 0 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |
j in loop =
5
j=
0
dim(P)=
3
final value of j =
0
last part
4
Cone1=
| 1 0 -1 |
| 0 0 -1 |
| 0 1 -1 |
i1=
2
Cone1=
| 0 0 -1 |
| 1 0 -1 |
| 0 1 -1 |
i1=
3
MatchingL=
{| 1 0 -1 |, | 0 0 -1 |}
 | 0 0 -1 |  | 1 0 -1 |
 | 0 1 -1 |  | 0 1 -1 |
i=
0
X1=
| 1 |
| 0 |
| 0 |
i=
0
X2=
| 0 |
| 1 |
| 0 |
r1=
2
r2=
2
X1=
| 1 |
| 0 |
| 0 |
X2=
| 0 |
| 1 |
| 0 |
j=
5
inside L
{(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1), new divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1)}
  | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1 |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |                    | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       | 1 |  | 1 -1 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |                    | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       | 0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |
  | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |                    | 1 |  | 0 1 |       | 1 |  | 0 1 |       | 1 |  | 0 0 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |       | 1 |  | 1 -1 |
i=
3

o13 = {(| -1 |, | 0 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1 |, | 1 0 |, 1), (| -1
        | -1 |  | 1 0 |       | -1 |  | 0 0 |       | -1 |  | 0 1 |       | -1
        | -1 |  | 0 1 |       | -1 |  | 0 1 |       | -1 |  | 0 0 |       | -1
      --------------------------------------------------------------------------
      |, | 0 -1 |, 1), (| -1 |, | 1 -1 |, 1), (| -1 |, | 0 -1 |, 1), new
      |  | 1 -1 |       | -1 |  | 0 -1 |       | -1 |  | 0 -1 |         
      |  | 0 -1 |       | -1 |  | 0 -1 |       | -1 |  | 1 -1 |         
      --------------------------------------------------------------------------
      divisor, (| 1 |, | 0 0 |, 1), (| 1 |, | 1 0 |, 1), (| 1 |, | 1 0 |, 1), (|
                | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       |
                | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       |
      --------------------------------------------------------------------------
      1 |, | 0 -1 |, 1), (| 1 |, | 1 -1 |, 1), (| 1 |, | 0 -1 |, 1), new
      0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |         
      0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |         
      --------------------------------------------------------------------------
      divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (|
                | 1 |  | 1 0 |       | 1 |  | 0 0 |       | 1 |  | 0 1 |       |
                | 0 |  | 0 1 |       | 0 |  | 0 1 |       | 0 |  | 0 0 |       |
      --------------------------------------------------------------------------
      0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1), new
      1 |  | 1 -1 |       | 1 |  | 0 -1 |       | 1 |  | 0 -1 |         
      0 |  | 0 -1 |       | 0 |  | 0 -1 |       | 0 |  | 1 -1 |         
      --------------------------------------------------------------------------
      divisor, (| 0 |, | 0 0 |, 1), (| 0 |, | 1 0 |, 1), (| 0 |, | 1 0 |, 1), (|
                | 0 |  | 1 0 |       | 0 |  | 0 0 |       | 0 |  | 0 1 |       |
                | 1 |  | 0 1 |       | 1 |  | 0 1 |       | 1 |  | 0 0 |       |
      --------------------------------------------------------------------------
      0 |, | 0 -1 |, 1), (| 0 |, | 1 -1 |, 1), (| 0 |, | 0 -1 |, 1), new
      0 |  | 1 -1 |       | 0 |  | 0 -1 |       | 0 |  | 0 -1 |
      1 |  | 0 -1 |       | 1 |  | 0 -1 |       | 1 |  | 1 -1 |
      --------------------------------------------------------------------------
      divisor}

o13 : List

i14 :