Magma V2.15-13 Thu Oct 01 2009 20:44:37 on havas-xps [Seed = 3057153261] Type ? for help. Type -D to quit. CYGWIN_NT-5.1 havas-xps 1.5.25(0.156/4/2) 2008-06-12 19:34 i686 Cygwin %! uname -a %! cat last28.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 28 UNRESOLVED cases from last48.l ids := [ 1, 6, 7, 8, 10, 12, 14, 16, 18, 19, 22, 23, 24, 26, 27, 29, 31, 33, 35, 36, 37, 38, 39, 40, 43, 44, 45, 46 ]; r := [ (u^3*v*u*v^2)^2, u^3*v*u^3*v*u^3*v^2*u*v^2, u^3*v*u^3*v*u^2*v^3*u^2*v, u^3*v*u^3*v^2*u*v^3*u*v^2, (u^3*v^2*u*v^2)^2, u^10*v^2*u*v*u*v^2, u^8*v*u*v*u*v^2*u^2*v^2, u^6*v*u*v^6*u^2*v^2, u^5*v*u^2*v^2*u*v^5*u*v, u^5*v*u*v*u*v*u*v^5*u*v, u^4*v*u^3*v^3*u*v^4*u*v, u^4*v*u^2*v*u*v*u*v^2*u*v^4, u^4*v*u^2*v*u*v^2*u*v^4*u*v, u^4*v*u^2*v^2*u*v^4*u*v*u*v, u^4*v*u*v*u^2*v^2*u*v*u*v^4, u^4*v*u*v*u*v^4*u^3*v^3, u^4*v*u*v^4*u^3*v*u*v^3, u^4*v^2*u^2*v^4*u^2*v*u*v^2, u^4*v^2*u*v^2*u^2*v*u^2*v^4, u^4*v^3*u*v*u*v*u^3*v^4, u^3*v*u^2*v*u^2*v^2*u*v^2*u*v^3, u^3*v*u^2*v*u*v^2*u*v^3*u^2*v^2, u^3*v*u^2*v*u*v^2*u*v^3*u*v*u*v, u^3*v*u^2*v^2*u*v^3*u^2*v*u*v^2, u^3*v*u*v*u*v^3*u^2*v*u*v*u*v^2, u^3*v*u*v^3*u^2*v*u*v*u*v*u*v^2, u^3*v*u*v^3*u^2*v^3*u^3*v^2, u^3*v^2*u^2*v*u*v*u*v^2*u^2*v^3 ]; 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^7, 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 | 9949869 | 10000000 14.796 max 10^7 1 6 rel u^3 * v * u^3 * v * u^3 * v^2 * u * v^2 292032 | 292032 | 383211 0.672 max 10^7 6 7 rel u^3 * v * u^3 * v * u^2 * v^3 * u^2 * v 78624 | 194147 | 202091 0.282 max 10^7 7 8 rel u^3 * v * u^3 * v^2 * u * v^3 * u * v^2 110592 | 110592 | 110930 0.234 max 10^7 8 10 rel (u^3 * v^2 * u * v^2)^2 3538944 | 3538944 | 3577061 10.016 max 10^7 10 12 rel u^10 * v^2 * u * v * u * v^2 0 | 9686619 | 10000000 17.078 max 10^7 12 14 rel u^8 * v * u * v * u * v^2 * u^2 * v^2 0 | 9943315 | 10000000 18.718 max 10^7 14 16 rel u^6 * v * u * v^6 * u^2 * v^2 4 | 158388 | 159068 0.188 max 10^7 16 18 rel u^5 * v * u^2 * v^2 * u * v^5 * u * v 0 | 9999577 | 10000000 14.750 max 10^7 18 19 rel u^5 * v * u * v * u * v * u * v^5 * u * v 172032 | 416086 | 434631 0.656 max 10^7 19 22 rel u^4 * v * u^3 * v^3 * u * v^4 * u * v 0 | 9999638 | 10000000 15.250 max 10^7 22 23 rel u^4 * v * u^2 * v * u * v * u * v^2 * u * v^4 0 | 9993496 | 10000000 15.359 max 10^7 23 24 rel u^4 * v * u^2 * v * u * v^2 * u * v^4 * u * v 0 | 9998571 | 10000000 15.171 max 10^7 24 26 rel u^4 * v * u^2 * v^2 * u * v^4 * u * v * u * v 1 | 649600 | 661076 0.578 max 10^7 26 27 rel u^4 * v * u * v * u^2 * v^2 * u * v * u * v^4 0 | 10000000 | 10000000 14.343 max 10^7 27 29 rel u^4 * v * u * v * u * v^4 * u^3 * v^3 13 | 3761635 | 3767902 3.281 max 10^7 29 31 rel u^4 * v * u * v^4 * u^3 * v * u * v^3 0 | 9962370 | 10000000 15.203 max 10^7 31 33 rel u^4 * v^2 * u^2 * v^4 * u^2 * v * u * v^2 0 | 9999750 | 10000000 15.031 max 10^7 33 35 rel u^4 * v^2 * u * v^2 * u^2 * v * u^2 * v^4 0 | 9865103 | 10000000 15.469 max 10^7 35 36 rel u^4 * v^3 * u * v * u * v * u^3 * v^4 367416 | 367416 | 380551 0.937 max 10^7 36 37 rel u^3 * v * u^2 * v * u^2 * v^2 * u * v^2 * u * v^3 0 | 9834192 | 10000000 14.766 max 10^7 37 38 rel u^3 * v * u^2 * v * u * v^2 * u * v^3 * u^2 * v^2 0 | 9993709 | 10000000 15.187 max 10^7 38 39 rel u^3 * v * u^2 * v * u * v^2 * u * v^3 * u * v * u * v 1572864 | 1594393 | 2489569 7.360 max 10^7 39 40 rel u^3 * v * u^2 * v^2 * u * v^3 * u^2 * v * u * v^2 0 | 9999996 | 10000000 14.828 max 10^7 40 43 rel u^3 * v * u * v * u * v^3 * u^2 * v * u * v * u * v^2 0 | 9999998 | 10000000 14.265 max 10^7 43 44 rel u^3 * v * u * v^3 * u^2 * v * u * v * u * v * u * v^2 403368 | 403368 | 445247 1.125 max 10^7 44 45 rel u^3 * v * u * v^3 * u^2 * v^3 * u^3 * v^2 87500 | 2123240 | 2176472 2.235 max 10^7 45 46 rel u^3 * v^2 * u^2 * v * u * v * u * v^2 * u^2 * v^3 5308416 | 5308416 | 5474322 25.031 max 10^7 46 Total time: 283.125 seconds, Total memory usage: 273.47MB