Re: group identification patch

[Igor Schein <igor@txc.com>]

On Wed, Apr 02, 2003 at 03:05:49PM +0200, Bill Allombert wrote:
> Hello PARI-dev,
> 
> Here a (large) patch that add a feature similar to GAP IdGroup
> function for weakly super-solvable group.
[cut]
> To use it:
> install("group_index",lGDG);
> galoisindex(G)=[poldegree(G.pol),group_index([G.gen,G.orders])]
> 
> example:
> ? G=galoisinit(x^54 + 796392*x^36 + 292918032*x^18 + 1259712);
> ? galoisindex(G);
> %6 = [54, 6]
> ? extern("echo \"IdGroup("galoisexport(G)");\"| gap -q")
> %8 = [54, 6]
> 
> (woohoo it works!)
> 
> It is very large, so I let you comment on it before commiting it.
> I have tested it extensively, so I suppose it is correct.

It worked fine for me in preliminary testing, I'd like to see it
committed ASAP.  It's a few percentage points faster than the kludge
I've devised, and is definitely less cumbersome. This patch doesn't
apply to the current CVS though, while it was applying OK about a week
ago.  

Igor