Ah, thanks!
On Thursday, August 11, 2022 at 4:12:34 PM UTC-4 trevor...@gmail.com wrote:
> There is a description/proposed fix of the problem on this trac ticket:
> https://trac.sagemath.org/ticket/34292
>
> On Thursday, August 11, 2022 at 12:44:59 PM UTC-7 keirh...@gmail.com
> wrote:
>
>> This
There is a description/proposed fix of the problem on this trac
ticket: https://trac.sagemath.org/ticket/34292
On Thursday, August 11, 2022 at 12:44:59 PM UTC-7 keirh...@gmail.com wrote:
> This code:
>
>
>
>
> *H = PermutationGroup([ [(1,2), (3,4)], [(5,6,7),(12,14,18)] ])kH =
> H.algebra(GF(2)
This code:
*H = PermutationGroup([ [(1,2), (3,4)], [(5,6,7),(12,14,18)] ])kH =
H.algebra(GF(2))[a, b] = H.gens()# Produces no coercion errorprint((kH(a) +
kH(b) + H.one())^2)# Produces a coercion error in all cases belowtry:
print((kH(a) + kH(b) + kH(kH.one()))^2)ex
Is the x you give in these examples the same x as above? I’m worried (maybe
needlessly) about if the x you give includes a summand of kH.one(). If the
x you give does not include a summand of one, then the behavior you
described is consistent with what I think the problem is. If the x in the
new ex
Thanks for this workaround. I was passing the group algebra to a function
and then accessing the base group like so:
kH.group()
Both of the following cause the coercion error:
kH.one() * x
kH.group().one() * x
But this works fine:
H.one()*x
I will just have to pass the original group along a
I can reproduce this on 9.7.beta7.
The problem is that the parent is not understood to be the same (even
though it clearly is). A workaround is:
sage: x = kH(a) + kH(b) + kH(H.one()); x
() + (5,6,7)(12,14,18) + (1,2)(3,4)
sage: x*x
(5,7,6)(12,18,14)
Here H.one() puts the one in the right pa
The Sage version I was using is 9.6.
On Friday, August 5, 2022 at 7:19:48 PM UTC-4 keirh...@gmail.com wrote:
> When I do this:
>
>
>
>
>
> *H = PermutationGroup([ [(1,2), (3,4)], [(5,6,7),(12,14,18)] ])kH =
> H.algebra(GF(2))[a, b] = H.gens()x = kH(a) + kH(b) + kH.one(); print(x)x*x*
>
> I get a
