At the moment, RotationGroupFpGroup works for infinite chiral polytopes that are built using RotaryManiplex(symbol, relations), but it will fail for other infinite chiral polytopes. (For example, ones described as a quotient of a reflexible maniplex.)
Eventually we should fix this, but it's low-priority for now because it's pretty hard to get infinite chiral polytopes in RAMP right now.
At the moment, RotationGroupFpGroup works for infinite chiral polytopes that are built using RotaryManiplex(symbol, relations), but it will fail for other infinite chiral polytopes. (For example, ones described as a quotient of a reflexible maniplex.)
Eventually we should fix this, but it's low-priority for now because it's pretty hard to get infinite chiral polytopes in RAMP right now.