shadowslice e
Member
You can generate solutions with slice moves in it, but you need to enable this by selecting the "allow slice moves" option.Does it throw out M moves?
Sent from my CLT-L09 using Tapatalk
You can generate solutions with slice moves in it, but you need to enable this by selecting the "allow slice moves" option.Does it throw out M moves?
Sent from my CLT-L09 using Tapatalk
Thank you for answering.In effect, the last apostrophe does nothing because it's not recognised as being attached to any move.
S48 = SymmetricGroup (48)
R=S48(" (25 ,27 ,32 ,30)(26 ,29 ,31 ,28)(3 ,38 ,43 ,19)(5 ,36 ,45 ,21)(8 ,33 ,48 ,24) ")
L=S48(" (9 ,11 ,16 ,14)(10 ,13 ,15 ,12)(1 ,17 ,41 ,40)(4 ,20 ,44 ,37)(6 ,22 ,46 ,35) ")
U=S48(" (1 ,3 ,8 ,6)(2 ,5 ,7 ,4)(9 ,33 ,25 ,17)(10 ,34 ,26 ,18)(11 ,35 ,27 ,19) ")
D=S48(" (41 ,43 ,48 ,46)(42 ,45 ,47 ,44)(14 ,22 ,30 ,38)(15 ,23 ,31 ,39)(16 ,24 ,32 ,40) ")
F=S48(" (17 ,19 ,24 ,22)(18 ,21 ,23 ,20)(6 ,25 ,43 ,16)(7 ,28 ,42 ,13)(8 ,30 ,41 ,11) ")
B=S48(" (33 ,35 ,40 ,38)(34 ,37 ,39 ,36)(3 ,9 ,46 ,32)(2 ,12 ,47 ,29)(1 ,14 ,48 ,27) ")
print(R*U) #(1,3,38,43,11,35,27,32,30,17,9,33,48,24,6)(2,5,36,45,21,7,4)(8,25,19)(10,34,26,29,31,28,18)
print(R*U*U^-1*R^-1) #()
#(FRUR'U'F') (FRUR'U'F')'
(F*R*U*R^-1*U^-1*F^-1)*(F*R*U*R^-1*U^-1*F^-1)^-1 #()
#(FRUR'U'F')'
print((F*R*U*R^-1*U^-1*F^-1)^-1) #(1,3,9,33,35,27)(2,5,18)(6,8,11,19,17,25)(7,34,26)
#(FURU'R'F')
print((F*U*R*U^-1*R^-1*F^-1)) #(1,3,9,33,35,27)(2,5,18)(6,8,11,19,17,25)(7,34,26)
print(((F*R*U*R^-1*U^-1*F^-1)^-1)==(F*U*R*U^-1*R^-1*F^-1)) #True
Yes I think this matches with the definition of inverse.Are my assumptions correct, when I wrote the following?
"Now I thought, the inverse of FRUR'U'F' can be written as
(FRUR'U'F')' and this would be the same as FURU'R'F'.
and (FRUR'U'F') (FRUR'U'F')' should yield Identity"
The last apostrophe does NOT nothing in CE.
(FRUR'U'F')'
does the same as (FRUR'U'F')3
which is the same as (FRUR'U'F')(FRUR'U'F')(FRUR'U'F')
Ah, interesting. I stand corrected.The last apostrophe does NOT nothing in CE.
(FRUR'U'F')'
does the same as (FRUR'U'F')3
which is the same as (FRUR'U'F')(FRUR'U'F')(FRUR'U'F')
oh yeah that makes a lot more sense.Ah, interesting. I stand corrected.
CE does seem to support bracketing (so e.g. "(R y)1260" works as you'd expect), but the apostrophe is being parsed as equivalent to 3. Probably because for normal moves inverting and power-3 are the same thing, an assumption that breaks down for arbitrary sequences.
What an interesting find! Glad @CubeExplorer posted about the confusion. :-DAh, interesting. I stand corrected.
CE does seem to support bracketing (so e.g. "(R y)1260" works as you'd expect), but the apostrophe is being parsed as equivalent to 3. Probably because for normal moves inverting and power-3 are the same thing, an assumption that breaks down for arbitrary sequences.
Hmm, neither alg.cubing.net nor Twizzle have ever used Java. But Twizzle especially (which I linked to) relies on newer browser features, so unfortunately breaking in Windows XP is pretty expected. :-/Thank you, Lucas for your suggestion.
Alg does not work on this old windows xp machine wihout java, im operating here. So I can not say much. I will try it later on another machine.
https://github.com/hkociemba/CubeExplorer/blob/ee7772e2da38d6538dedd3b158b6277ae3eb144e/RubikMain.pasCubeExplorer/FaceCube.pas at b759a797655bb14e952555add0167ee541ce30d0 · hkociemba/CubeExplorer
A program about Rubik's Cube with a lot of features. - hkociemba/CubeExplorergithub.com
(R U' F B2 D)2'1'
gets preprocessed into (R U3 F B2 D)2313
.It would be great if CubeExplorer weren't written in... Pascal and PHP
Should be this. Replaces apostrophe and hyphen with the digit '3', then later parses it as an integer. So e.g.(R U' F B2 D)2'1'
gets preprocessed into(R U3 F B2 D)2313
.
Thank you again, Lucas. Its interesting background info to me.... neither alg.cubing.net nor Twizzle have ever used Java. But Twizzle especially (which I linked to) relies on newer browser features, so unfortunately breaking in Windows XP is pretty expected. :-/
print('(F*R*U*Ri*Ui*Fi)*U^2*(F*R*U*Ri*Ui*Fi)*U^2 ==',(F*R*U*Ri*Ui*Fi)*U^2*(F*R*U*Ri*Ui*Fi)*U^2)
# (F*R*U*Ri*Ui*Fi)*U^2*(F*R*U*Ri*Ui*Fi)*U^2 == (4,7,26)(5,10,18)
print(((F*R*U*Ri*Ui*Fi)*U^2*(F*R*U*Ri*Ui*Fi)*U^2) == (F*R*U*Ri*Ui*Fi *U^2* F*R*U*Ri*Ui*Fi *U^2))
# True
CE wrong:
(FRUR'U'F')U2(FRUR'U'F')U2
CE OK:
FRUR'U'F' U2 FRUR'U'F' U2
Did you try putting spaces in between moves? I think it's customary to put a space in between every move.Thank you again, Lucas. Its interesting background info to me.
Anyway my original confusion concerning the inversion of a maneuver ist cleared now. The using of sage did help a lot.
Looking for a visual representation of the algebraic output of sage I put this into Cube Explorer Program and I found a surprising result again.
Maybe the brackets have a different meaning in CE, but I could not find Info to this point.Code:print('(F*R*U*Ri*Ui*Fi)*U^2*(F*R*U*Ri*Ui*Fi)*U^2 ==',(F*R*U*Ri*Ui*Fi)*U^2*(F*R*U*Ri*Ui*Fi)*U^2) # (F*R*U*Ri*Ui*Fi)*U^2*(F*R*U*Ri*Ui*Fi)*U^2 == (4,7,26)(5,10,18) print(((F*R*U*Ri*Ui*Fi)*U^2*(F*R*U*Ri*Ui*Fi)*U^2) == (F*R*U*Ri*Ui*Fi *U^2* F*R*U*Ri*Ui*Fi *U^2)) # True CE wrong: (FRUR'U'F')U2(FRUR'U'F')U2 CE OK: FRUR'U'F' U2 FRUR'U'F' U2
I post it here, because I will notify Herbert Kociemba with a link to this thread.
Thanks for the hint. Could not find anything like this in the help file.Did you try putting spaces in between moves? I think it's customary to put a space in between every move.
(FRUR'U'F') U2(FRUR'U'F') U2
FRUR'U'F'U2FRUR'U'F'U2
Both lines work well.
Thank you for the answer. Its good to know this.My program does not support bracketing at all.
I have the same problem but the article just doesnt appear
Yes, CubeExplorer doesn't use a mainstream programming language. And it is a pity that we cannot compile CubeExplorer so that we cannot contribute to this project. https://github.com/hkociemba/CubeExplorer/issues/1It would be great if CubeExplorer weren't written in... Pascal and PHP