I have been trying to install Gap3, but I keep getting the remark " cannot
find lib/init.g" even though it is there.
I basically want to get the generators of the group formed by
F3 := FreeGroup("a","b","c"); S3 := F3 / [F3.2^-1*F3.3*F3.2^-1*F3.3*F3.1*F3.2^-1*F3.1, F3.3^-1*F3.1*F3.3^-1*F3.1*F3.2*F3.3^-1*F3.2, F3.1^-1*F3.2*F3.1^-1*F3.2*F3.3*F3.1^-1*F3.3]; a := S3.1;; b := S3.2;; c := S3.3;; presentationDerivedSubgroupFpGroup := function(S3) local comms, gens,h,i,j,ngens,pres; gens := S3.generators; ngens := Length(gens); comms := []; for i in [1..ngens-1] do for j in [i + 1 .. ngens] do Add(comms, Comm(gens[i],gens[j])); od; od; h := Subgroup(S3, comms); pres := PresentationNormalClosureRrs(S3,h); TzGoGo(pres); return(pres); end;
I think you simply use TzPrintGenerators(pres);
or you assign the function to a variable
m := presentationDerivedSubgroupFpGroup(S3);
then TzPrintGenerators(m);
If there is anyone who know the know how the correct the problem with the
init.g, I would appreciate getting the solution. However, if there is no
immediate solution and there is someone with gap3 already install and can
simply run a copy of the above function, I would truly appreciate it.
Additionally, I understand ElementaryDivisorsMat is still the same in Gap4
as is in gap3.
Devon.
Miles-Receive-Header: reply