*----* MuPAD 1.4.2 -- The Open Computer Algebra System /| /| *----* | Copyright (c) 1997 - 1999 by SciFace Software | *--|-* All rights reserved. |/ |/ *----* Licensed to: Nicolas M. Thiery for the MACS department >> read("mupadinit"): >> IC:=IR(Q,Cn(8)): Module GLIP version 0.3fix2 ready. Type GLIP::doc(); for usage information\ . >> IC::minimalGeneratingSet(); ==========================================================================\ ==== Computation of a minimal generating set using SAGBI+linear algebra. Version: $Id: PGrpIRng.mu,v 1.25 2000/10/10 21:27:08 nthiery Exp $ Date: mer oct 11 10:51:15 MDT 2000 Host: cox.Mines.EDU ==========================================================================\ ==== secondaryInvariantsSeries: Computation from cycle types secondaryInvariantsSeries: working on cycletype, [0, 0, 0, 0, 0, 0, 0, 1] secondaryInvariantsSeries: working on cycletype, [0, 0, 0, 2, 0, 0, 0, 0] secondaryInvariantsSeries: working on cycletype, [0, 4, 0, 0, 0, 0, 0, 0] secondaryInvariantsSeries: working on cycletype, [8, 0, 0, 0, 0, 0, 0, 0] degreeBound: enhanced from the degree of the primary invariants degreeBound: enhanced from the size of the group Constructing Minimal Generating Set at degree 0 No generators at degree 0 Constructing Minimal Generating Set at degree 1 Constructing the initial poset at degree 1 Looking for S-pairs by iterating through all 1 initial monomials . Statistics for degree 1: Date: mer oct 11 10:51:16 MDT 2000 Time: 90 ms Memory: 2229 ko. S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Minimal generators: 1 -------------------------------------- [1, 0, 0, 0, 0, 0, 0, 0] -------------------------------------- 1 140 2245952 #Stats: degree,time(ms),mem(bytes) Constructing Minimal Generating Set at degree 2 Constructing the initial poset at degree 2 Looking for S-pairs by iterating through all 5 initial monomials ..... Statistics for degree 2: Date: mer oct 11 10:51:16 MDT 2000 Time: 20 ms Memory: 2245 ko. S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Minimal generators: 4 -------------------------------------- [1, 0, 0, 0, 1, 0, 0, 0] [1, 0, 0, 1, 0, 0, 0, 0] [1, 0, 1, 0, 0, 0, 0, 0] [1, 1, 0, 0, 0, 0, 0, 0] -------------------------------------- 2 20 2245952 #Stats: degree,time(ms),mem(bytes) Constructing Minimal Generating Set at degree 3 Constructing the initial poset at degree 3 Looking for S-pairs by iterating through all 15 initial monomials ............... Statistics for degree 3: Date: mer oct 11 10:51:16 MDT 2000 Time: 50 ms Memory: 2262 ko. S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Minimal generators: 10 -------------------------------------- [1, 0, 1, 0, 0, 1, 0, 0] [1, 0, 1, 0, 1, 0, 0, 0] [1, 1, 0, 0, 0, 0, 1, 0] [1, 1, 0, 0, 0, 1, 0, 0] [1, 1, 0, 0, 1, 0, 0, 0] [1, 1, 0, 1, 0, 0, 0, 0] [1, 1, 1, 0, 0, 0, 0, 0] [2, 0, 0, 0, 0, 0, 0, 1] [2, 0, 0, 0, 0, 0, 1, 0] [2, 0, 0, 0, 0, 1, 0, 0] -------------------------------------- 3 60 2262336 #Stats: degree,time(ms),mem(bytes) Constructing Minimal Generating Set at degree 4 Constructing the initial poset at degree 4 Looking for S-pairs by iterating through all 43 initial monomials ..................26:Snr+.........17:Snr+...14:Snr+...11:Snr+.......... Statistics for degree 4: Date: mer oct 11 10:51:16 MDT 2000 Time: 500 ms Memory: 2377 ko. S-Pairs: 4 (+ 0 normalf->0 + 0 reduction->0 + 4 non-lcm->0) Minimal generators: 18 -------------------------------------- [1, 0, 1, 0, 1, 0, 1, 0] [1, 1, 0, 0, 1, 0, 1, 0] [1, 1, 0, 0, 1, 1, 0, 0] [1, 1, 0, 1, 0, 0, 1, 0] [1, 1, 0, 1, 0, 1, 0, 0] [1, 1, 0, 1, 1, 0, 0, 0] [1, 1, 1, 0, 0, 0, 1, 0] [1, 1, 1, 0, 0, 1, 0, 0] [1, 1, 1, 0, 1, 0, 0, 0] [1, 1, 1, 1, 0, 0, 0, 0] [2, 0, 0, 0, 0, 0, 1, 1] [2, 0, 0, 0, 0, 1, 0, 1] [2, 0, 0, 0, 0, 1, 1, 0] [2, 0, 0, 0, 1, 0, 0, 1] [2, 0, 0, 0, 1, 0, 1, 0] [2, 0, 0, 0, 1, 1, 0, 0] [2, 0, 0, 1, 0, 0, 1, 0] [2, 0, 0, 1, 0, 1, 0, 0] -------------------------------------- 4 520 2377024 #Stats: degree,time(ms),mem(bytes) Constructing Minimal Generating Set at degree 5 Constructing the initial poset at degree 5 Looking for S-pairs by iterating through all 99 initial monomials ................84:Snr+.83:Snr+.82:Snr+.81:Snr+.80:Snr+....76:Snr+..74:Snr\ +.73:Snr+.72:Snr+.71:Snr+...68:Snr+...65:Snr+...........................38\ :Snr+..36:Snr+....32:Snr+....28:Snr+....24:Snr+Snr+....20:Snr+....16:Snr+S\ nr+....12:Snr+Snr+Snr+....8:Snr+Snr+....... Statistics for degree 5: Date: mer oct 11 10:51:21 MDT 2000 Time: 5 s 120 ms Memory: 2770 ko. S-Pairs: 26 (+ 0 normalf->0 + 0 reduction->0 + 20 non-lcm->0) Minimal generators: 16 -------------------------------------- [1, 1, 0, 1, 1, 0, 1, 0] [1, 1, 1, 0, 0, 1, 1, 0] [1, 1, 1, 0, 1, 0, 1, 0] [1, 1, 1, 0, 1, 1, 0, 0] [1, 1, 1, 1, 0, 0, 1, 0] [1, 1, 1, 1, 0, 1, 0, 0] [1, 1, 1, 1, 1, 0, 0, 0] [2, 0, 0, 0, 0, 1, 1, 1] [2, 0, 0, 0, 1, 0, 1, 1] [2, 0, 0, 0, 1, 1, 0, 1] [2, 0, 0, 0, 1, 1, 1, 0] [2, 0, 0, 1, 0, 0, 1, 1] [2, 0, 0, 1, 0, 1, 0, 1] [2, 0, 0, 1, 0, 1, 1, 0] [2, 0, 0, 1, 1, 0, 0, 1] [2, 0, 0, 1, 1, 1, 0, 0] -------------------------------------- 5 5140 2770240 #Stats: degree,time(ms),mem(bytes) Constructing Minimal Generating Set at degree 6 Constructing the initial poset at degree 6 Looking for S-pairs by iterating through all 217 initial monomials ..........208:Snr+..206:Snr+..204:Snr+.........195:Snr+........187:Snr+...\ 184:Snr+........176:Snr+...173:Snr+...170:Snr+.....165:Snr+....161:Snr+..1\ 59:Snr+....155:Snr+...152:Snr+......146:Snr+......140:Snr+.....135:Snr+Snr\ +Snr+.134:Snr+Snr+.133:Snr+Snr+.132:Snr+.131:Snr+Snr+.130:Snr+Snr+.129:Snr\ +Snr+.128:Snr+.127:Snr+.126:Snr+Snr+.125:Snr+Snr+.124:Snr+Snr+.123:Snr+Snr\ +.122:Snr+Snr+Snr+.121:Snr+Snr+.120:Snr+.119:Snr+Snr+Snr+.118:Snr+Snr+...1\ 15:Snr+.114:Snr+Snr+.113:Snr+Snr+.112:Snr+Snr+.111:Snr+.110:Snr+Snr+Snr+.1\ 09:Snr+.108:Snr+.107:Snr+.106:Snr*Snr*Snr*...103:Snr*Snr*.102:Snr*Snr*Snr*\ ................86:Snr*....82:Snr*......76:Snr*......70:Snr*......64:Snr*.\ .....58:Snr*.....53:Snr*.52:Snr*....48:Snr*.47:Snr*.46:Snr*......40:Snr*..\ ..36:Snr*Snr*Snr*Snr*..34:Snr*....30:Snr*Snr*......24:Snr*Snr*.....19:Snr*\ Snr*Snr*....15:Snr*Snr*Snr*Snr*....11:Snr*...8:Snr*Snr*Snr*Snr*....... Statistics for degree 6: Date: mer oct 11 10:52:02 MDT 2000 Time: 40 s 260 ms Memory: 3999 ko. S-Pairs: 65 (+ 0 normalf->0 + 41 reduction->0 + 126 non-lcm->0) Minimal generators: 8 -------------------------------------- [1, 1, 1, 0, 1, 1, 1, 0] [1, 1, 1, 1, 0, 1, 1, 0] [1, 1, 1, 1, 1, 0, 1, 0] [2, 0, 0, 0, 1, 1, 1, 1] [2, 0, 0, 1, 0, 1, 1, 1] [2, 0, 0, 1, 1, 0, 1, 1] [2, 0, 0, 1, 1, 1, 0, 1] [2, 0, 0, 1, 2, 0, 0, 1] -------------------------------------- 6 40270 3999040 #Stats: degree,time(ms),mem(bytes) Constructing Minimal Generating Set at degree 7 Constructing the initial poset at degree 7 Looking for S-pairs by iterating through all 429 initial monomials ............................................386:Snr+Snr+...383:Snr+Snr+.38\ 2:Snr+..380:Snr+Snr+...377:Snr+Snr+....373:Snr+..371:Snr+.370:Snr+.....365\ :Snr+Snr+.364:Snr+..362:Snr+Snr+...359:Snr+Snr+...356:Snr+..354:Snr+.353:S\ nr+Snr+...350:Snr+..348:Snr+.347:Snr+Snr+......341:Snr+Snr+.....336:Snr+Sn\ r+.335:Snr+...332:Snr+...329:Snr+Snr+.....324:Snr+Snr+.323:Snr+...320:Snr+\ Snr+...317:Snr+Snr+.316:Snr+Snr+...313:Snr+Snr+Snr+.312:Snr+..............\ ............286:Snr+......280:Snr+...277:Snr+...........266:Snr+.265:Snr+S\ nr+...262:Snr+Snr+.261:Snr+Snr+...258:Snr+.257:Snr+..255:Snr+Snr+Snr+.254:\ Snr+..252:Snr+.251:Snr+..249:Snr+Snr+Snr+.248:Snr+..246:Snr+Snr+..244:Snr+\ ...241:Snr+Snr+....237:Snr+Snr+Snr+.236:Snr+Snr+...233:Snr+Snr+...230:Snr+\ Snr+.229:Snr+Snr+Snr+.228:Snr+...225:Snr+Snr+Snr+.224:Snr+...221:Snr+..219\ :Snr+.218:Snr+Snr+.217:Snr+....213:Snr+...210:Snr+Snr+..208:Snr+..206:Snr+\ .205:Snr+Snr+....201:Snr+Snr+Snr+.200:Snr+Snr+...197:Snr+...194:Snr+Snr+.1\ 93:Snr+Snr+Snr+....189:Snr+Snr+Snr+....185:Snr*...182:Snr*Snr*Snr*.181:Snr\ *Snr*Snr*........173:Snr*Snr*...170:Snr*Snr*Snr*.169:Snr*Snr*Snr*....165:S\ nr*...162:Snr*Snr*Snr*Snr*Snr*.161:Snr*Snr*Snr*Snr*Snr*.160:Snr*Snr*Snr*Sn\ r*Snr*.159:Snr*Snr*Snr*.158:Snr*Snr*Snr*.157:Snr*Snr*Snr*Snr*Snr*Snr*.156:\ Snr*Snr*.155:Snr*Snr*Snr*Snr*Snr*.154:Snr*Snr*Snr*Snr*Snr*Snr*Snr*.153:Snr\ *Snr*Snr*Snr*.152:Snr*Snr*Snr*Snr*.151:Snr*Snr*Snr*Snr*Snr*Snr*.150:Snr*Sn\ r*Snr*Snr*Snr*Snr*.149:Snr*Snr*Snr*Snr*Snr*Snr*Snr*.148:Snr*Snr*Snr*Snr*.1\ 47:Snr*Snr*Snr*Snr*.146:Snr*Snr*Snr*Snr*.145:Snr*Snr*Snr*Snr*Snr*Snr*Snr*.\ 144:Snr*Snr*.143:Snr*Snr*Snr*.142:Snr*Snr*.141:Snr*Snr*Snr*.140:Snr*Snr*.1\ 39:Snr*Snr*Snr*Snr*Snr*.138:Snr*Snr*.137:Snr*Snr*Snr*.136:Snr*Snr*.135:Snr\ *Snr*Snr*Snr*Snr*Snr*.134:Snr*Snr*Snr*Snr*.133:Snr*Snr*Snr*Snr*Snr*.132:Sn\ r*..130:Snr*Snr*Snr*.129:Snr*Snr*.128:Snr*................................\ ....92:Snr*.....87:Snr*Snr*Snr*......81:Snr*Snr*.80:Snr*Snr*Snr*......74:S\ nr*Snr*..........64:Snr*.63:Snr*Snr*Snr*.62:Snr*.......55:Snr*.54:Snr*Snr*\ .53:Snr*Snr*Snr*..51:Snr*.50:Snr*Snr*.......43:Snr*Snr*......37:Snr*Snr*Sn\ r*...........26:Snr*..24:Snr*.23:Snr*Snr*Snr*........15:Snr*Snr*Snr*Snr*Sn\ r*...12:Snr*Snr*...9:Snr*Snr*Snr*.....4:Snr*Snr*Snr*Snr*... Statistics for degree 7: Date: mer oct 11 10:55:36 MDT 2000 Time: 3 min 32 s 980 ms Memory: 7791 ko. S-Pairs: 118 (+ 0 normalf->0 + 198 reduction->0 + 420 non-lcm->0) Minimal generators: 4 -------------------------------------- [1, 1, 1, 1, 1, 1, 1, 0] [2, 0, 0, 1, 1, 1, 1, 1] [2, 0, 1, 0, 1, 1, 1, 1] [2, 0, 1, 1, 0, 1, 1, 1] -------------------------------------- 7 212990 7791844 #Stats: degree,time(ms),mem(bytes) Constructing Minimal Generating Set at degree 8 Constructing the initial poset at degree 8 Looking for S-pairs by iterating through all 810 initial monomials ......................................773:Snr+..771:Snr+..769:Snr+........\ .......754:Snr+..752:Snr+...............737:Snr+..735:Snr+....731:Snr+..72\ 9:Snr+...............................................682:Snr+Snr+.........\ ...670:Snr+Snr+......664:Snr+Snr+....................644:Snr+Snr+.643:Snr+\ Snr+Snr+..641:Snr+Snr+.640:Snr+Snr+Snr+...637:Snr+...634:Snr+Snr+..632:Snr\ +Snr+.631:Snr+Snr+Snr+..629:Snr+.628:Snr+Snr+Snr+..626:Snr+.625:Snr+Snr+Sn\ r+..623:Snr+Snr+Snr+Snr+...620:Snr+Snr+Snr+Snr+..618:Snr+.617:Snr+Snr+.616\ :Snr+Snr+Snr+.615:Snr+Snr+...612:Snr+Snr+Snr+.611:Snr+Snr+...608:Snr+..606\ :Snr+Snr+Snr+Snr+.605:Snr+Snr+...602:Snr+.601:Snr+Snr+.600:Snr+.599:Snr+Sn\ r+Snr+.598:Snr+Snr+Snr+.597:Snr+..595:Snr+Snr+Snr+.594:Snr+Snr+Snr+Snr+.59\ 3:Snr+Snr+...590:Snr+Snr+Snr+Snr+.589:Snr+.588:Snr+.587:Snr+Snr+Snr+Snr+..\ ..583:Snr+Snr+Snr+.582:Snr+Snr+Snr+Snr+Snr+.581:Snr+Snr+...578:Snr+Snr+Snr\ +..576:Snr+Snr+Snr+.575:Snr+Snr+Snr+Snr+.574:Snr+..572:Snr+.571:Snr+Snr+Sn\ r+Snr+.570:Snr+Snr+Snr+Snr+.....565:Snr+..563:Snr+Snr+Snr+.562:Snr+Snr+Snr\ +.561:Snr+..559:Snr+Snr+Snr+.558:Snr+Snr+Snr+Snr+.557:Snr+Snr+...554:Snr+S\ nr+Snr+Snr+.553:Snr+Snr+Snr+.552:Snr+.551:Snr+Snr+Snr+....547:Snr+Snr+Snr+\ .546:Snr+Snr+Snr+Snr+Snr+.545:Snr+...542:Snr+Snr+Snr+.541:Snr+Snr+Snr+.540\ :Snr+Snr+Snr+.539:Snr+Snr+Snr+...536:Snr+.535:Snr+Snr+Snr+.534:Snr+Snr+Snr\ +Snr+Snr+....530:Snr+Snr+.529:Snr+.528:Snr+Snr+.527:Snr*Snr*Snr*Snr*...524\ :Snr*Snr*.523:Snr*Snr*Snr*.522:Snr*Snr*Snr*Snr*Snr*....518:Snr*Snr*.517:Sn\ r*Snr*.516:Snr*Snr*..514:Snr*Snr*..512:Snr*Snr*Snr*Snr*.511:Snr*Snr*...508\ :Snr*Snr*.507:Snr*...504:Snr*Snr*Snr*....500:Snr*Snr*Snr*Snr*Snr*.499:Snr*\ Snr*Snr*Snr*...496:Snr*Snr*Snr*Snr*.495:Snr*Snr*..493:Snr*Snr*.492:Snr*Snr\ *Snr*Snr*...489:Snr*.488:Snr*Snr*Snr*Snr*Snr*Snr*...485:Snr*Snr*Snr*Snr*.4\ 84:Snr*Snr*Snr*Snr*Snr*Snr*.......................461:Snr*.............448\ :Snr*..446:Snr*..444:Snr*..442:Snr*.......435:Snr*...432:Snr*..430:Snr*..4\ 28:Snr*....424:Snr*.423:Snr*....419:Snr*.418:Snr*....414:Snr*.413:Snr*.412\ :Snr*.411:Snr*.......404:Snr*Snr*Snr*........396:Snr*Snr*.395:Snr*Snr*....\ .390:Snr*.389:Snr*Snr*....385:Snr*.384:Snr*..382:Snr*....378:Snr*Snr*Snr*.\ 377:Snr*Snr*....373:Snr*Snr*Snr*.......366:Snr*Snr*.365:Snr*Snr*...362:Snr\ *Snr*Snr*...359:Snr*Snr*.....354:Snr*.....349:Snr*Snr*.348:Snr*......342:S\ nr*Snr*Snr*.341:Snr*Snr*....337:Snr*Snr*Snr*.......330:Snr*.329:Snr*....32\ 5:Snr*Snr*Snr*............313:Snr*Snr*Snr*..311:Snr*.....306:Snr*....302:S\ nr*Snr*..300:Snr*Snr*Snr*.299:Snr*Snr*.298:Snr*Snr*.297:Snr*.296:Snr*..294\ :Snr*Snr*Snr*.293:Snr*Snr*Snr*..291:Snr*Snr*Snr*Snr*.290:Snr*Snr*Snr*Snr*S\ nr*..288:Snr*Snr*Snr*Snr*Snr*Snr*...285:Snr*Snr*.284:Snr*Snr*..282:Snr*Snr\ *Snr*Snr*Snr*...279:Snr*Snr*..277:Snr*Snr*.276:Snr*Snr*Snr*.275:Snr*Snr*Sn\ r*Snr*Snr*Snr*.274:Snr*Snr*.273:Snr*Snr*.272:Snr*.271:Snr*Snr*Snr*Snr*.270\ :Snr*Snr*Snr*Snr*.269:Snr*....265:Snr*Snr*.264:Snr*Snr*Snr*..262:Snr*Snr*.\ ..259:Snr*Snr*Snr*Snr*Snr*.258:Snr*Snr*Snr*Snr*Snr*....254:Snr*Snr*Snr*Snr\ *Snr*Snr*.253:Snr*Snr*Snr*Snr*Snr*Snr*Snr*.252:Snr*Snr*Snr*Snr*Snr*Snr*Snr\ *...249:Snr*..247:Snr*Snr*Snr*Snr*Snr*.246:Snr*Snr*Snr*....242:Snr*Snr*..2\ 40:Snr*Snr*Snr*.239:Snr*Snr*.238:Snr*..236:Snr*..234:Snr*Snr*Snr*Snr*Snr*.\ 233:Snr*Snr*Snr*Snr*Snr*.232:Snr*Snr*Snr*Snr*Snr*Snr*..230:Snr*Snr*Snr*...\ 227:Snr*Snr*Snr*Snr*Snr*Snr*.226:Snr*....222:Snr*Snr*Snr*Snr*Snr*...219:Sn\ r*Snr*Snr*Snr*.218:Snr*..216:Snr*Snr*Snr*.215:Snr*Snr*Snr*Snr*Snr*.214:Snr\ *Snr*Snr*Snr*.213:Snr*Snr*.212:Snr*Snr*.211:Snr*.210:Snr*Snr*.209:Snr*Snr*\ Snr*Snr*Snr*..207:Snr*Snr*Snr*Snr*Snr*.206:Snr*Snr*Snr*Snr*.205:Snr*Snr*..\ .202:Snr*Snr*Snr*Snr*Snr*...199:Snr*Snr*Snr*Snr*Snr*Snr*.198:Snr*Snr*Snr*S\ nr*Snr*Snr*..196:Snr*..194:Snr*Snr*Snr*Snr*Snr*.193:Snr*Snr*Snr*...190:Snr\ *Snr*Snr*.189:Snr*Snr*Snr*Snr*.188:Snr*Snr*Snr*Snr*Snr*Snr*.187:Snr*Snr*Sn\ r*.186:Snr*Snr*.185:Snr*.184:Snr*..182:Snr*Snr*Snr*...179:Snr*Snr*Snr*Snr*\ Snr*.178:Snr*Snr*Snr*Snr*Snr*....174:Snr*Snr*Snr*Snr*Snr*Snr*.173:Snr*Snr*\ Snr*Snr*Snr*.172:Snr*Snr*Snr*Snr*Snr*Snr*...169:Snr*..167:Snr*Snr*.166:Snr\ *...163:Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*.162:Snr*Snr*Snr*S\ nr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*.161:Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Sn\ r*Snr*.160:Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*.159:Snr*Snr*Snr*Sn\ r*Snr*Snr*Snr*Snr*Snr*.158:Snr*Snr*Snr*Snr*Snr*Snr*Snr*.157:Snr*Snr*Snr*Sn\ r*Snr*Snr*Snr*.156:Snr*Snr*Snr*Snr*Snr*Snr*.155:Snr*Snr*Snr*Snr*Snr*.154:S\ nr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*.153:Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Sn\ r*Snr*Snr*.152:Snr*Snr*Snr*Snr*Snr*.151:Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Sn\ r*Snr*.150:Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*.149:Snr*Snr*Snr*.1\ 48:Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*.147:Snr*Snr*Snr*Snr*Sn\ r*Snr*Snr*Snr*Snr*Snr*Snr*Snr*Snr*.146:Snr*Snr*Snr*Snr*Snr*.145:Snr*Snr*Sn\ r*Snr*Snr*.144:Snr*Snr*Snr*Snr*Snr*Snr*.143:Snr*Snr*.............130:Snr*.\ 129:Snr*......123:Snr*.122:Snr*...119:Snr*..117:Snr*.116:Snr*...........10\ 5:Snr*.104:Snr*.103:Snr*........95:Snr*.94:Snr*.93:Snr*.92:Snr*...........\ .80:Snr*.79:Snr*......73:Snr*........65:Snr*.64:Snr*.63:Snr*.........54:Sn\ r*......48:Snr*Snr*......42:Snr*......36:Snr*Snr*Snr*.35:Snr*Snr*.....30:S\ nr*Snr*Snr*Snr*Snr*Snr*Snr*......24:Snr*Snr*Snr*Snr*Snr*....20:Snr*Snr*..1\ 8:Snr*Snr*Snr*Snr*Snr*....14:Snr*Snr*Snr*Snr*Snr*Snr*..12:Snr*Snr*........\ .3:Snr*Snr*Snr*Snr*.. Statistics for degree 8: Date: mer oct 11 11:13:04 MDT 2000 Time: 17 min 17 s 720 ms Memory: 16213 ko. S-Pairs: 192 (+ 0 normalf->0 + 646 reduction->0 + 1550 non-lcm->0) Minimal generators: 4 -------------------------------------- [1, 1, 1, 1, 1, 1, 1, 1] [2, 0, 1, 1, 1, 1, 1, 1] [2, 0, 1, 1, 2, 0, 1, 1] [2, 0, 2, 0, 1, 2, 0, 1] -------------------------------------- 8 1037730 16213036 #Stats: degree,time(ms),mem(bytes) Total time: 21 min 36 s 990 ms table( 1 = [[1, 0, 0, 0, 0, 0, 0, 0]], 2 = [[1, 0, 0, 0, 1, 0, 0, 0], [1, 0, 0, 1, 0, 0, 0, 0], [1, 0, 1, 0, 0,\ 0, 0, 0], [1, 1, 0, 0, 0, 0, 0, 0]], 3 = [[1, 0, 1, 0, 0, 1, 0, 0], [1, 0, 1, 0, 1, 0, 0, 0], [1, 1, 0, 0, 0,\ 0, 1, 0], [1, 1, 0, 0, 0, 1, 0, 0], [1, 1, 0, 0, 1, 0, 0, 0], [1, 1, 0, 1\ , 0, 0, 0, 0], [1, 1, 1, 0, 0, 0, 0, 0], [2, 0, 0, 0, 0, 0, 0, 1], [2, 0, \ 0, 0, 0, 0, 1, 0], [2, 0, 0, 0, 0, 1, 0, 0]], 4 = [[1, 0, 1, 0, 1, 0, 1, 0], [1, 1, 0, 0, 1, 0, 1, 0], [1, 1, 0, 0, 1,\ 1, 0, 0], [1, 1, 0, 1, 0, 0, 1, 0], [1, 1, 0, 1, 0, 1, 0, 0], [1, 1, 0, 1\ , 1, 0, 0, 0], [1, 1, 1, 0, 0, 0, 1, 0], [1, 1, 1, 0, 0, 1, 0, 0], [1, 1, \ 1, 0, 1, 0, 0, 0], [1, 1, 1, 1, 0, 0, 0, 0], [2, 0, 0, 0, 0, 0, 1, 1], [2,\ 0, 0, 0, 0, 1, 0, 1], [2, 0, 0, 0, 0, 1, 1, 0], [2, 0, 0, 0, 1, 0, 0, 1],\ [2, 0, 0, 0, 1, 0, 1, 0], [2, 0, 0, 0, 1, 1, 0, 0], [2, 0, 0, 1, 0, 0, 1,\ 0], [2, 0, 0, 1, 0, 1, 0, 0]], 5 = [[1, 1, 0, 1, 1, 0, 1, 0], [1, 1, 1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 1,\ 0, 1, 0], [1, 1, 1, 0, 1, 1, 0, 0], [1, 1, 1, 1, 0, 0, 1, 0], [1, 1, 1, 1\ , 0, 1, 0, 0], [1, 1, 1, 1, 1, 0, 0, 0], [2, 0, 0, 0, 0, 1, 1, 1], [2, 0, \ 0, 0, 1, 0, 1, 1], [2, 0, 0, 0, 1, 1, 0, 1], [2, 0, 0, 0, 1, 1, 1, 0], [2,\ 0, 0, 1, 0, 0, 1, 1], [2, 0, 0, 1, 0, 1, 0, 1], [2, 0, 0, 1, 0, 1, 1, 0],\ [2, 0, 0, 1, 1, 0, 0, 1], [2, 0, 0, 1, 1, 1, 0, 0]], 6 = [[1, 1, 1, 0, 1, 1, 1, 0], [1, 1, 1, 1, 0, 1, 1, 0], [1, 1, 1, 1, 1,\ 0, 1, 0], [2, 0, 0, 0, 1, 1, 1, 1], [2, 0, 0, 1, 0, 1, 1, 1], [2, 0, 0, 1\ , 1, 0, 1, 1], [2, 0, 0, 1, 1, 1, 0, 1], [2, 0, 0, 1, 2, 0, 0, 1]], 7 = [[1, 1, 1, 1, 1, 1, 1, 0], [2, 0, 0, 1, 1, 1, 1, 1], [2, 0, 1, 0, 1,\ 1, 1, 1], [2, 0, 1, 1, 0, 1, 1, 1]], 8 = [[1, 1, 1, 1, 1, 1, 1, 1], [2, 0, 1, 1, 1, 1, 1, 1], [2, 0, 1, 1, 2,\ 0, 1, 1], [2, 0, 2, 0, 1, 2, 0, 1]] ) >> quit