Pensieve header: Testing ConciseFastKh.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2013-06\\Archive"];
<< KnotTheory`
<< "ConciseFastKh-130626-0938.m"
<< "../ConciseFastKh-Utilities.m"

c1=Cob[S[P[1,2], P[3,4]], S[P[2,3],P[1,4]], dot[1]]

{ECP[S[P[1,2], P[3,4]], S[P[2,3],P[1,4]]], ECR[S[P[1,2], P[3,4]], S[P[2,3],P[1,4]]]}

{β=S[P[1,2], P[3,4]], τ=S[P[2,3],P[1,4]]}

{ECP[β, τ], ECR[β, τ]}

{β=S[P[1,2],P[3,12],P[4,11],P[5,10],P[6,9],P[7,8]],τ=S[P[1,10],P[2,9],P[3,8],P[4,7],P[5,6],P[11,12]],μ=S[P[1,12],P[2,11],P[3,10],P[4,9],P[5,8],P[6,7]]}

{ECP[β,τ], ECP[β,μ], ECP[μ,τ], ECP[β,τ,μ]}

{β /@ Range[4], τ /@ Range[4]}

VCLaw[β,μ,τ]

{β, m[4,11][β], m[1,5][β]}

{β, m[4,11][Q[2]β], m[1,5][Q[3]β]}

Cob[S[P[1,2], P[3,4]], S[P[1,2],P[3,4]], dot[1]] // m[2,3]

Cob[S[P[1,2], P[3,4]], S[P[1,2],P[3,4]], dot[2]] // m[2,3]

Cob[S[P[1,2], P[3,4]], S[P[1,2],P[3,4]], dot[3]] // m[2,3]

Cob[S[P[1,2], P[3,4]], S[P[1,2],P[3,4]], dot[4]] // m[2,3]

Vect[Q[1]S[P[i,j],P[k,l]]]⊗Vect[Q[2]S[P[i,l],P[j,k]]]

Kom[{{S[]}},{}]Cob[S[P[9,10],P[11,12]],  Q[1]S[P[9,12],P[10,11]],1]

KhPoly[Knot[3,1]]

Kh[Knot[3,1]][q,t]

KhPoly[Knot[6,2]]

Kh[Knot[6,2]][q,t]

KhPoly[Knot[8,17]]  // Timing

Kh[Knot[8,17]][q,t]

KhPoly[Knot[10,165]]  // Timing

Kh[Knot[10,165]][q,t]

KhPoly[TorusKnot[6,5]] // Timing

KhPoly[TorusKnot[9,5]] // Timing

KhPoly[TorusKnot[7,6]] // Timing

((#-> KhPoly[#]==Kh[#][q,t]& /@ AllKnots[8])) // Timing

KhComplex[Knot[8,21]] // Show

(Plus @@ (KhPoly[#]==Kh[#][q,t]& /@ AllKnots[{3,10}])) // Timing

(Plus @@ (KhPoly[#]==Kh[#][q,t]& /@ AllKnots[11])) // Timing