• Welcome to the Speedsolving.com, home of the web's largest puzzle community!
    You are currently viewing our forum as a guest which gives you limited access to join discussions and access our other features.

    Registration is fast, simple and absolutely free so please, join our community of 40,000+ people from around the world today!

    If you are already a member, simply login to hide this message and begin participating in the community!

Commutator notation extension - [A,B,C]

Kirjava

Colourful
Joined
Mar 26, 2006
Messages
6,121
WCA
2006BARL01
YouTube
Visit Channel
While some extensions to the notation have been proposed in the past, this is a common group of algorithms and the notation is already somewhat being used.

I propose that [A,B,C] = [A,B] [B,C].

After expanding, a cancellation in the middle gives A B A' C B' C'.

For example, [l', RUR'U', r] is a common 4x4x4 last layer algorithm.

This notation can be extended further -

[A,B,C,D] = [A,B] [B,C] [C,D] = A B A' C B' D C' D'

but I am yet to find a use for it :)

Finally, just as [A,B]' = [B,A], [A,B,C]' = [C,B,A].
 

aronpm

Member
Joined
Sep 9, 2009
Messages
2,010
I like it. Probably wouldn't use it too often but being able to avoid typing out an entire cyclic shift is good enough for me :)

[F R', U2, R' F]
Ooh, that is a good use for this. I never thought of it before. I've only used it for 2*3 cycles and 5 cycles
 

Christopher Mowla

Premium Member
Joined
Sep 17, 2009
Messages
1,184
Location
Earth
YouTube
Visit Channel
I haven't seen that many algorithms that contain a product of two (or more) non-conjugated (or non shifted) commutators. Moreover, I have seen that algorithms for 2 3-cycle cases are just as brief (or even briefer) if handled with one commutator instead of 2. I think it would be much more useful to establish a notation extension that illustrates cyclic shifts rather than a product of two commutators.
 

Kirjava

Colourful
Joined
Mar 26, 2006
Messages
6,121
WCA
2006BARL01
YouTube
Visit Channel
I haven't seen that many algorithms that contain a product of two (or more) non-conjugated (or non shifted) commutators.

Are you sure? K4 makes heavy use of them.

Moreover, I have seen that algorithms for 2 3-cycle cases are just as brief (or even briefer) if handled with one commutator instead of 2.

Readability > conciseness.

I think it would be much more useful to establish a notation extension that illustrates cyclic shifts rather than a product of two commutators.

I mentioned this yesterday, but didn't see much use in it. Can you elaborate?

Do you have anything in mind? I think a single delimiter to denote the location of the shift could be a solution.
 

Christopher Mowla

Premium Member
Joined
Sep 17, 2009
Messages
1,184
Location
Earth
YouTube
Visit Channel
I mentioned this yesterday, but didn't see much use in it. Can you elaborate?
Well, the only real use I would see is showing the decomposition of an algorithm more effectively (even permutation or odd permutation). (Sure there are most likely move cancellations with these, but is it not so with the product of commutators? If the two commutators affect only one piece type each and there are no move cancellations between them, then they should be seen as two different algorithms, not one. Of course, I'm not saying you ever said this, but just for sake of argument).

Do you have anything in mind? I think a single delimiter to denote the location of the shift could be a solution.
I think a single delimiter is great too. No I don't have anything in mind to suggest, because honestly, I can't recall a single time when my suggestions were considered. I just like to post my opinion which usually gives people in the thread something to oppose...in doing so, "the people find direction." If you all do decide to do this (which I highly doubt, because the notations which are currently standard "shall not be modified" ), then I'm sure you all will agree on some symbol to use as a delimiter (I'm not going to waste my time...again).
 

Kirjava

Colourful
Joined
Mar 26, 2006
Messages
6,121
WCA
2006BARL01
YouTube
Visit Channel
no, I think you added the part about confusion without really thinking to add weight to your statement, then when pressed for an example came up with "I think I saw it once or twice in a random cubing thread or something. Not sure."

I didn't say that because it may not be true, but that mindset I had made your post humourous to read.
 

cubernya

Premium Member
Joined
May 8, 2011
Messages
2,076
Location
Central NY, US
Yeah, makes sense. My memory is fuzzy but I do remember seeing the notation once outside of this thread and being confused for a bit.

I believe Brest used it once in a reconstruction. If my memory serves me correct specifically it was on one of Maskow's blindfolded ones (and Maskow corrected him saying that he thought of the commutator differently)
 
Top