Pensieve header: Testing ConciseFastKh.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2013-06"];
<< ConciseFastKh.m

EC[{{1,2},{2,3},{4,5},{2,7},{7,6}}]

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

EC[S[{1,2}, {3,4}], S[{2,3},{1,4}]]

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

{S[{1,2},{3,4}],S[{2,3},{1,4}]}

EC[β, τ]

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

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

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

VCLaw[β,μ,τ]