Many attributes have some optimizations from theory built in to help compute them. One convenient way to verify these calculations that works pretty well is something like this:
What I'd like is a command that takes a maniplex M and builds M2 := Maniplex(ConnectionGroup(M)), then checks all the known properties of M by recalculating them in M2.
Many attributes have some optimizations from theory built in to help compute them. One convenient way to verify these calculations that works pretty well is something like this:
gap> M := ToroidalMap44([2,0], [0,5]);; gap> HasIsPolytopal(M); true gap> IsPolytopal(M); true gap> M2 := Maniplex(ConnectionGroup(M));; gap> HasIsPolytopal(M2); false gap> IsPolytopal(M2); true
What I'd like is a command that takes a maniplex M and builds M2 := Maniplex(ConnectionGroup(M)), then checks all the known properties of M by recalculating them in M2.