Status
Not open for further replies.
y [U: M',UR2U'] --> y U M' U R2 U' M U R2 U2
A little pedantic, but if you're using my extended notation, then [U: M', UR2U'] (= [U; M', R2]) = [U M' U', U R2 U'] = U M U' U R2 U' U M U' U R2 U' --> identity

(The reason is that it's really common to conjugate an inner part of the commutator; conjugating an entire alg is larger scope, for which the semicolon is a stronger separation: [U; M' ,UR2U'] )
 
A little pedantic, but if you're using my extended notation, then [U: M', UR2U'] (= [U; M', R2]) = [U M' U', U R2 U'] = U M U' U R2 U' U M U' U R2 U' --> identity

(The reason is that it's really common to conjugate an inner part of the commutator; conjugating an entire alg is larger scope, for which the semicolon is a stronger separation: [U; M' ,UR2U'] )

Ah, ok. Thanks for the correction.
 
IS there any alg for the Dot case(2 look OLL) quicker than F(RUR'U')F' f(RUR'U')f'? (F' and f' kill me)

You can avoid the dot cases. When you are on your last pair and you don't see any oriented edges, just use the insert R' F R F' and then you will get a better OLL.
 
You can avoid the dot cases. When you are on your last pair and you don't see any oriented edges, just use the insert R' F R F' and then you will get a better OLL.

This doesn't work for R U R' cases. Well, technically it still does, but it adds extra moves while orienting only two edges, so that you might as well just use a ZBF2L alg.
 
Status
Not open for further replies.
Back
Top