Denis Rosset

Right now, `areConjugate`, `findConjugation`, `centralizer` assume that `g` (or `g1`, `g2`) are elements of `grp`. This can be relaxed by 1. Checking whether the provided elements are contained in the...

It's not a given that the action used to represent the group can represent the provided element as well.

by adding generators one by one to the orbit, and stopping as soon as the orbit is complete, then removing redundant generators in bulk. Cf. the symmetry group of the...

Observed in Faacets using the Chen2008 inequality for 5 outputs.

Probably not, some can keep closures (ex: LazyGroup with random element function). Before using serialization, an audit should be performed.

by detecting the subtype in the fromIterable, fromMap methods in generic and immutable factories.

especially for sorted sets, where the interface is trickier.

These are not been tested yet.