In 9.4 I have got the following incorrect output:
sage: G = PermutationGroup([[2,1,4,3,5],[2,3,4,5,1],[2,4,1,3,5]])
sage: G([1,3,5,4,2]).word_problem(G.gens())
x2^-1*x1^-1*x2*(x2*x1^-1)^2
[['(1,2,3,4,5)', -1], ['(1,2)(3,4)', -1], ['(1,2,3,4,5)', 1],
['((1,2,3,4,5)', 1], ['(1,2)(3,4)', 1]]
I think that's good, but it might be nice to include a minimal non-working
example:
Input
> G = SymmetricGroup(4)
> x = G("(1,2,3)")
> x.word_problem([ x ], False)
Produced output:
> ('x2^-2*x1^-2*x2^-1*x1^-1', 'x2^-2*(1,2,3)^-2*x2^-1*(1,2,3)^-1')
Expected output:
> ('x1', '(1,2,3)')
I have made a proposal to fix the behaviour in the ticket
https://trac.sagemath.org/ticket/28556
Please review.
Le vendredi 4 octobre 2019 20:23:31 UTC+2, Chase Meadors a écrit :
>
> Ah, your reply did let me understand how to get the result I actually
> want, and perhaps the docs should
Ah, your reply did let me understand how to get the result I actually want,
and perhaps the docs should reflect this / include an example:
Here is the problem one might want to solve:
Suppose one has a permutation group G, and some element x in G.
One wants to write x in terms of two other
On Fri, Oct 4, 2019 at 1:03 PM Chase Meadors wrote:
> Perhaps I misunderstand word_problem, but I thought that, given a list of
> group elements [g_1, ..., g_n] that generates a subgroup H, and x some
> element (hopefully!) in H, that,
>
> x.word_problem([ g_1, ..., g_n ])
>
Is [g1,...,gn] =
Perhaps I misunderstand word_problem, but I thought that, given a list of
group elements [g_1, ..., g_n] that generates a subgroup H, and x some
element (hopefully!) in H, that,
x.word_problem([ g_1, ..., g_n ])
would result in an expression (word) for x in terms of the generators g_1,
...,
On Fri, Oct 4, 2019 at 5:17 AM Chase Meadors wrote:
>
> Hi! I'm trying to write permutation group elements in terms of a given set of
> generators.
> However, the "word_problem" method appears to be giving me complete nonsense.
>
> Output of version():
> 'SageMath version 8.8, Release Date:
Hi! I'm trying to write permutation group elements in terms of a given set
of generators.
However, the "word_problem" method appears to be giving me complete
nonsense.
Output of version():
'SageMath version 8.8, Release Date: 2019-06-26'
Not sure if this is relevant, but this is running in a
