DeclareGroup[(Subscript[S, 3])]

$CIS=Range[6]

(Subscript[R, 1,3])

(Subscript[R, 1,3])//(Subscript[Δ, 1->1,2])//Short

(Subscript[R, 2,3])(Subscript[R, 1,4])//(Subscript[m, 3,4->3])//Short

((Subscript[R, 1,3])//(Subscript[Δ, 1->1,2]) )-( (Subscript[R, 2,3])(Subscript[R, 1,4])//(Subscript[m, 3,4->3]))

HL[((Subscript[R, 1,3])//(Subscript[Δ, 1->1,2]) )==( (Subscript[R, 2,3])(Subscript[R, 1,4])//(Subscript[m, 3,4->3]))]