Pensieve header: A Verification that the Bedlewo and the Kashaev Programs Agree.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Talks\\CMS-2112"]

Once[<< KnotTheory`]

MatrixSignature[A_]:=Total[Sign[Select[Eigenvalues[A],Abs[#]>(10^(-12))&]]];
Writhe[K_]:=Sum[If[PositiveQ[x],1,-1], {x,List@@PD@K}];

<< BedAndKas.m;

Sum[ω=(E^(I RandomReal[{0,2π}])); Bed[K,ω]==Kas[K,ω], {10}, {K,AllKnots[{3,10}]}]