Pensieve header:  Testing if BabyDoPeGDO separates as $\rho1$ and $\rho2$. Time: 8757.94.

Date[]

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\BabyDoPeGDO"];
<<Engine.m
<<Objects.m
<<KT.m

BeginProfile[];
PopupWindow[Button["Show Profile Monitor"],Dynamic[PrintProfile[], UpdateInterval->3, TrackedSymbols->{}]]

$k=1

NewBit[K_]:=Module[{Alex=Alexander[K][T]},
(T^3)((Alex^2)/(T-1))Z[K][[3,2]]//Factor]

NewBit/@AllKnots[{3,5}]

(*Two knots with equal Alexander, new bit does not agree*)
Alexander[Knot[6,1]]==Alexander[Knot[9,46]]
Timing[NewBit[Knot[6,1]]==NewBit[Knot[9,46]]]

equiv={Knot[10,106],Knot[12,NonAlternating,369]};
Length@Union[Z/@equiv]

equiv={Knot[12,Alternating,427],Knot[12,Alternating,435],Knot[12,Alternating,990]};
Length@Union[Z/@equiv]

$k=2

equiv={Knot[10,106],Knot[12,NonAlternating,369]};
Length@Union[Z/@equiv]

equiv={Knot[12,Alternating,427],Knot[12,Alternating,435],Knot[12,Alternating,990]};
Length@Union[Z/@equiv]

PrintProfile[]

Date[]

equiv={Knot[12,NonAlternating,60],Knot[12,NonAlternating,61],Knot[12,NonAlternating,219]};
Length@Union[Z/@equiv]

PrintProfile[]

Date[]

8757.94-6486.63