gap-4.11.0/lib/sgpres.gi

2084 local cft, ct, w,l,c,i,j,g,e,ind;
2090   ct := aug.cosetTable;
2116 #      c:=ct[ind][c]; # new coset number
2131     c:=ct[ind][c]; # new coset number
2230       [ "A", "aug", "ct", "defcount", "from", "homgenims", "homgens",
2293 local ct,c,a,b,offset,x,to,p,dw,doa,aug;
2296   ct:=DATA.ct;
2311           if ct[x+offset][a]<>0 then;
2312             b:=ct[x+offset][a];
2314             ct[x+offset][c]:=b;
2315             ct[-x+offset][b]:=c;
2322             ct[x+offset][c]:=0;
2347       for a in [Length(ct[x+offset]),Length(ct[x+offset])-1..c+1] do
2348         Unbind(ct[x+offset][a]);
2386   c:=DATA.ct;
2425 local Rep,Merge,ct,offset,l,q,i,c,x,d,p,mu,nu;
2457   ct:=DATA.ct;
2468       if ct[x+offset][c]<>0 then
2469         d:=ct[x+offset][c];
2470         ct[x+offset][c]:=0;
2471         ct[-x+offset][d]:=0;
2474         if ct[x+offset][mu]<>0 then
2475           Merge(nu,ct[x+offset][mu]);
2476         elif ct[-x+offset][nu]<>0 then
2477           Merge(mu,ct[-x+offset][nu]);
2479           ct[x+offset][mu]:=nu;
2480           ct[-x+offset][nu]:=mu;
2489 local MRep,MMerge,ct,offset,l,q,i,c,x,d,p,pp,mu,nu,aug,v,Sekundant;
2553   ct:=DATA.ct;
2565       if ct[x+offset][c]<>0 then
2566 	d:=ct[x+offset][c];
2567 	ct[-x+offset][d]:=0;
2570 	if ct[x+offset][mu]<>0 then
2577 	  MMerge(nu,ct[x+offset][mu],v);
2578 	elif ct[-x+offset][nu]<>0 then
2585 	  MMerge(mu,ct[-x+offset][nu],v);
2587 	  ct[x+offset][mu]:=nu;
2588 	  ct[-x+offset][nu]:=mu;
2642   c:=DATA.ct;
2708   c:=DATA.ct;
2774   c:=DATA.ct;
2814   c:=DATA.ct;
2898       alpha:=DATA.ct[x+offset][alpha]; # beta
2917 local m,offset,rels,ri,ccr,i,r,ct,A,a,w,n,DATA,p,ds,dr,
2968   ct:=List([1..offset+m],x->[0]);Unbind(ct[offset]);
2973   DATA:=rec(ct:=ct,p:=p,ccr:=ccr,rels:=List(rels,LetterRepAssocWord),
3018     DATA.ct[offset-a]:=DATA.ct[offset+a];
3063 	  if ct[a+offset][i]=0 then
3070 	  i:=ct[a+offset][i];
3082         if ct[a+offset][i]=0 then
3106                 Assert(2,0<>ct[-with[j]+offset][j]);
3107                 j:=ct[-with[j]+offset][j]; # unapply this generator
3284     ldc:=e.data.ct{up};
3297            ct:=e.data.ct,
3327     i:=DATA.ct[j+offset][i];