众所周知,在彳亍法中,角块三轮换采取[A,B]=ABA’B’(即换位子(commutator))形式的公式。举个最简单的例子,角块第2组(C02)的OAK这一型,可采用[L2,U’ R’ U]=L2 U’ R’ U L2 U’ R U 或 [B R2 B', L2]= B R2 B' L2 B R2 B' L2 来解决。(换位子原理是编写盲拧公式的常识,不懂此原理的读者请自行阅读相关文章,此处不再赘述。)
大家知道,彳亍法中,角块8步换位子均为[A,[B:C]]=[A, BCB’ ]=ABCB’A’BC’B’ 的形式。例如,上面已提到,角块第2组(C02)的OAK可用2种8步三轮换解决,它们分别为 [L2,[U’:R’]]=L2 U’ R’ U L2 U’ R U 与 [[B:R2], L2]= B R2 B' L2 B R2 B' L2。(再次提示,请不明白上面两个公式的编写方法的读者先阅读关于换位子的文章。)
OGJ [x:B2] = [x:[D2,[R’:U’]]] = x D2 R’ U’ R D2 R’ U R x’
OGJ [x’z’:B1] = [x’z’:[L2,[U’:R’]]] = x’z’ L2 U’ R’ U L2 U’ R’ U zx
OGJ [y’z’:A1] = [y’z’:[[R:U2],D2]]] = y’z’ R U2 R' D2 R U2 R' D2 zy
OGJ [yz’:A2] = [yz’:[[R:D2],U2]] = yz’ R D2 R’ U2 R D2 R’ U2 zy’