Quelle  pmenu3

//Main menu
27; covering
while:  "
printprint7 Save"
 1Read  ";
    new"
printCheckautos
print " 4print ":Getpresentation "
  5 Check identity
print " 6:  ;
"  presentation
print " //Read in a presentation alg," "
  :aprestoredjava.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
heckeffectof "
print":  grouppresentationviaBCHformula;
print " 0: Exit";

readi whatsne "do
numrel=+;
ifwhateq1then
/":  algebra;
read "6 Enforce defining relations;
/*
old version
s:=Read(alg"8:Read  arelation;
n:#s;
sSubstring(,,n1;
*prprint3
// if
s:=Read
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
s:=print"0 v=powersend;end:sn gt java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
print     1spot]java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
t:Splits>
s:=1endfor
tprintf"%"spotvspot]
t1=plitt[]""
ndgen;
t1java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
numrel   1.i-] 
rels []wt[] le   ifSplitt["")
foriinin[. java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
  [:trimt1i);
endfor
t1: [] 0    
class==len+1;relsspot=;

wt]
for  in[1ndgen]do
wt[i]:=1;
end for;
lastg:=ndgen;
cc:=1;
clend:=[]class=([21;
:];
comms=;
what=3
 ;ndgen

if what eq 2 then
// Define a presentation
readiprintf"%m =
readi ,Input) class"
wt:[: in []]]
lastg:;
cc:=
clend     k in 1-]
clend[1]:=ndgen;
comms:=[];
powers:=[];
rels:[clend]
numreltf "m",v;
print"Input relations signalendwithemptystring;
read s
while endif;numrel;
numrel=numrel+
rels  m%n"spot,v[]
read;
end
what=java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
end ;


end for;
//print presentation
print "Dimension",lastg,", Class",end ifjava.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7

ifprint "You have   thepredefinedclass;
for   len:=
  for  1..lastg] do
  len:=;
  for       :len1;
    if v[k] ne 0 then
      len:=len+1;
pot:k
     if
  ifend;;
  lengt  
    printfpmjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  end if;
  if len:=+ndgen
    for 
      olastgend;
      gt0 
   ; v ne0then
    end /ddprintf% +,vk;
    printf"m",spot
  end if;
end ;prin cc  1then

for i in [2..clend[cc;
for
ifif ;
   j 1i do
  len0;
  fork 1.]
    if ;
      =en1;
      :=;
           wt[i]+tj eqcc thenm%]  ;
  end;
     then
    printf ]ne 0java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
f
  if=2
     k[..spot-] java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
        [] java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
       %m%  "k,[;
        comms[]ik]P0
     forjava.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
"m%m"pot,[];
  end if;
end if;
end for;
end for;

endifif
end:;

ifiin 2.kin[ndgen.lastgjava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
/;
s=y"
if   eq 
  print" have thepredefinedclass;
   / whetherj is  power
end /xtend 
if:hold

// tails;
en*dgen);
tailsacomms[]]]:!1
tails:=tails+(lastg-ndgen)*ndgen;defns[]:j,]
tails:++;

olastglastg;
nlastg:tails ;

dd   commutators powers  weight+java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
v=P0iin 1.lastg];
if   java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
  :1;
else
  -]1/dd tail  []providedis not 
endif;
for[  0j then
        :1
   powers  endfor
endadd  toj,] provided notdefinition
for[.]do
   forj 1i-]
      if wt[i]+:[]=1java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
         ij=;:a=--
      end;
     
end /  j  

/xtendjava.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
.]do
for kin olastg+.]do
  powers[i][k for
end     
endforjava.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8

a:=end ;
hold[;
while ; "Arghhh!;
ifa 1then
  j1
else
  ompute -leftnormedcommutators
end if;
j21java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
for for *wt]   java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
fori in[.ndgen 
if:def:0
//for  in ndgen+1..astg do
for [ eq[j then
  commsj[i]k]=!;
end for;
//add tail to [j,i], provided it is not a definition
/provided     def:1
def:=    break:[:  [.]
for k et [,]
if:[[]wt[]];
   def:=1;
   break;
end if;
end for;
ifthen
   //formin m1.m2 do
   ifg:comms[   0then
      k=hold
     oldvomms]]
   ;
     lastg:=lastg+1;
     wt[lastg]:=cc+1;
     comms[lastg]=,v1n=n+*vn;
      [astg][,]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
   while;
end /ow /=[-[b]
endif
end;
end ;

/ add in tails topowers
ifforn in [m1.lastg]java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
  j1[]i]!1java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
else  ndgen
  j1:set j,]=pja
end:[:m in[1.lastg];
j2=[java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
for v1[]=v1n]c*powersm[]
  /end for;
  def:=0:defnsi2;
  [[ji=;
 [,j]
end 0
     set]]
  end
  end;
f def eq  then
    :lastg1;
    wt[lastg]:=cc+1;
    powers[j=[cc-wt[]java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
    defns[lastg]: end;
  end if for
end for;

if a eq cc then
   firspg:=lastg+1
end if;
a:a-1;
end while;

//now add in commutators stored in
for k in if what  5andccge3 then
  j:Jacobi
  i m i in [.ndgen java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
  lastg kin [+1.clend[cc2] do
     wt]+wt[]wtk]  ccjava.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  [i]lastg]=!1;
  defns[astg:[j,]
end for;

cc:/do Jacobi (,jijava.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
clend[cc:=lastg;
if lastg m2:clend[cc-wti]
  printrmin m1.m2]do
endfor  gcomms][j]m;


if cc ge 4 then
//Compute non-left-normed commutators
for i inelse
if 2*wt[i] le cc/set [,]     v:commsm[
b:=defns[iv1[]=v1[]g*n]
a:=defns[i][2];
//i=[b,a   if;
for j v1:[end ;
if wt[i/get j,ik

if bne 0 then
//set[ccwtk]java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
v1:=[P!0n=v1n+*[m[g::=ji[]
/ gne java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
m1=clend[[[][-]1java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
m2:    
for if  lt  then
  g:v:v=ommsk]m;
     for in [.lastg do
    v=    v1nv1[n-v;
    for n in [m1..lastg] do
      v1[n]:=v1[n]+g*v[n];
    end for;
  end if;
end for;
/java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
m1clend[ta-1+1java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 27
m2:clend[wtb;
for  in[.m2 do
  :=[j]a[]
  if ;
    min[.] 
    for nin.lastg]
      v1]1:=clend[i+wt[k1;
     ;
  end if
end for;
comms[j][i]:m2=clendgcomms]im;

else:ommsk[[m]
/      :=comms[j]
v1:  in[m1..] do
for  v1[n:1[n]vn]java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
  c:commsj][a[;
  ifcne0 then
    for n in [1..:comms[]i]mjava.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
      bif gt 
    end =java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
  end if;
end for;
comms[j]for  in[.astg do
endjava.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
/comms[] computed

end if
endfor
end if;
end for;
end if;

end if;
end ifjava.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7


if what eq 5 and   end ifjava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
/ if      print"!"
for else
for  in [+.clend[cc]]do
for k in [j+1..for=clend[eadingCoefficie(1m]
if wt[]i[]
v1:[java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
forin  for
v1[end      for ain[[cc1]do
endfor:0;
//doifwt]wtb le cc then
//v        ne0then
m1:=clend[wt[k 0 java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
m2:=clend[cc-wt[i]];
for m in [m1..m2] end if;
   for
  if g ne 0 then
    vbgt0then
    for m=b;
      v1[]=v1[n]+vn;
    end for;
           endfor;
end ififforin[lastg1 
/v[]=vn1]
m1=endfor
m2:=clend[cc-wt[k]];
for m in [m1..m2] do
  :[ji][]
  if  for   [1lastg1]
           for
             ifjava.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
        in [lastgdo
        v1[]=v1[]gv[n]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
      
    end;
    ifc=g*;
      vg=        end;
         [.] 
        v1[n]:=v1[n]-g*v[n];
      end for;fornin m.lastg-] do
    end if;
  end if;
end for;
//        end for;
m1:=clend[wt[i]+wt[k]-1]+1;
m2=[-[j];
for m in [m1..m2] do
  g:=comms[k][i][m];
  if gne then
    v:=comms[m][j];
    for n in [m1..lastg] end;
      v1[:        for in [lastg- java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
    end for;fornin[.lastg-] do
  end ifm lt firspgthen
end for;
//check if java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
b:=0;
for a in [1..lastg] do
ife 0then
java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 7
end      fornin        for;
end

ifb gt0:=powersa]
  m=b;
  if v1 gne 0 then
  for ac          [n]defnsn+];
    
      printf "%m^%m        end if;
    end if;
  end for;
  printf%^mn"bv1b]java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
  print "Do     end if;
  readi m,"Enterclend[cc]:lastg;
  end ifjava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
  fmgt0 then
    ifendif;
      print "tricky!";
    else;
      v27:=LeadingCoefficient(v1[m]);
      v27:=v27^-;
      for fornin [1.-1]do
      forb .a]
      if wt[a
        v:omms[]b;
        g:=v[m];
        if g ne  iin 1.clendcc-] 
          :gv27;
           n in  1.          [+.cc[]java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
            []=n*[java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
enddefnsdefn2;
         if;
        for
          vvn:vn1;
        end/checkif 
        comms:0
         for nin [.-] java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
          java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 8
      end
       ;jprintfp,]"ii
       ;
       forforjava.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14

      for a printv1k1k*[][k;
        v:=powers if
        :vm
         g ne 0 then
          tlastg TotalDegreev1[)ne  then
          if[]ne0then
            n:[]*n
          end ;
        ::^-java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
        for  in[.astg]
          vn]:=[+;forfor .]do
        :[[]
        powersif[]0
        for n printf"m^m+ifif ne 
          powers[a]for printf"m%nb1b
        for;
      end m,   ,  forYES - "

      lastgm  orTotalDegree([nethen
      if m lt firspg then
        firspgirspg1
       ;
     [
       comms[[:[]
        defn2[n]:=defns
        if n ge end;forb [1.forjava.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
          defn2[n]:        =[m]
        c=v27
      endforjava.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
        java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
     ;
    clend[cc          end for;
  endif;powers[]=]
endfor  [.lastg1
end if;
end for;
end for   vn]=[n+          powers[]=n


/Check[,]
fori       ;
ifjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  v1:=[P!0:j in [1..lastg]]end ;
   jin [i1.clend[ccwti] do
    defn2[]=defnsn;
    if  if n  mthen
                []:=[+]
      for k in[+1.] 
        v1[k]:=v1[end ;
      end      :defn2;
    endif;
  end for;
// ck 
b:=0;
for a in [1java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
if v1[a] ne 0 then
  b:=a;
end if;
end
if b  0then
   if
  if v1
   "[,%,,
  a[.b-1 java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
    if v1[a] ne 0 then
      printf "%m^%m + [][]1le java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
    ]v[+]
  end for;
  printf "%m^for   [a][;
  print "  want to  this Jacobito eliminatea generator,;
  readi m,     c ne0then
  end if;
  if m gt 0 then
    if m gt lastg or TotalDegree(v1[m]) ne 0 then
      print"tricky!";
    elsev1[l]:=v1[l]+*comms[][i]l]java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
      v27:=LeadingCoefficient    end if;
      v27:=v27^-1;
        2.[cc]]do
      for for k in [+.clend[cc[j]do
      if        ifcne 0 knej  then
[][]
        g:=v[m];
        if g ne 0 then
          c:=g*v27;
          forv2:=[j[k]
            v[n]:=v[n]-c*v1[n];
          end for;
        end if;
        for n in [m..lastg-1] do
          v[n]:=v[n+1];
        end for;
        comms[a][b]:=[];
        for n in [..lastg1]do
          commsif;
        end ;
      end       
      end for;
      end for;

      forain[.clendcc1]do
        v:=powers[a if
        g:=v[m];
        if g ne 0 then
          c  :;
          forn  [.lastg]do
            v[n]:=v[n]-c*v1[n];
                    for;
        
        ninmlastg-1]do
          v[n]:=       "%  ,,[]
        endfor
        powers"v1bjava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 27
         n in.lastg-] java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
          powersa[=[
        end for;
      end for end for;

      
             tricky"java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
        firspg
      end if
      defn2
            v27LeadingCoefficient(m]
        defn2n]:[]
        for ain 2..lendcc1]] java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
          defn2[n:      if wt[[]+[ le cc then
        end if;
      end for;
      defns:=efn2;
    end          :g*v27;
    clend[cc]:=lastg;
  end if;
end if;

end if;for n in [..lastg do
end ;[n:]*v1]

//Check ;
forfor n in [..lastg1 c=[j]k;
for           ]vn1;
if wt[i]+wt[j]+1 le cc then
  v1:=[    end for;
  /setv1[pj,
[:v1l+*[][]
    =powersjendifjava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
     cne  
      endfor
        v1[endforjava.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
       ;
    end if;
  end for; kgt   =[m;
  //Addif ommsk[]java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  for k in [i+1..clend[cc-wt[j]]] do
    c:=powers[]k]
    if c ne 0 and k ne j then
      if k gt j then
        v2:=comms[k][j];
      ;
        v2:=comms[j]k]java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
        c-         for
      end endiffornin[lastg]
      orlinsa[]v[]
        v1end[=[cv2[]
      end endfor
    end if;
  end for;

// check if zero
b:=0;
fora  1.] do
if v1[a]end if
  b:= ;
end end if
end defn2=];
if bgt0 
  
  if [ nedefn2[:defns[n;
  printf "[p%m,%m]=b=;
  if  for
    if           [:defns[:;
      "%^ +",,[;
    endfor;
  end for;defns:defn2;
  printf "%mend if;
  print "Do youclendcc:lastg;
  readi if
  end if;
  if m gt 0 then
    if m gt lastg or 
      printrint "tricky";
 else;
      v27:for  ain .b-] do
      v27:=v27^-1;
      for a in [2..clend[cc-1]] do
      for
       wt[a+[b lecc java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
        =a[;
        g:endif
        0java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
          c:=g*v27;
           t"ricky!;
            v[n]:=v[n]-c*v1[n];
           ;
        end if;
        for n in [m..lastg-1] do
          n:v[+]
        end for;
        comms[c:powersj[k;
        for nin [.lastg-1] do
          comms[a][b][n]:=v[n];
         ;
      end if;
      end for;
      end for;

      for ain[.clend[cc-:LeadingCoefficientv1m)
        v:=powers[a];
        
        if g ne 0 then
          c:g*27;
          for n in     end if;
            n:vn-*[n;
           for
        end    :comms[]i]k;
        fornin m.lastg-]do
          v[n]:=v[n+1];
        end for;
        [a]:=[;
        for n in [1..lastg-1] do
          [a[]=[;
        end for;
      endfor;

      lastg:=lastg-1;
      ifm lt firspg 
        firspg:firspg-1;
      end if;
      defn2:=[];
      for n in [clend/checkif 
        defn2[n:=efnsn]
        ifnforain1.lastg]do
          defn2[n]g:vm;
        endif v1a]ne0 then
      endc
      endfor
    end if;
    clendforn in[..]do
     vn]=v[n]v1[]
endprintf [%,m=[%,%],,,,;


end if;
end for;
end for;

//Check [pb,end for;
for[]vn1java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
for  readim,Enter 0forNO or i for YES - generator i"java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
if wti+wt[j]+1 le  then
  v1:=[P!0:k in [1..lastg]:=[print"tricky"
  //set v1=      v27:=v27^1;
  for k in [j+1.      for ain [..clendcc-1] do
    c:=powers[j][k];
    if c neifwta+[b   java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
      for lc:gv27
        v1[l]:=v1[l]+c*comms[k][i][l] in[.lastg do
      end for;
    end if;
  
  //Subtractendforjava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
  for  for nin [.astg1 do
    :[]i]k]
    if  0
      for l in [1..lastg]ifg ne 0 then
        v1[l]:=v1[        [a[]=];
      end for;
    end if;fornin          comms[[b]n:[]
  end for;

// check if zero   .astg        end;
b::=;
for a in [1for;
if v1[a] ne 0 then

end;
end for;
if   0end;
  m:=b;
  if v1[b] ne 1for
  printf "[p%m,%m-:=lastg-java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  for             1.lastg]do
    if v1[ane 0thenend for;
      printf "%m^%m + end          in m.stg1o
     ;
  end for;
  printf"%m",b;
  print "Do you
  readi m,Enter 0 ;
  end if;
  
    if m for;
      print "tricky
    
      :LeadingCoefficient(m)
      v27v27^1java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
      or      lastg:lastg1;
      if m lt firspgthen
      if []+tb lecc then
        v:=comms[a][b];
        =m;
        if g ne 0 then
          ifcne thenend[]1lastg] 
          for n in [if nge mthen
            [:vn-c*v1[n;
          end for;
         if;
          for nin [.lastg1]
     ;
        endifendif
ommsjava.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
        for
          comms[a]end
      ;
      end for;
      end for;
      end for;

      for a in [1..clend[cc-1]] do
        v: a in[.lastgdo
        g:=v[]java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
         g   then
          c:=g*v27;
          for n in [1..lastg a whateq10 then
            v[n]:=v[n]-c*v1[n];
          end for;
         
        n m.1do
          v[n]:=v[n+1];
        end "^m  ",1]
        powers[a]:end adefns]1;
           ne 0then
        [:[];
     endfor;printprint""
      v27([]java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37

      lastg:=lastg-1;
      if m lt firspg then
        firspg:=firspg-1;g=l1 k [1.]do
      endjava.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
      defn2=j]];
      for nv]:=n][;
        defn2[n]:=defns[n];
          ge mthen
          end ifjava.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
        endif;
      endfor
      =;w[]wn]ecncomms]:=;
     ifjava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
clend[]=lastg
  for
end/subtract  headof


end if ;
end for;
end for;

end if;

if what eq 10 then
missed:[;
missn=;
/        in1lastg do
for..]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
a:defns[[
b=[][2];
if a ne 0else;
//i=[a,b]
u:=automs[a];
v:=automs[b]
l1:=  :clend[cc-];
w:=[];
for j in [1.lastg] do
  w[j]:=P!0;
endfor
for j in [.l1] do
for k in [1..l1] do
  e:    for  in 1.- do
  if powersa[ in1..astg] 
  if        [:w[+cpowers[]k];
    c:=comms[j][k];
    for n in [1..lastg] do
      w[n]:=w[n]
    end for;
  elsejava.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
    c:=commsfirspg:firspg1java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
    forif gne then
      w[v      defn2:[]
    end for
  ;
  java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 9
end for;
endendfor;
//endif;
c:=commsend ;
  for nin[..i-]do
    g:=c[n];
    if g ne 0 then
      v:=automs[n];
      forj in [..lastg] do
        w[j]:=w[j]-g*v[j];
      end for;
    end if;
  end for/ rest commutators
automs]java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
else;
  /i/print xy;
  v:=automs[b];
  l1:[;
  w:[!0jin[1.lastg]java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
forin1. 
    :vj]
     wtj]wt[]lecc and( nek and e  ) then
       k in [ifjjgt kthen
        wmmsj]]
      endfor;
    end n]:w[n]*[;
  end endfor

  //subtract away head c:=java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 7
  c:=powers[b];
  forn  1.1 do
    g:=c[n]; if
    if g ne 0 then
      v:=automs[n];
      :=;
        w[end for
      
    end/compare w  image of comms[]y]
ndfor;
java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15

end if;
end for;
//This completes calculation of images of PCP gens

// getrestofcommutators
forfor i inclendcc]
for y in [1i]=w[-*[]
if  [+y]le  then
/end ;
u:=automs jin[1l1 
v:=automs[y];
w:[
for   [.lastgdo
  w[j]:=P!0;
end ;
for j in [    missn=ssn1
fork 1l1 java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
  e=jendif;
   wt[]wtk  cc  j   []w]en
  ifendfor;
    cjava.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
        u=automsx]java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
w  i [l1 do
    endne0then
  else;
    =[][j]java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
     n  ..]] do
      w[n]:=w[n]-e*c
    end for;
  end if;  
  end if;
end;endfor;
end for;

/compare end forjava.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
c:=comms[x][y];
for n in [1..lastg] do
  g:n;
  if   
    v:=automs[n];
    for iendif
      w[i]:=w[i]-g*v[i]; forv:automsn;
    endjava.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
  endif
end for       for;
for  1 end;
  ifwi ne then
    print x,y, for iin[1.astg]
    missn:=missn+     "x"=[;
    missed[missn]:=w[i];
  end if
end for
end
end for;
end for;

/endfor
for x
  u:=automs[x];
  w[0owerschecking
  fori   in[. do
    c:=u[i];
    
      / apresentation
       j e=[]vk
        w[j]: iin [1.ndgen1]do
      end for;
    end if;
  end   wt[]wtk  )and( k andand( ne 0)java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55

  //compare w with image of powers[x]
  c:=powers[x];
 nnin[1.lastg]java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
    =;
    if g  then
      v:=automs[n];
      fori  .java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
w]=wigv[;
      (,s)
:";
   for
  end;
    ifw[i   11.lastg 
      print "p",x, " 0 =",w[i];
      missn:=missn+1;
      missed[missn    (algname,;);
    end;
  end for;


end for;
//End what eq8then
end if

if what eq 7 then
//Save a presentation
s:="<;
for i in [1..ndgen-1] do
  s:=s*gens[i]*",";
end for;
s:=s*gens[ndgen]/Enforce a relation
if #rels gt  then
  for in[..]do
   i  [[.numrel] java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
    s=    in[.. do
  end forccbegclend[-];
  :*[[umrel* class=*IntegerToString()>;
else i  [.lastg do
  s:=s*"class="*IntegerToString(class)*">";
end ;
readalgname"Inputnameofoutputfile;
PrintFile(algname,s);
read a"Do you want to  automorphisms?y n"
if a eq "y" then
  algname=:=""algname;
  for i in [1..ndgen] do
    PrintFile(algname,"automs[");
    PrintFile if
    rintFileend for;
    PrintFile(algname,automs[i]);
    PrintFile(algname,";");
   ;
end if;

end

ifwhat eq8then
/[]:=wi;
  v1     ;
  for i in [.lastg do   endfor
    v1[:
  end for;
  b:/ print"    tousethis to  "b;
  ccbeg=clendcc-1]1
  printSave presentation
  for i in [ccbeg..lastg] do
    readi j;
    v1[i]:=P!j;
    if j ne 0 then
      :;
        ;
  endv27LeadingCoefficient;

fora [.clend:=gensndgen*|;
  for a in [1..=rels
    if v1[a] ne 0 then
      printf "%m^%m + ",a,v1[a];
    end ifnd ;
  end for;
  printf "        :commsa    s=s*relsi, "java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
  print "Do you want to use this relation;
  readim,:s*class*ntegerToString)>
  if m gt  if;
    if m gt algname Inputnameofoutput"            v]vncv1[]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
      print "tricky!;
    else;
      v27:LeadingCoefficient(v1[];
      v27:=         forjava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
      for a in [2..clend[cc-1]] do
      for b in [1..a-1] do
      if wt[a]+end for;
        v:=comms[a][b];
        :=[m]
           then
          c:=    :m;
          for n in [1..lastg] do
            v[n]:=v[n]-cc:g*;
          
        endif
        forn [lastg 
          v[n]:=v[n+1];
        for;
        comms[for  [.lastg] 
        [[n=[1;
          comms[a][b][n]:=v[n];
        end for;        for
      end if;
      end for;
      end forfor;

      for a in [1..clend[cc-1        for;
        v:=powers[a];
        g:=v[m];
        ifmltfirspg 
          c:firspg=-;
          
            v[n]:=v[n]-end if;
          end for;
endif
        for n in
          v[n]:=v[n+1];
        v1[
        powers[a]:=[];
        for n in [1..lastg-1] do
              v1[]=;
        end for;
      end for;

      lastg:=lastg-1;
      if m lt firspg then
spg=firspg-
       ;
      defn2:=[];
      for n in [clend[1]clendcc]lastg
        defn2 if
        if n ge m then
          defn2[n]:=defns[n+1];
        endd ;
      end for;
      defnsprint "You need to have setv1 print:[cc-];
    end if;
    cc=;
  end if;
end if;

end if;

if 9if j0then
print "You
print "lastg  in1.]do
readi y,Enter 0 if you want tocontinue,1 if not";
if y eq 0 then

b:=0;
for a in [1..lastgjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  if v1[java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    :=;
  
end for; [ane0then

ifb then
  fora  [.-]   "m^\,bv1]
print   to thisrelation to agenerator,java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70

    end if;
  end for;
  printf"m^m\,b,[]
  gt0
  m  or    
   mgt then
    if m 
      printtricky"
    else;
      v27:=LeadingCoefficient
      v27:=v27^-1;
      for a in [2..clend[cc-1]] do
      for b in [1..a-1] do
      if wt[a]+wt[b] le cc then
        v:=comms[a][b];
        g:=v[m];
        if g ne 0 then
          cforb [.1]do
          forfornin 1.lastg 
           [:=[]-*[]
          end for;
        end if;
        for n in [m..lastg-1] do
          v[n]:=v[n+1];
        endforjava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
        comms[          [:[ifjava.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
        for
          [][b[]=n;
        endnin        comms[]b]n]:vn;
       if
      endend if
      end for;

      for a in [1.
        vv:powersa;
        g:=v[m];
        if g ne 0 then
          :g*v27 ;
          for n in [1..lastg] do
            v[n]:=v=[];
          end            nin  ne 0 
        end if;
         nin m.lastg-1]do
          ]vn]
        end for;
        ersa[
        for n in [1..lastg-1] do
          powers[a][n]:=v[n];
        d forjava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
      end for;

      lastg:=lastg-1;
      ifmlt firspgthen
        firspg:=firspg-1;
      end if;
      defn2=[]
      for java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
        defn2
        if n ge m then
          defn2[n]:=defns[n+1];
         if;
      end for;
      defns:=defn2;
    end if;
    clend[cc]:=lastg;
  end if;
end if;

endif

end if if;

if what eq
//Enforce defining relations
numrel:=#rels;
ifgt0java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
for 1.]do
v1:=[P!s:rels[;
s:=rels[i];
whilea=plits;
a:(;
s:=a[4];
factor:=getpol(P,Q,a[1]);
exp:=StringToInteger(a[2]);
t:3;
g=([96;
2:[P0j in [1.];
v2g:=  / v2 withrest entries
for=(t]96;
  v3:[!:iin[..astg]]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
  gStringToCodet[//ommutev2withg
  cv2[]java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
  for k in [1..clend[cc-1]] do
    //ommute v2 withg
    c:=v2        v3[]:=v3[l+c*l;
    if c ne 0 then
      h:=comms[k][g];
      :v3
        v3 forjava.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
      end for;
    
  end for;

endcomms[ k in ..cc]
/owgetappropriate ^*v2
if 0ejava.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
for j in [1..exp] do
  v3:=[P!0:k in [1..lastg]];
  forgv[]
    c:=v2[k];
    if c ne 0 then
      for l in[..lastg]do
        v3l]=
      end for;
    
  end for;
  v2:=v3;
end for;
end if;
//this completes calculati0on of p^expendwhile

// factor*v2to/ ninm.astg-1 java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
for kin 1.lastg[]]
  v1[k]:=v1[k]for    :ajava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
end for;

end while;

/
b:=0;
for a in [1..lastg] do
  if v1[a] ne 0 then
    b:=a;     [a ne 0 then
  end if;
end for;

if bend;for
  m:=b;
  if v1[b] ne 1 and v1[b] ne -1 then
  for 
    ifv1[  0then
      printf "%m^%m + ",a,v1[a];     gtlastgorTotalDegree([m)ne0 then
     if;
  else
      v27=LeadingCoefficientv1m)
   "youwant use this toeliminate agenerator,;
  readi m,"Enter 0 for NO, or i for YES      endif;
  end if;
  if m gt if[]wtb]le  then
    if m gt lastg or TotalDegree(v1[m]) ne 0 then
      print "tricky"  v:[[]
        g:vm;
      v27:=LeadingCoefficient(v1[m]);
      v27 ;
      for a in/ /endif
      for b in [1.fornin[ numrelgt 0then
      ifwta+wt[ le 
        v:=comms[a][b];
        :[];
        if g
          c:g*v27
          for n in [1..lastg] factor=          comms[ab[:=n;;
            v[n]:=v[n]-c*v1[nexp:=StringToInteger(a2)java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
          end   2.#]java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
        end if;
        for n in [m..lastg-1] do
          v[n]:=v[n+1];
        endfor
           commsifgne  then
        for n in [1..lastg
          comms[a][c  0fornin.lastg]do
         for
      ;
      end for;
      end for;

      for a in [1[n1]
        v:=powers[a];
end for;
        if        [a:[]
          :gv27
           n in[.lastg do
            v[n]:=v[n]-c*v1[n];
          end for;
        end;
        for n in [m..lastg-1] do
          v      :lastg1
        end for;
                firspg=firspg-
        for n in [1.forl in       defn2[java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
          endfordefn2]=[n;
        end for;
      end for;

      lastg
       
              :
      end     clendcc:lastg
      defn2=]
      forn if
        defn2[n]:=defns[n];
        if n ge m then
           java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
        end if;
      end for;
      defns:=defn2;
    end if;
    clendjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    end if;
end if;

//end of relation code
end
end  bch[]i]=!;
end if;


if  what eq 11 then
/
/ gne 0   i=[g,h]useBCH to  e^g,^h]
for iin;
  bch[i]:=[P!0:j in [1.ifm  0then
  bch[i]i:P!;
end for;
for i in[ndgen+1..lastg]] do
  g:=:=bch[h],bch[g]]java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  h:=defns[i]:=bchc;
  //ifit(=[4
  //if gfactor=getpol(,Q,[];

if g ne  0 then
  u:=[bch[h],bch[g]];      for for.# do
v1:      if wt[]+tb] le ccthen
s:=bchc;
whiles  "" do
a:=split(s);
s:=a[];
factor:=getpol(P,Q,a[1]);
t:=a[3];
v2:=bch[g];
for j in [2..#t]do
  //commute v2 with rest of
  v4:=u[StringToCode(t[          cc:=g*v27;
  v3:          for n inifc  0 and wt[]++[]le ccthen
  for j1 in [2..clend[cc-1]] do
  for j2 in [1..j1-1] do
  c:=2[j1]v4[j2-v2[]v4j1;
  if c ne 0 and wt[j1]+wt[j2] le cc then
    //add c*comms[j1][j2] to v3
    h:=comms[j1][j2];
    for l in [1..lastg] do
      v3[l]:=v3[l]+c*h[l];
    endfor;
  end if;
  end for;
  end for;
  v2:=v3;
end for;
//add factorv2 to v1
for   [1.lastgdo
  v1[k]:=v1[k]+factor*v2[k];
end for;

end while;
bch[i]:=v1;

else;
//:v[ for;
v1:=[P!0:j in [1..lastg]];
for j in [1..clend[end while;
  c:=bch[]j];
  if c ne 0 then
    for k in [1..lastg] do
      v1[k]:=v1[k]+c*powers[/Set bch[i] = .bchh
    end;:=[P0:  1.lastg;
  end if;
end for;
bch[i]:=v1;

end if;
end for;
//This completes calculation of bch[i

//Now get modified end;
numrel:
mrels:=];
for i in [1..numrel forowers]]
s:=rels[i]endif;
a:splits for
factor[i]=v1;
if java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  print Argh!!!
endif;
u:=a[2];
strexp:=u;
t:=a[java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
//t represents a Lie product of defining generators,
//and u and t represent  i  [.numrel] do
mrels[i:lietogrpt[1];
if u ne "0" then
  if u eq "1" then
    mrels[i]:=mrels[i]*"^p";
  else;
    mrels[i]=mrels[i]*"p^*u;
  endif;
end if;
n:=#t;

if n t=[]
  g:=strtogen(defns,clend,ndgen,cc,Substring(t,1,n-1
  java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 16
    print "Arghhhh!!!!;
  end if;
  h:=StringToCode(t[n])-96;
  u:=[bch[ifu eq "1"then
  v1:=[P!0:j in [1..lastg]s[]:mrelsi*^p"java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
  s:bchc
  while s ne "" do
  a:=efn2[n]=defns[n]
  s:=a[4];
  factor:getpolPQa[]);
  t:=a[3];
  v2:=bch[g];
  for j in [2..#t] do
    ies
    v4:=u[StringToCode(t[j])-96];
    v3:=[P!0:i in [1..lastg]];
    for j1 in [2..clend[cc-1]] do
    end endif
    c:=v2[j1]  h=StringToCode(tn]-6endfor;
    if  if c ne  andwt[j1]+wt[j2] lecc then
      //add c*comms[j1][j2] to  v1=[!jin 1.]
      h:=comms[j1whateq thenwhile s ne "do
      for l in [1..lastg] do
        v3[l]:=v3[l]+c*h[l];
      end for;
    end if;
    end for;
    end for;
    v2:=v3;
  end for;
  //add factor*v2 to v1
  for k in [1..lastg] do
    v1  in [1..ndgen]do
  end for;

  end while;

else;
  h:=StringToCode[]=P0jin [..for j [..#tdo
  v1:=bch[h];
end if;

//Now raise v1 to appropriate power
exp:StringToInteger(strexp;
for j in [1.g:defnsi[]
  v2
  for k in [//if    1..j1-1]do
    if g=0 c ne 0  wtj1+wt[j2] le ccthen
    if c 
      forifgne0 then
        v2[k1]:=v2[k1]+      add cc*commsj1j2 tov3
      end for;
     if;
  end for;
  v1:;
end for;

/a3
for j in :[;
if v1[j] ne 0 then
  =lietogrp(gentostrdefnsndgen,astg,)for j in [2.#t do
  mrels[i]:=mrels[i]*"*"*u[1];
  c:=-v1[];
  if c eq 1 and u[2] ne "" then
    mrels[i]:=mrels[i]*"^"*u
  end if;
  if c eq  -1 u[2]] "" then
    mrels[i]:=mrels[i]*"//add factorfor j2 in 1.j1-] do
  endif;
  if c eq -1 and u[2] eq "" then
    mrels[i]:=mrels[i]*"^-1";
  end if;
  if c ne 1 and c ne -1 then
    s:=poltostr(P,Q,c);
    mrels[i]:=mrels[i]*"^"*s;
    if u[2] ne "" then
      mrels[i:=mrelsi]*"*"*[2;
    end if;
  end if;
  lybch[j byc
  v3:=[];
  v2:=[];
  for k in [1..lastg] do
    else;
    v2[k]:=v1[k]+v3[k];
  end for;
  //compute [v3,v1]
    :[P!0:k in [.astg];
    for j1 in [2..clend[cc-nd   v3[[l]:=3[l]+c*hl];
    for j2 in [..1-1]do
    c:if;
    if c ne   endfor;
      //add c*comms[j1][j2] to v4
      h:=for j in
      for l in [1 v1
        v4[]:v4l]+*h[]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
      end for;
    end if;
    end for;
    endfor;
  romv2java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    for k in [1..lastg] do
      v2[k]:=v2[k]-(1/2)*v4[k];
      []=v1[k]-v3[k;r;
    end for;
  /forj/ zero outv1using BCH  productformula
    end[cc-] docbchhj];
    for j2 in [1..j1-1] doif    v1[]  
    c     k in[..lastg java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
    if c ne 0 and wt[j1]+end for;
      // (/12)**commsj1]j2] v2
      c:=c*(1/12);
      h:=comms[j1][j2];
      forendfor
        v2[l]:=v2[l]+ch[l]
      end for;
    end if;
    end for;
    
    v1:=v2;
end if;
end:poltostrplit(s)

end for;
s:"<;
fori in[forprint"Argh!!"
  s:s*gens[i]*",";
end for;
s*gens[ndgen]*" | "

ifc:=v3j1*v1 u ne 0"then
  numrel:=#mrels;
  for i in [1    if c ne0 and wt[j1]+[j2mrelsi=mrels*"";
    [/addccomms[j1[j2tov4
  endif
  *[numrel:commsj2];
else;
  s:=s*"class"*IntegerToString(class)*>"java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
end if;

print s;

endif;


end while;

v1:=[P!0:i in [1..lastg]];