Magma V2.15-13 Thu Oct 1 2009 21:13:11 on emory [Seed = 3393457759] Type ? for help. Type -D to quit. Linux emory.itee.uq.edu.au 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 x86_64 x86_64 x86_64 GNU/Linux %! uname -a %! cat last15.m function TCFinite(G: lim:=20000, strat:="Easy", mend:=false) I,ct,M,T := ToddCoxeter(G, sub : CosetLimit:=lim, Strategy:=strat, Mendelsohn:=mend); return I, M, T; end function; Gamma := Group< u, v | (v*u^-1*v)^2, (u^-1*v)^3 >; // the 15 UNRESOLVED cases from last48.l ids := [ 1, 12, 14, 18, 22, 23, 24, 27, 31, 33, 35, 37, 38, 40, 43 ]; r := [ (u^3*v*u*v^2)^2, //1 u^10*v^2*u*v*u*v^2, //12 u^8*v*u*v*u*v^2*u^2*v^2, //14 u^5*v*u^2*v^2*u*v^5*u*v, //18 u^4*v*u^3*v^3*u*v^4*u*v, //22 u^4*v*u^2*v*u*v*u*v^2*u*v^4, //23 u^4*v*u^2*v*u*v^2*u*v^4*u*v, //24 u^4*v*u*v*u^2*v^2*u*v*u*v^4, //27 u^4*v*u*v^4*u^3*v*u*v^3, //31 u^4*v^2*u^2*v^4*u^2*v*u*v^2, //33 u^4*v^2*u*v^2*u^2*v*u^2*v^4, //35 u^3*v*u^2*v*u^2*v^2*u*v^2*u*v^3, //37 u^3*v*u^2*v*u*v^2*u*v^3*u^2*v^2, //38 u^3*v*u^2*v^2*u*v^3*u^2*v*u*v^2, //40 u^3*v*u*v*u*v^3*u^2*v*u*v*u*v^2 //43 ]; for k := 1 to #r do ids[k], "rel", r[k]; G := quo< Gamma | r[k] >; c := Cputime(); i,m,t := TCFinite(G: lim:=10^8, strat:="Hard", mend:=true); i, "|", m, "|", t, Cputime(c), "max 10^7", ids[k]; end for; 1 rel (u^3 * v * u * v^2)^2 0 | 99501683 | 100000000 179.100 max 10^7 1 12 rel u^10 * v^2 * u * v * u * v^2 0 | 96894049 | 100000000 207.380 max 10^7 12 14 rel u^8 * v * u * v * u * v^2 * u^2 * v^2 0 | 99459506 | 100000000 220.350 max 10^7 14 18 rel u^5 * v * u^2 * v^2 * u * v^5 * u * v 0 | 99992457 | 100000000 172.180 max 10^7 18 22 rel u^4 * v * u^3 * v^3 * u * v^4 * u * v 0 | 99990026 | 100000000 176.790 max 10^7 22 23 rel u^4 * v * u^2 * v * u * v * u * v^2 * u * v^4 746928 | 32461664 | 32493877 37.760 max 10^7 23 24 rel u^4 * v * u^2 * v * u * v^2 * u * v^4 * u * v 0 | 99944481 | 100000000 181.890 max 10^7 24 27 rel u^4 * v * u * v * u^2 * v^2 * u * v * u * v^4 0 | 99999760 | 100000000 169.560 max 10^7 27 31 rel u^4 * v * u * v^4 * u^3 * v * u * v^3 0 | 99538766 | 100000000 176.470 max 10^7 31 33 rel u^4 * v^2 * u^2 * v^4 * u^2 * v * u * v^2 0 | 99997360 | 100000000 174.260 max 10^7 33 35 rel u^4 * v^2 * u * v^2 * u^2 * v * u^2 * v^4 31 | 10729695 | 10955862 10.090 max 10^7 35 37 rel u^3 * v * u^2 * v * u^2 * v^2 * u * v^2 * u * v^3 0 | 98393064 | 100000000 172.090 max 10^7 37 38 rel u^3 * v * u^2 * v * u * v^2 * u * v^3 * u^2 * v^2 712500 | 93800100 | 95569955 107.100 max 10^7 38 40 rel u^3 * v * u^2 * v^2 * u * v^3 * u^2 * v * u * v^2 0 | 99999966 | 100000000 171.980 max 10^7 40 43 rel u^3 * v * u * v * u * v^3 * u^2 * v * u * v * u * v^2 0 | 99999998 | 100000000 165.970 max 10^7 43 Total time: 2323.389 seconds, Total memory usage: 3059.16MB