search

SupposeNot / RAMP

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

Is something wrong with ChiralityGroup, or am I misusing it? #115

Closed Mixer2021 closed 2 years ago

Mixer2021 commented 2 years ago

M:=ToroidalMap44([2,0]); A:=AutomorphismGroup(M); a:=A.1A.2; b:=A.2A.3; H:=Group(a,b); M2:=RotaryManiplex(H); ChiralityGroup(M2);

CunningGabe commented 2 years ago

It looks like the problem is upstream - even AutomorphismGroup(M2) fails!

I think the problem might be groups.gi line 27 - I make g into an fpGroup, but it doesn't respect generators. (For example, using M2 above, I end up getting g as a group on 4 generators). I think what we want instead is to take the epimorphism from the universal rotation group and find the image of that as g, and then go from there. I don't have time to give that a try at the moment, so feel free :)

CunningGabe commented 2 years ago

Fixed in 6459185ebdf5ed21c11611826aa4a818cbbfa7c7 and 99431f63473fbc4df804da8f14b9b485d9977ba8. (Furthermore, you no longer have to do what you did - ToroidalMap44([2,0]) now knows that it is reflexible, without having to "rebuild" it)