I posted on the ticket a long debug of the issue, which comes down to a
subtlety with making copies of PermutationGroup_generic and its __dict__.
Best,
Travis
On Sunday, August 7, 2022 at 3:57:59 AM UTC+9 Trevor Karn wrote:
> Sorry of course the parent of kH(a) and kH.one() are the same. We do
Sorry of course the parent of kH(a) and kH.one() are the same. We do see
that the parents of the indexing elements are different despite being
mathematically the same:
sage: a.parent()
sage: list(kH.one().monomial_coefficients())[0].parent()
Permutation Group with generators [(5,6,7)(12,14,18),
