SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\SL2Invariant"];
<< SL2Invariant.m

(Subscript[dS, i]) // Short

(Subscript[dS, i])//𝔼4 // Short

Timing[z3=Z[Knot[3,1]]]

𝔼4@z3

𝔼3@𝔼4@z3

HL[(𝔼3@𝔼4@z3)≡z3]