Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On 02/02/2017 11:51 AM, Martin Baker wrote: > When I'm working on a given subject area, say AlgTop, I like to have a > small flat directory with all the working files in one place so I can > just type things like: > )co gpresent > )r gpresent > )r someLocalTest > )co gpresentOldVersion > That is,

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On 02/02/2017 10:11 AM, oldk1331 wrote: Hi Martin, because you don't commit to fricas directly, you have to merge the changes back to your master branch, that causes problem when Waldek commits a slightly different version of your patch. And your master branch history will be messy. The

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Hi Martin, because you don't commit to fricas directly, you have to merge the changes back to your master branch, that causes problem when Waldek commits a slightly different version of your patch. And your master branch history will be messy. The solution is to use feature branch and rebase

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On 02/01/2017 11:17 PM, Kurt Pagani wrote: Hi Martin Running the risk to give false alarm again, I can't compile gpresent.spad after your merge with trunk. Neither after removing the surplus paren on line 1467 : + relatorTables(state,rs)) Hi Kurt, Thank you for letting me know about that,

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Hi Martin Running the risk to give false alarm again, I can't compile gpresent.spad after your merge with trunk. Neither after removing the surplus paren on line 1467 : + relatorTables(state,rs)) On Tuesday, 31 January 2017 20:41:20 UTC+1, Kurt Pagani wrote: > > I pulled (fresh clone) from

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

I pulled (fresh clone) from https://github.com/martinbaker/fricasAlgTop but forgot to update permgrp :( Sorry! On Tuesday, 31 January 2017 19:55:54 UTC+1, Martin Baker wrote: > > On 01/31/2017 06:33 PM, Waldek Hebisch wrote: > > Kurt Pagani wrote: > >> > >> @Martin: gpresent.input now

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On 01/31/2017 06:33 PM, Waldek Hebisch wrote: Kurt Pagani wrote: @Martin: gpresent.input now reports: unexpected failures: 3 relationsInGenerator? Which ones? For ma all tests passed. Note: you need to use latest version of both: gpresent.spad permgrps.spad If I update gpresent but not

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Kurt Pagani wrote: > > @Martin: gpresent.input now reports: unexpected failures: 3 > > relationsInGenerator? Which ones? For ma all tests passed. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS -

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On Sunday, January 29, 2017 at 2:38:37 PM UTC, Martin Baker wrote: > > On 01/29/2017 01:41 PM, Dima Pasechnik wrote: > > Well, e.g. Todd-Coxeter is pretty much domain-specific; one could also > > choose to interface a stand-alone coset enumeration routine > > like ACE (see

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Waldek, This is great, thank you for this. I have a patch here to add to this code: https://github.com/martinbaker/fricasAlgTop/blob/master/gpresent7.patch or full code is here: https://github.com/martinbaker/fricasAlgTop/blob/master/gpresent.spad The patch does the following: 1) I have

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

I have now commited improved version of Todd-Coxeter. It now handles coincidencies and is much faster than previus version. Scaling is not great, but much better than before: I was able to do enumeration for Mathieu 11 (using second presentation from Canon et all paper) in 211 seconds. Currently

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On 01/29/2017 01:41 PM, Dima Pasechnik wrote: Well, e.g. Todd-Coxeter is pretty much domain-specific; one could also choose to interface a stand-alone coset enumeration routine like ACE (see http://staff.itee.uq.edu.au/havas/ and https://gap-packages.github.io/ace/). Producing toy

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On Saturday, January 28, 2017 at 10:42:18 PM UTC, Kurt Pagani wrote: > > You're certainly right from a pragmatic point of view. It should be no > problem to interface libgap by CFFI > . Nevertheless I endorse coding as > much as possible in spad itself for

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

I wrote: > > I looked at the implementation and AFAICS the first problem is > your 'next' function -- you perform search to find action of > inverse generator. But in Todd-Coxeter coset table is > supposed to contain entries both for generator and its > inverse so no need to search. I will try

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Martin Baker wrote: > > Initially a was just happy to find algorithms that worked in each > direction albeit for small groups. However now, of course, I am keen to > get these implementations to scale up as much as possible. I looked at the implementation and AFAICS the first problem is your

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

You're certainly right from a pragmatic point of view. It should be no problem to interface libgap by CFFI . Nevertheless I endorse coding as much as possible in spad itself for various reasons (typed, terse code, easy re-usable in other packages ...). On

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

In all respect, one might be better off by utilising GAP's implementations, via libGAP : https://bitbucket.org/vbraun/libgap (which is a dynamic library, so you can exchange data quite quickly). Certainly, GAP helps in checking correctness of your implementations, in case you want to do

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On 01/26/2017 09:04 PM, Kurt Pagani wrote: Hi Martin I've also tried your code and must confirm Waldek's statements. I guess there are some pitfalls which are known for some time. Did you read "Implementation and Analysis of the Todd-Coxeter Algorithm" by Cannon et al.? Old but still

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Hi Martin I've also tried your code and must confirm Waldek's statements. I guess there are some pitfalls which are known for some time. Did you read "Implementation and Analysis of the Todd-Coxeter Algorithm" by Cannon et al.? Old but still beneficial.

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Martin Baker wrote: > > On 01/25/2017 05:23 AM, Waldek Hebisch wrote: > > I also noticed that Todd-Coxeter (toPermutationIfCan) > > may produce something strange. Namely, the following > > (junky) relations: > > Do you think there is a need for a simplifier for PermutationGroup like > this: >

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

I wrote: > > Given that I know how presentation of permutation > group can be dane and that I know structure of > PermutationGroup I decide to code the convertion. > I need to do more test, but at least S5 seem to > work correctly. I hav now commited the code, there are two new functions:

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Martin Baker wrote: > > On 01/23/2017 04:58 PM, Waldek Hebisch wrote: > > Note: I used wordInStrongGenerators as a helper > > I find it hard to understand the functions in PermutationGroup. Partly > because I cant find any documentation (I searched the usual places but > its easy to miss

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Martin Baker wrote: > > On 01/23/2017 05:37 AM, Waldek Hebisch wrote: > > Martin Baker wrote: > >> Patch is here: > >> https://github.com/martinbaker/fricasAlgTop/blob/master/permgrps1.patch > > I have tried it now. AFAICS it is _extremally_ inefficient: > >

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On 01/23/2017 04:58 PM, Waldek Hebisch wrote: Note: I used wordInStrongGenerators as a helper I find it hard to understand the functions in PermutationGroup. Partly because I cant find any documentation (I searched the usual places but its easy to miss things) and its hard to follow the code

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

On 01/23/2017 05:37 AM, Waldek Hebisch wrote: Martin Baker wrote: Patch is here: https://github.com/martinbaker/fricasAlgTop/blob/master/permgrps1.patch I have tried it now. AFAICS it is _extremally_ inefficient: coerce(symmetricGroup(4))@GroupPresentation crashes due to running out of memory

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

A little example of using strong generators: (1) -> s5 := symmetricGroup(5)$PGE (1) <(1 2 3 4 5),(1 2)> Type: PermutationGroup(Integer) (2) -> initializeGroupForWordProblem(s5)

Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Martin Baker wrote: > > Patch is here: > https://github.com/martinbaker/fricasAlgTop/blob/master/permgrps1.patch I have tried it now. AFAICS it is _extremally_ inefficient: coerce(symmetricGroup(4))@GroupPresentation crashes due to running out of memory (tested on sbcl with default 1GB limit),

[fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

Patch is here: https://github.com/martinbaker/fricasAlgTop/blob/master/permgrps1.patch File is here: https://github.com/martinbaker/fricasAlgTop/blob/master/permgrps.spad It is used like this: permgp := dihedralGroup(3)$PermutationGroupExamples (1) <(1 2 3),(1 3)>