search

SupposeNot / RAMP

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

Change code that checks IsReflexibleAutomorphismGroupRep to use AutomorphismGroupFpGroup #122

Closed CunningGabe closed 2 years ago

CunningGabe commented 2 years ago

Some code (like Dual and Petrial) will check whether a maniplex is reflexible and built using its automorphism group with the standard presentation. We now have a better mechanism to handle this. AutomorphismGroupFpGroup will, for reflexible maniplexes at least, return a presentation in the standard form. So any code of the form:

if IsReflexibleAutomorphismGroupRep(M) then <do stuff with AutomorphismGroup(M)>

can be changed to

if IsReflexible(M) then <do stuff with AutomorphismGroupFpGroup(M)>

CunningGabe commented 2 years ago

Finished in 6a8183e54bebdd65433192a8fd8d83cc4030dd58.