> < ^ Date: Mon, 14 Oct 2002 07:59:52 +0100 (BST)
> < ^ From: Alexander B. Konovalov <alexk@mcs.st-and.ac.uk >
> < ^ Subject: Re: IsomorphismGroups

Dear Forum,
first, thank you very much for all who give me valuable advices.
Then,

On Sun, 13 Oct 2002, Marco Costantini wrote:

A possibility to decide isomorphism of p-groups in Gap is provided by Anu
Pq package (if you have an unix machine and this package installed).

RequirePackage("anupq");
IsPqIsomorphicPGroup (G, H);

A possibility to prove isomorphism of Pc groups is provided by the
function RandomIsomorphismTest :

list := [G, H];
code := List( list, CodePcGroup );
code := List( code, x -> rec( code := x, order := 2^10 ) );
RandomIsomorphismTest( code, n );

1) Is there difference between words "decide" and "prove" -
both functions just give an answer "yes" or "no" and did not
return the isomorphism if it exists, isn'it ?

2) whethere Anupq is considered to be the most powerful tool comparing it
with IsomorphismGroups and RandomIsomorphismTest ?

Sincerely,
Alexander

Miles-Receive-Header: reply


> < [top]