Re: [sage-devel] SymmetricGroup.word_problem returns incorrect result

2019-10-04 Thread Chase Meadors
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)')

Re: [sage-devel] SymmetricGroup.word_problem returns incorrect result

2019-10-04 Thread Frédéric Chapoton
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

Re: [sage-devel] SymmetricGroup.word_problem returns incorrect result

2019-10-04 Thread Chase Meadors
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

Re: [sage-devel] SymmetricGroup.word_problem returns incorrect result

2019-10-04 Thread David Joyner
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] =

Re: [sage-devel] SymmetricGroup.word_problem returns incorrect result

2019-10-04 Thread Chase Meadors
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, ...,

Re: [sage-devel] SymmetricGroup.word_problem returns incorrect result

2019-10-04 Thread Dima Pasechnik
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:

[sage-devel] Building sage 8.9 from source on macOS Mojave fail

2019-10-04 Thread E Poen
I wanted to build sage 8.9 on my Mac which runs Mojave 10.14.6, however it fails when building R. I configured it with the plain ./configure command, When it builds I get the following error: mkdir ../../../../library/tools/libs installing 'sysdata.rda' dyld: lazy symbol binding failed:

[sage-devel] SymmetricGroup.word_problem returns incorrect result

2019-10-04 Thread Chase Meadors
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