Add suggestion of representation for GrpLazy, e.g. when calling Grp.fromGenerators.
Closed this issue · 1 comments
denisrosset commented
This is to avoid recomputation of representations from generators in code where the representation is fixed.
denisrosset commented
Done by 1f93d2d.