I know how commutators and conjugates work, I can read commutator notation such as [R', U] [R2: [F', U'] [R, F] ] (U'), but I have some doubts...
¿Can that decomposition be done with any algorithm? ¿Even with an entire solve? If it is possible, ¿how do you do it?
Thanks for your time