SetDirectory["C:\\drorbn\\AcademicPensieve\\2010-08"];
<< KnotTheory`
<< pA.m

pA[pd_PD] := Module[
{cd, res, vars},
cd = CircuitDiagram @@ (pd /. x_X :> If[PositiveQ[x], Xp@@x, Xm@@x]);
cd =cd /. {
Xp[i_,1,k_,l_] :> Xp[i,0,k,l],
Xp[i_,j_,1,l_] :> Xp[i,j,0,l],
Xm[i_,j_,1,l_] :> Xm[i,j,0,l],
Xm[i_,j_,k_,1] :> Xm[i,j,k,0]
};
res=Last[pA[cd]] /. {W[i_] :> i};
vars = Union[Cases[res, t[i_] :> i, Infinity]];
res /. Thread[(t/@ vars) -> (Array[t, {Length[vars]}])]
];
pA[other_] := pA[PD[other]]

Bor=Link["L6a4"];
Simplify[{pA[Bor], MultivariableAlexander[Bor][t]}]

wBor1=CircuitDiagram[
Xp[1,6,2,5], Xm[7,2,8,3], Xm[3,6,4,5], Xp[8,0,7,4]
]

pA[wBor1]

wBor2=CircuitDiagram[
Xp[1,6,2,5], Xp[2,8,3,7], Xm[3,6,4,5], Xm[4,8,0,7]
]

pA[wBor2]

wBor3=CircuitDiagram[
Xp[1,7,2,6], Xm[8,2,9,3], Xm[3,5,4,6], Xp[9,1,8,4]
]

pA[wBor3]

wBor4=CircuitDiagram[
Xp[1,7,2,6], Xp[2,9,3,8], Xm[3,5,4,6], Xm[4,9,1,8]
]

pA[wBor4]