A commutation is used to express a commutation of two statements.
The commutation of the commutatee «A» and the commutator «B» is specified as «B A B' A'» (assuming that a trailing «'» denotes the inversion of a statement).
Please note: Commutations are available only, if quarter turn face twists or permutations are enabled.
Tick this checkbox to enable support for commutations by the notation.
When this checkbox is ticked, then additional fields are shown below the checkbox.
Use these text fields to specify the keywords that denote the begin and the end of the commutator.
You must specify at least one keyword for each entry field.
If you enter multiple words in a text field, then each word represents a keyword. The first word in a text field is used by CubeTwister for output of scripts in this notation.
Please note: The keywords entered here may be ambiguous with the «Grouping Begin» and «Grouping End» keywords, if the «Position» of the conjugator is specified as «Enclosing».
Use these text fields to specify the delimiter that delimits the commutator from the commutatee.
This entry field is only in effect, If the commutator position is specified as «Enclosing». If the entry field is in effect, you must specify at least one keyword.
If you enter multiple words in a text field, then each word represents an admissible keyword. The first word in a text field is used by CubeTwister for output of scripts in this notation.
«Position» radio buttons:
Use these radio buttons to specify the location of the conjugator.
«Leading» denotes, that the commutator is prepended to the statement. «Trailing» denotes that the commutator is appended to the statement. If the position is specified as «Enclosing», then the commutator and the commutatee are enclosed by «Commutator Begin» and «Commutator End», and they are delimited by the «Delimiter».
Example 1:
If you fill in the text fields as shown in the table below, then «<B>A» denotes the commutation of commutatee «A» using the commutator «B».
Commutator Begin: | < | Commutator End: | > |
Delimiter: | Position: | leading |
If you fill in the text fields as shown in the table below, then «A<B>» denotes the commutation of commutatee «A» using the commutator «B».
Commutator Begin: | < | Commutator End: | > |
Delimiter: | Position: | trailing |
If you fill in the text fields as shown in the table below, then «<B::A>» denotes the commutation of commutatee «A» using the commutator «B».
Commutator Begin: | < | Commutator End: | > |
Delimiter: | :: | Position: | enclosing |