search

SupposeNot / RAMP

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

ChiralityGroup bug #164

Closed CunningGabe closed 2 years ago

CunningGabe commented 2 years ago 
gap> M2 := RotaryManiplex([4,4,3], "s2^-1 s1 (s2 s1^-1)^2");
RotaryManiplex([ 4, 4, 3 ], "s2^-1 s1 (s2 s1^-1)^2")
gap> Size(M2);
240
gap> R2 := SmallestReflexibleCover(M2);
reflexible 4-maniplex
gap> Size(R2);
14400
gap> 14400/240;
60
gap> XM := ChiralityGroup(M2);
Group([ s2^-1*s1^-1*s2*s1^3*s2*s1 ])
gap> Size(XM);
5

This is inconsistent - the chirality group should have order 60. It sort of looks like the chirality group is being considered as a subgroup of the facet group only. I'll take a look.

CunningGabe commented 2 years ago

Fixed in b9eb6265e9e9451859bb65022c71925907a2db60. I had forgotten to take the normal closure of the appropriate group.