Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Restrict Size method for cyclic groups
This method needs to test whether a group element is the identity; but this can lead to an infinite recursion if the input is an fp group, as then this equality check may end up trying to compute the group size. This currently actually happens when all packages are loaded (with only the default set of filters, another Size method is selected for cyclic fp groups). We fix this by adding the `CanEasilyCompareElements` filter to the argument filters of the method. Strictly speaking, we'd also want to check for something like `CanEasilyComputerElementOrder`, but that doesn't exist.
- Loading branch information