Closed dvberkel closed 6 years ago
At the moment we only check if the stabilizer isn't the identity. But we should check that it isn't already contained in the Stabilizer group.
For now we could settle for checking it is different than the others
At the moment we only check if the stabilizer isn't the identity. But we should check that it isn't already contained in the Stabilizer group.