search

SupposeNot / RAMP

Research Assistant for Maps and Polytopes
4 stars 0 forks source link

Bug with EnantiomorphicForm #149

Closed CunningGabe closed 2 years ago

CunningGabe commented 2 years ago

gap> M := ToroidalMap44([1,2],[-2,1]); 3-polytope with 40 flags gap> IsChiral(M); true gap> M2 := EnantiomorphicForm(M); RotaryManiplex([ 4, 4 ], "(s2^-1*s1^-2)^2,s1*(s2^-1*s1^-2)^2*s1^-1,s1^4,s1^3*s2*s1*s2^-1*(s1^-2*s2^-1*s1^-1)^2*s1^-2,s\ 1^3*s2*s1^2*s2^-1*s1^-3*s2^-1*s1^-2,s1^3*s2*(s1^-2*s2^-1*s1^-1)^2*s1^-1,(s1^-1*s2^-1*s1^-1)^2*s1^-1*s1,(s1^-2*s2^-1)^2\ *s1^-2*s1^2,s1^-2*s1^2*s2*(s1*s2^-1*s1^-2*s1)^2,s1^-2*s1^2*s2*s1^2*(s2^-1*s1^-3)^2,s1^-2*(s1^2*s2*s1)^2*s1*s2^-1*s1^-2\ *s1,s1^-2*s1^2*s2*s1^-1*s2^-1*s1^-2*s1*s2^-1*s1^-2,s1^-1*s1^2*s2*s1*s2^-1*s1^-2*s1^2*s2^-1*s1^-2,s1^-1*s1^2*s2*s1^4*s2\ ^-1*s1^-2*s1,s1^-1*(s1^2*s2*s1)^2*s1*s2^-1*s1^-2,s1^-1*s1^2*s2*s1^-1*s2^-1*s1^-2*s1*s2^-1*s1^-3,(s1^-1*s1^2*s2)^2*s1*s\ 2^-1*s1^-3,s1^2*s2*s1*s2^-1*(s1^-2*s2^-1*s1^-1)^2*s1^-1,s1^2*s2*s1^4*s2^-1*s1^-2,s1^2*s2*(s1^-1*s2^-1*s1^-1)^2*s1^-1*s\ 1*s2^-1*s1^-2,(s1^2*s2*s1^-1)^2*(s2^-1*s1^-3)^2") gap> IsChiral(M2); false

My guess is that EnantiomorphicForm isn't working well with chiral maniplexes that were not built in terms of their rotation subgroups. I'll take a look.

After this is fixed, we can recheck #147.

CunningGabe commented 2 years ago

Fixed in 7a8ce0081877461c204256b55fe05b8ed282356e.