Pensieve header: Studying Chterental’s ker(ψ) virtual braid.

SetDirectory@"C:\\drorbn\\AcademicPensieve\\Projects\\OU";
<< "OU-Programs.m"

From Chterental’s arXiv:1411.6313:

{b1a=VPB[4,bm[3,2], bp[1,2]],
b1b=VPB[4,Sequence@@b1a[[-1;;2;;-1]]]}
{b1c,b1d}={b1a,b1b}/.{(OverBar[σ])->σ,σ->(OverBar[σ])}

(OverBar[Γ])/@{b1a,b1b,b1c,b1d}

ExtractionGraph/@{b1a,b1b,b1c,b1d}

{b3a=VPB[4,bm[3,2], bp[1,2],bm[4,2],bp[3,2],bm[1,2],bp[4,2]],
b3b=VPB[4,Sequence@@b3a[[-1;;2;;-1]]]}
{b3c,b3d}={b3a,b3b}/.{(OverBar[σ])->σ,σ->(OverBar[σ])}

Column[(OverBar[Γ])/@{b3a,b3b,b3c,b3d}]

ExtractionGraph/@{b3a,b3b,b3c,b3d}