first, thank you very much for all who give me valuable advices.
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).
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 ?