sbt run
presents commutator solutions for corner permutations
sbt console
loads a console with convenient imports
val p = Perm(1,2,3)(4,5,6) // creating a Perm
p * p
p.inverse
val alg = R.U.R3.U3 // Alternatively, use *
val comm = Comm(alg, D).conjBy(U2) // conjugated commutator
val cornerPerms = comm.state.corners.permutation
For additional commentary and examples, see my full presentation notes