Pensieve header: Failed $G$ - $G-I$ experiments.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\APAI"];

Once[<<KnotTheory`; <<Rot.m];

(Subscript[R, 1])[s_,i_,j_]:=s((Subscript[g, j,i])((Subscript[g, (SuperPlus[j]),j])+(Subscript[g, j,(SuperPlus[j])])-(Subscript[g, i,j]))-(Subscript[g, i,i])((Subscript[g, j,(SuperPlus[j])])-1)-1/2);
ρ[K_]:=ρ[K]=Module[{Cs,φ,n,A,s,i,j,k,Δ,G,ρ1},
{Cs,φ}=Rot[K]; n=Length[Cs];
A=IdentityMatrix[2n+1];
Cases[Cs,{s_,i_,j_}:>(A[[{i,j},{i+1,j+1}]]+=(({{-(T^s), (T^s)-1}, {0, -1}})))];
Δ=(T^((-Total[φ]-Total[Cs[[All,1]]])/2))Det[A];
G=Inverse[A];
ρ1=(∑_(k=1)^n)(Subscript[R, 1])@@Cs[[k]] - (∑_(k=1)^(2n))φ[[k]]((Subscript[g, k,k])-1/2);
Factor@{Δ,(Δ^2)ρ1/.(SuperPlus[α_]):>α+1/.(Subscript[g, α_,β_]):>G[[α,β]]}];

CompareMatrices[A_,B_]:=Grid[
MapThread[Column@*List,{A,B} /. 0->"",2],
Frame->All,ItemSize->All
]

GGI[K_] := Module[{Cs,φ,n,A,α,β,k,s,i,j,G},
{Cs,φ}=Rot[K]; n=Length[Cs];
A=IdentityMatrix[2n+1];
For[k=1,k<=n,k++,
{s,i,j}=Cs[[k]];
A[[{i,j},{i+1,j+1}]]+=(({{-(T^s), (T^s)-1}, {0, -1}}))
];
G=Inverse[A];
CompareMatrices[A,Factor@Inverse[G-IdentityMatrix[2n+1]]]
]

GGI[Knot[3,1]]