search

SupposeNot / RAMP

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

Optimize the bicontactual regular maps #168

Open CunningGabe opened 2 years ago

CunningGabe commented 2 years ago

Even though the bicontactual regular maps are "small", they are defined via a long relator, and so many operations with the fpGroup are really slow. My guess is that the action of the automorphism group on flags is easy to define in general, so we can add that to maniplex when it is built.

[Even if we are not interested in bicontactual regular maps per se, they make up a lot of the data of SmallReflexibleManiplexes, and so I keep bumping into them.]

SupposeNot commented 2 years ago

There is a larger revision that needs to be done to these, involving figuring out how to get the generators and relations description working, and probably replacing that code here. I'll work on it.