*----* MuPAD 2.0.0 -- The Open Computer Algebra System /| /| *----* | Copyright (c) 1997 - 2000 by SciFace Software | *--|-* All rights reserved. |/ |/ *----* Licensed to: Nicolas M. Thiery >> read("testDegreeBounds.mu"): compTGroupF(7,3,0):quit proc InvariantRingTransitiveGroup(n, i, p) ... end Info: Computation of the invariant ring of the 3rd transitive permutation \ group on 7 variables in characteristic 0. Info: Module GLIP version 0.4 ready. Type GLIP::doc(); for usage informati\ on. Info: ====================================================================\ ========== Info: Computation of a minimal generating set using SAGBI+linear algebra. Info: Version: $Id: comphead.mu,v 1.2 2001/03/21 17:51:40 nthiery Exp $ Date: Wed May 2 19:59:12 CEST 2001 Host: giulia3.medicis.polytechnique.fr Info: ====================================================================\ ========== Info: degreeBound: from the dimension of the space: 21 Info: secondaryInvariantsSeries: Computation from cycle types Info: secondaryInvariantsSeries: working on cycletype, [1, 0, 2, 0, 0, 0, \ 0] Info: secondaryInvariantsSeries: working on cycletype, [7, 0, 0, 0, 0, 0, \ 0] Info: secondaryInvariantsSeries: working on cycletype, [0, 0, 0, 0, 0, 0, \ 1] Info: degreeBound: enhancement from the degrees of the primary invariants:\ 18 Info: degreeBound: enhancement from the size of the group: 13 Info: Constructing a minimal generating set at degree 0 Info: No generators at degree 0 Info: Constructing a minimal generating set at degree 1 Info: Constructing the initial poset at degree 1 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 1 initial monomials . Info: Applying Gauss Elimination Info: Extracting initial monomials that are not hit Info: Dim: 1 Skiped: 0 Char Col: 0 Mgs: 1 Info: 1 20 2846049 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 1: Date: Wed May 2 19:59:12 CEST 2001 Info: Time: 20 ms Info: Memory: 2846 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 1 Info: -------------------------------------- Info: [1, 0, 0, 0, 0, 0, 0] Info: -------------------------------------- Info: Constructing a minimal generating set at degree 2 Info: Constructing the initial poset at degree 1 Info: Constructing the initial poset at degree 2 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 2 initial monomials .. Info: Applying Gauss Elimination Info: Extracting initial monomials that are not hit Info: Dim: 2 Skiped: 1 Char Col: 0 Mgs: 1 Info: 2 10 2846049 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 2: Date: Wed May 2 19:59:12 CEST 2001 Info: Time: 10 ms Info: Memory: 2846 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 1 Info: -------------------------------------- Info: [1, 1, 0, 0, 0, 0, 0] Info: -------------------------------------- Info: Constructing a minimal generating set at degree 3 Info: Constructing the initial poset at degree 3 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 6 initial monomials ...... Info: Applying Gauss Elimination Info: Extracting initial monomials that are not hit Info: Dim: 6 Skiped: 2 Char Col: 0 Mgs: 4 Info: 3 10 2862433 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 3: Date: Wed May 2 19:59:12 CEST 2001 Info: Time: 10 ms Info: Memory: 2862 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 4 Info: -------------------------------------- Info: [1, 1, 0, 0, 0, 1, 0] Info: [1, 1, 0, 1, 0, 0, 0] Info: [1, 1, 1, 0, 0, 0, 0] Info: [2, 0, 0, 1, 0, 0, 0] Info: -------------------------------------- Info: Constructing a minimal generating set at degree 4 Info: Constructing the initial poset at degree 4 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 12 initial monomials ............ Info: Applying Gauss Elimination Info: Extracting initial monomials that are not hit Info: Dim: 12 Skiped: 7 Char Col: 0 Mgs: 5 Info: 4 20 2862433 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 4: Date: Wed May 2 19:59:13 CEST 2001 Info: Time: 20 ms Info: Memory: 2862 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 5 Info: -------------------------------------- Info: [1, 1, 1, 0, 0, 1, 0] Info: [1, 1, 1, 0, 1, 0, 0] Info: [1, 1, 1, 1, 0, 0, 0] Info: [2, 0, 0, 1, 0, 1, 0] Info: [2, 1, 0, 0, 0, 0, 1] Info: -------------------------------------- Info: Constructing a minimal generating set at degree 5 Info: Constructing the initial poset at degree 5 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 24 initial monomials ......pp.p.p..p.p.p..p..p.p.p...... Info: Applying Gauss Elimination [5:2][6:2][7:2]........ Info: Extracting initial monomials that are not hit Info: Dim: 24 Skiped: 5 Char Col: 11 Mgs: 8 Info: 5 90 2895201 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 5: Date: Wed May 2 19:59:13 CEST 2001 Info: Time: 90 ms Info: Memory: 2895 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 8 Info: -------------------------------------- Info: [1, 1, 1, 1, 1, 0, 0] Info: [2, 0, 0, 1, 0, 1, 1] Info: [2, 1, 0, 0, 0, 1, 1] Info: [2, 1, 0, 1, 0, 0, 1] Info: [2, 1, 0, 1, 0, 1, 0] Info: [2, 1, 1, 0, 0, 0, 1] Info: [2, 2, 0, 0, 0, 0, 1] Info: [2, 2, 0, 0, 1, 0, 0] Info: -------------------------------------- Info: Constructing a minimal generating set at degree 6 Info: Constructing the initial poset at degree 6 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 48 initial monomials .........pp.p.p.p.p.p.p.pp.pp..p.p.p.ppp.p..p....p.p.pp.p.pp..p..p....p..p\ ..... Info: Applying Gauss Elimination [8:2][9:2][10:2][11:2][12:2][13:2][14:2][15:3][16:2][18:3][19:3][20:2][21:4][22:5][23:2][24:5][25:3][26:3][27:2][28:2][29:2][30:3][31:2][32:3][33:2][34:2]..... Info: Extracting initial monomials that are not hit Info: Dim: 48 Skiped: 9 Char Col: 31 Mgs: 8 Info: 6 250 2960737 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 6: Date: Wed May 2 19:59:13 CEST 2001 Info: Time: 250 ms Info: Memory: 2960 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 8 Info: -------------------------------------- Info: [1, 1, 1, 1, 1, 1, 0] Info: [2, 1, 0, 1, 0, 1, 1] Info: [2, 1, 1, 0, 0, 1, 1] Info: [2, 1, 1, 1, 0, 0, 1] Info: [2, 1, 1, 1, 0, 1, 0] Info: [2, 2, 0, 0, 0, 1, 1] Info: [2, 2, 0, 0, 1, 0, 1] Info: [2, 2, 0, 1, 0, 0, 1] Info: -------------------------------------- Info: Constructing a minimal generating set at degree 7 Info: Constructing the initial poset at degree 7 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 86 initial monomials .....................pp..pp.p.p.p..pp.p.p.p.p.p.p.p.p.p.p.p.ppp.p.p.pp.ppp\ .p.p.p.ppp..p.pp.ppp.p..p..p..p.pp......p.p.p..p.pp.pp..p..p........p.. Info: Applying Gauss Elimination [20:2][22:2][23:2][24:2][25:3].[27:2][28:2][29:2][30:2].[32:2].[34:3][35:3][36:2][37:3][38:2][39:5].[41:4][42:3][43:5][44:2][45:4].[47:5][48:3][49:3][50:5][51:8][52:8][53:3][54:9][55:4][56:5][57:4][58:6][59:10][60:6][61:5][62:6][63:5][64:5][65:2][66:5][67:4][68:3][69:3][70:5][71:5][72:4][73:4][74:3][75:2][76:3][77:2].. Info: Extracting initial monomials that are not hit Info: Dim: 86 Skiped: 21 Char Col: 59 Mgs: 6 Info: 7 490 3059041 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 7: Date: Wed May 2 19:59:14 CEST 2001 Info: Time: 490 ms Info: Memory: 3059 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 6 Info: -------------------------------------- Info: [1, 1, 1, 1, 1, 1, 1] Info: [2, 1, 1, 1, 0, 1, 1] Info: [2, 2, 0, 0, 1, 1, 1] Info: [2, 2, 0, 1, 0, 1, 1] Info: [2, 2, 0, 1, 0, 2, 0] Info: [2, 2, 0, 1, 1, 0, 1] Info: -------------------------------------- Info: Constructing a minimal generating set at degree 8 Info: Constructing the initial poset at degree 8 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 147 initial monomials ...........................pp.p.p..p.p.p.p.p.p......p.pp..pp.p.p.pp.p.ppp.\ pp...pp.p.p.p.p.pppp.ppp.p.ppp.p..p.p....pp.pp.p.p.pp.p.pp.p.pp.p.pp..pp.p\ .p.pp..p.p.p.pp.p.p.ppp.ppppp.p.pp.p.ppppp...p.pp.p.p.pp.pppp...p..p..p.p.\ .pp.p.pp.....p..p....p.pp.p..p.p..p..p..pp.......p Info: Applying Gauss Elimination [26:2][27:2][28:2][30:2][31:2][32:2][33:2][34:2][35:2][41:2][42:2][44:2][45:2][46:2][47:3][48:2][49:5][50:3][53:2][54:4][55:3][56:4][57:2][58:5][59:5][60:5][61:5][62:6][63:3][64:6][65:7][66:3][67:4][68:4][69:4][70:5][71:5][72:4][73:6][74:2][75:10][76:2][77:8][78:3][79:4][80:6][81:6][82:10][83:3][84:7][85:7][86:7][87:8][88:8][89:12][90:4][91:15][92:10][93:16][94:8][95:17][96:2][97:15][98:15][99:8][100:8][101:5][102:19][103:16][104:7][105:19][106:10][107:9][108:16][109:12][110:8][111:15][112:22][113:22][114:18][115:23][116:18][117:27][118:21][119:20][120:19][121:17][122:23][123:21][124:21][125:22][126:15][127:19][128:22][129:21][130:22][131:21][132:21][133:22][134:19][135:20][136:18][137:20][138:17][139:17][140:19][141:18][142:16][143:15][144:15][145:14][146:14]Info: Extracting initial monomials that are not hit Info: Dim: 147 Skiped: 35 Char Col: 112 Mgs: 0 Info: 8 1120 3321185 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 8: Date: Wed May 2 19:59:15 CEST 2001 Info: Time: 1 s 130 ms Info: Memory: 3321 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 0 Info: Constructing a minimal generating set at degree 9 Info: Constructing the initial poset at degree 9 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 245 initial monomials ..........................................................pp..pp.pp..pp.p.\ p.p.p..ppp.pp.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.pp.p.p.ppp....p.p...pp.p\ ..ppp.p.pppp.p.pp.p.ppp.ppp.pp.pp.pppp.pppp.p.p.p.p.pp.pppp..p.pp.pppp.ppp\ .p.p.ppp.p..p.p..p.p.pppp.ppppp.p..pp.pp...p.....pp.p.p.p.p.pp.p.ppp.p.ppp\ p.p.ppp.ppp.p.pppp..p.p.p.pp..ppp.pp.pp.ppp....p.pp..p.p..p.p.pp.ppp.p.p.p\ p.p.ppp..p.pp.ppp.pp.ppp.ppp.ppppppp...pp..pp.....p..p.p..p.....pp...p..pp\ .p.......p...p.pp.....p..p.p. Info: Applying Gauss Elimination [57:2][59:2][60:2][62:2][63:3][64:3][65:2][66:4].[68:3][69:3][70:3][71:4][72:3].[74:3][75:2][76:4][77:3][78:3][79:5][80:4][81:4].[83:4][84:3][85:4][86:3][87:4][88:6][89:2][90:5][91:7][95:2][96:3][99:2][100:2][102:5][103:3][104:7].[106:5][107:2][108:6][109:4][110:6][111:4][112:5][113:9][114:4][115:4][116:7][117:2][118:8][119:9][120:5][121:4][122:6][123:7][124:8][125:2][126:10][127:7][128:10][129:7][130:12][131:15][132:5][133:6][134:7][135:14][136:16][137:14][138:7][139:17][140:20][141:9][142:9][143:16][144:10][145:7][146:16][147:11][148:15][149:10][150:8][151:14][152:4][153:14][154:6][155:18][156:10][157:23][158:14][159:15][160:32][161:6][162:19][163:23].[165:6][166:6][167:7][168:22][169:19][170:30][171:9][172:20][173:30][174:21][175:28][176:10][177:29][178:34][179:2][180:12][181:23][182:12][183:29][184:40][185:44][186:14][187:21][188:32][189:29][190:45][191:33][192:29][193:33][194:35][195:34][196:49][197:28][198:52][199:45][200:27][201:45][202:45][203:31][204:41][205:50][206:59][207:46][208:44][209:46][210:60][211:59][212:44][213:56][214:50][215:60][216:44][217:49][218:57][219:54][220:48][221:59][222:54][223:54][224:57][225:59][226:51][227:58][228:55][229:57][230:55][231:56][232:55][233:54][234:54][235:55][236:54][237:53][238:52][239:51][240:51][241:50][242:50][243:50][244:49]Info: Extracting initial monomials that are not hit Info: Dim: 245 Skiped: 65 Char Col: 180 Mgs: 0 Info: 9 2200 3747169 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 9: Date: Wed May 2 19:59:17 CEST 2001 Info: Time: 2 s 200 ms Info: Memory: 3747 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 0 Info: Constructing a minimal generating set at degree 10 Info: Constructing the initial poset at degree 10 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 388 initial monomials ....................................................................ppp.p.\ p.p..p.p.p.p.p.p......p.......p..p..............p.pp..pp.....pp.p..p.pp.pp\ .p.ppp.pp...pp..pp..pp.p.p.p.p.p.pppp.pppp.p.ppp.ppp.pp.pp.ppp.p..p.p.p...\ .ppp.pppp.p.p.p.p.p.p.p.p.p.p.p.pp.p.pp.p.p.pp.p.p.p.p.p.p.p.p.p.p.p.pp.p.\ p.ppppp.p.pp.p.p.p.pp.ppp.p.pp.ppppp.p.p.pp.ppp.ppp.p.p.ppppp..p.p.p.pp..p\ ..pp.p.ppp.p.p.p.pppp.p.pp.ppp.ppppp.ppppppp.pp.p.pp.pp.ppp.ppppppp...p.pp\ .ppp.pp.ppppp.ppppp.pppp.pp.pppp.p.p.pppp.ppppppp...p.p..p.pppp..p.p.p.pp.\ pp.pppp.ppppp.p.p..pp.pp...p..p.p..p.ppppp.pp...pp.......pp.p.p.p.p.p.p.p.\ pppp.p.p.ppp.p.pppp..p.pp.p.pppp.pp.pppp.pppppp.ppp.pppppp..p.p.pp.ppppp..\ p.pp..p..p.p.p.pp....pp.ppp..p.p.....p...p.pp.pp.p.pp.ppp.pp.pppp...pp..p.\ .pp.pp..pp..p.pppp..pp..........p....p.pp.....p.p...p.p.p.p.p Info: Applying Gauss Elimination [67:3][68:2][69:2][70:2][72:3][73:2][74:3][75:2][76:3][77:3][83:3][90:3][92:3][106:2][107:2][109:2][114:2][115:2][117:2][118:3][119:3][120:2][121:6][122:3][125:3][127:2][129:2][130:6][131:4][132:3][133:5][134:3][135:5][136:6][137:3][138:4][139:6][140:6][141:5][142:5][143:8][144:4][145:8][146:6][147:9][148:3][149:5][150:5][151:8][152:10][153:8][154:9][155:6][156:5][157:7][158:5][159:9][160:2][161:7][162:4][163:4][164:6][165:6][166:10][167:2][168:8][169:8][170:8][171:10][172:14][173:9][174:12][175:7][176:11][177:12][178:12][179:9][180:12][181:15][182:5][183:14][184:15][185:3][186:10][187:5][188:4][189:12][190:12][191:16][192:6][193:15][194:14][195:8][196:4][197:9][198:12][199:12][200:4][201:11][202:17][203:11][204:5][205:2][206:2][207:4][209:2][211:8][212:12][213:11][214:7][215:8][216:3][217:10][218:3][219:5][220:7][221:8][222:17][223:9][224:5][225:20][226:7][227:16][228:23][229:12][230:8][231:9][232:5][233:18][234:25][235:8][236:15][237:20][238:17][239:12][240:25][241:12][242:20][243:28][244:17][245:11][246:20][247:23][248:21][249:13][250:22][251:22][252:14][253:16][254:22][255:34][256:18][257:23][258:33][259:27][260:3][261:21][262:46][263:40][264:21][265:24][266:55][267:33][268:18][269:27][270:33][271:29][272:41][273:56][274:36][275:29][276:46][277:55][278:34][279:36][280:13][281:19][282:36][283:15][284:31][285:28][286:33][287:32][288:21][289:53][290:31][291:60][292:36][293:54][294:77][295:12][296:60][297:51][298:4][299:40][300:36][301:30][302:60][303:64][304:83][305:29][306:71][307:86][308:67][309:85][310:27][311:84][312:92][313:6][314:35][315:81][316:4][317:79][318:81][319:71][320:79][321:33][322:34][323:101][324:109][325:85][326:110][327:87][328:7][329:89][330:97][331:49][332:70][333:46][334:68][335:115][336:72][337:63][338:73][339:109][340:91][341:119][342:114][343:113][344:122][345:97][346:102][347:111][348:117][349:126][350:109][351:101][352:128][353:118][354:136][355:101][356:120][357:132][358:128][359:132][360:139][361:132][362:137][363:117][364:137][365:133][366:131][367:137][368:118][369:139][370:132][371:133][372:130][373:135][374:137][375:136][376:134][377:133][378:132][379:133][380:133][381:132][382:131][383:131][384:131][385:131][386:131][387:131]Info: Extracting initial monomials that are not hit Info: Dim: 388 Skiped: 105 Char Col: 283 Mgs: 0 Info: 10 4360 4549985 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 10: Date: Wed May 2 19:59:22 CEST 2001 Info: Time: 4 s 360 ms Info: Memory: 4549 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 0 Info: Constructing a minimal generating set at degree 11 Info: Constructing the initial poset at degree 11 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 596 initial monomials ..........................................................................\ .............................................................pp..pp.pp..pp\ .pp...pp.p.p.p.p.p..pppp.ppp.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p\ .p......p.......p..p..p.p.p.pp...p..pp.p.p.pp..pp.p.pp.p.pppp........p..p.\ p.p..pp.....pp.p...ppp.ppp.p.ppppp.p.ppp.p.pp.ppp.ppp.p.ppp.pppp.pp..pp.pp\ pp.pp.pppp.ppppp.p.p.p.p.p.ppp.pp.ppppp..p.pp.pppp.pppp.p.p.p.ppp.ppp..pp.\ pp.ppp.p..p.p.p..p.p.ppppp.ppppppp.pppp.p.ppp.ppppp.p..ppp.ppp.pp...p.p...\ ..pp.pppp.pp.p.p.p.p.p.p.p.p.p.p.pp.p.pp.p.p.ppp.p.p.p.p.ppp.p.ppp.p.p.ppp\ ..ppp.pp.p.ppp.pp.p.p.ppp..p.p.p.p.p.p.p.p.p.p.p.p.p.ppppp.p.pp.p.p.p.pp.p\ pp.p.ppp.ppppppppp.p.p.ppp.ppp.pppppp.p.p.ppppppppp..p.p.p.p.pppp.ppp.pp.p\ p.ppppp.p.p.ppp.pppppp.ppppp.p.ppp.pppppppp..p.p.p.p.ppp.ppppp..p.pppp..p.\ p.p.ppp.p.p.pp.pp.pppp.pppp.pp.p.pp.p.pp.pppp..p.p.ppp.p.pppp.pppppp.ppppp\ pp.pppppp.pp.ppp.ppp.p.pppppp.pppppppppppp...pp.pp..pp.pppppp....p.pp.p.pp\ p.pppp.p.pp.ppppp.pppppp...ppp.pp..p.pppppp...p..p..pp.p.p.p..pp.pp.p.pppp\ p.pp...pp.....p...p.ppp.......p.p.p.pp.p.p.pp.p.pp..p.p.pp.pppp.p.p.pppppp\ .ppp.pppppp..p.p.p.ppppp..p.pp..p.pp.p.pp.ppppp.pp.pppp..ppp.pp.pppp.ppppp\ pppp..pp.pp...p..pp......p.p........p.pp......p.pp.pp..pp..p.p.pppp..p....\ .p.ppp....pp.p.......pp..p..p.p.p Info: Applying Gauss Elimination [134:2][136:2][137:2][139:2][140:2][143:2][144:4][145:3][146:3][147:2][148:5].[150:4][151:4][152:3][153:4][154:3][155:3][156:4].[158:4][159:3][160:5][161:4][162:4][163:7][164:6][165:6].[167:5][168:4][169:5][170:4][171:6][172:7][173:3][174:7][175:6][181:3][188:2][190:2][192:3][193:3][194:2][195:2][198:2][200:3][201:2][202:2][203:3][205:4][206:3][207:4][208:4][209:7][217:2][219:2][220:3][221:2][223:3][228:2][229:2][232:5][233:5][234:3][235:9].[237:6][238:2][239:5][240:4][241:6][242:2][243:3][244:5][245:5][247:6][248:6][249:4][250:5][251:12][252:5][253:4][254:4][255:10][256:3][257:9][258:6][259:12][260:6][261:5][262:7][263:9][264:10][265:2][266:3][267:3][268:7][269:6][271:14][272:8][273:7][274:12][275:9][276:17][277:8][278:19][279:6][280:7][281:7][282:9][283:13][284:10][285:16][286:11][287:14][288:18][289:11][290:18][291:15][292:23][293:11][294:12][295:19][296:21][297:12][298:9][299:19][300:9][301:15][302:23][303:22][304:7][305:11][306:11][307:14][308:10][309:18][310:8][311:20][312:12][313:18][314:17][315:19][316:25][317:6][318:21][319:28].[321:7][322:7][323:5][324:16][325:18][326:22][327:10][328:16][329:12][330:19][331:17][332:23][333:13][334:25][335:26][336:3][337:14][338:22][339:20][340:25][341:26][342:27][343:28][344:15][345:36][346:26][347:36][348:30][349:32][350:29][351:10][352:35][353:28][354:9][355:26][356:16][357:25][358:44][359:32][360:35][361:21][362:45][363:49][364:30][365:37][366:24][367:33][368:19][369:8][370:30][371:41][372:37][373:9][374:9][375:6][376:16][377:26][378:35][379:12][380:26][381:40][382:43][383:52][384:31][385:53][386:66][387:15][388:40][389:68][390:44][391:18][392:28][393:15][394:14][395:35][396:48][397:51][398:15][399:29][400:45][401:15][402:12][403:20][404:18][405:2][406:5][407:5][408:16][409:14][410:30][411:15][412:34][413:15][414:31][415:28][416:65][417:20][418:28][419:22][420:28][421:20][422:49][423:14][424:38][425:56][426:51][427:15][428:86][429:32][430:58][431:42][432:39][433:27][434:69][435:80][436:31][437:36][438:66][439:66][440:28][441:39][442:24][443:38][444:48][445:53][446:71][447:77][448:34][449:41][450:44][451:32][452:40][453:69][454:99][455:61][456:57][457:72][458:85][459:47][460:99][461:59][462:34][463:56][464:49][465:69][466:88][467:85][468:102][469:130][470:133][471:99][472:143][473:145][474:66][475:78][476:162][477:88][478:144][479:160][480:58][481:77][482:170][483:160][484:88][485:176][486:165][487:89][488:171][489:46][490:97][491:154][492:76][493:142][494:167][495:167][496:51][497:152][498:162][499:92][500:173][501:101][502:40][503:99][504:51][505:110][506:148][507:179][508:190][509:53][510:170][511:182][512:164][513:187][514:115][515:183][516:167][517:12][518:64][519:170][520:33][521:18][522:197][523:78][524:210][525:102][526:197][527:217][528:220][529:190][530:145][531:237][532:221][533:25][534:192][535:230][536:121][537:219][538:172][539:200][540:241][541:196][542:209][543:196][544:216][545:196][546:252][547:223][548:64][549:198][550:216][551:207][552:249][553:159][554:76][555:193][556:246][557:255][558:213][559:263][560:257][561:261][562:269][563:267][564:269][565:263][566:268][567:212][568:276][569:280][570:276][571:275][572:278][573:278][574:279][575:262][576:276][577:279][578:267][579:277][580:275][581:278][582:278][583:278][584:277][585:275][586:275][587:274][588:273][589:274][590:273][591:273][592:272][593:271][594:272][595:272]Info: Extracting initial monomials that are not hit Info: Dim: 596 Skiped: 172 Char Col: 424 Mgs: 0 Info: 11 8220 5975393 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 11: Date: Wed May 2 19:59:31 CEST 2001 Info: Time: 8 s 220 ms Info: Memory: 5975 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 0 Info: Constructing a minimal generating set at degree 12 Info: Constructing the initial poset at degree 12 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 894 initial monomials ..........................................................................\ ..........................................................................\ ..ppp.p.p.p..p..p.p.p.p.p.p......p.......p..p................p............\ ...p...p...........................p.pp..pp.....pp.......pp.p...p.ppp.pp.p\ p.p.pppp.pp...pp...pp..pp..pp...pp.p.p.p.p.p.p.pppp.pppp.p.ppp.ppp.ppp.ppp\ .ppp.ppp.pp.pp.p.ppp.p..p.p.p.p....ppppp.pppppp.ppp.p.p.p.p.p.p.p.p.p.p.p.\ p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.pp.p\ .p.pp.p.p.p.pppp....p.p.......p..p.p.p.p.p....p..pp.p..pp..pp.p.ppp.p.pppp\ ppp.p.pp.p.p.pp.p.ppp.p.p.ppp.ppp.pp.pp..pppp.p.pp.pppp.ppppppp.p.p.p.ppp.\ pppp.ppp.pppp.p.pp.pp.ppppppp..p.p..pp....p..pp.p..p.pp.pp.p.ppp.p.p.p.pp.\ p.pp.p.ppp.ppppp.pp..pp.ppppppp.ppp.ppppp.ppppppppp.pp.p.p.pp.pp.ppppp.ppp\ .ppppppppp...p.pp.ppppp.pppp.ppp.pppp.ppppp.ppp.ppppp.ppp.pp.pppp.ppppppp.\ ppppp.pp.pp.ppp.p.p.ppppp.ppppp.ppppppppp...p.p.p..p.ppp.ppppp..p.p.p.pp.p\ pp.ppppp.ppppppp.pppp.p.p.p.ppp.ppppp.p..ppp.ppp.pp...p.p..p.p.p.ppppp.ppp\ pppp.pppppppp.p..pp.ppppp.pp...ppp.pp...p......ppp.ppp.p.p.p.p.p.p.p.p.p.p\ .p.pp.p.p.pppp.p.p.p.p.ppp.p.ppp.p.p.pppppp.p.ppp.ppp.p.ppp.ppppp.p.p.pppp\ pp..p.p.p.p.ppp.p.ppp.p.p.pppp..ppppp.pppp.pp.ppppp.pppp.p.pp.ppppp....ppp\ .pppp.pp.p.pp.pppp..p.p.ppp..p.p.p.p.p.p.p.p.p.ppp.p.p.p.p.p.p.p.p.ppp.ppp\ pppppp.p.p.ppp.p.pppppp.p.p.ppppppppp..pp.p.p.pp.pppp.ppp.ppp.ppp.pppppppp\ p.p.p.pppp.ppppppp.ppppppppppp.p.ppppp.ppppppppppppppp..pp.p.pp.pp.pppp.pp\ pppppppp..p.ppppppp...p.p.p.pp.ppp.p.p.pppp.pppppp.pppp.ppp.ppppp.ppppppp.\ .p.p.p.p.pppppp.pppppppp..pp.pppppp...p.p..p.pppp..p..p.pp.pp.p.p.pppp.ppp\ pp.ppppp.pppp.p.pp.ppp.ppp.p.pppp.ppppppp...pp.pp..p.pppp..p.ppp.pp.pp.pp.\ pp.ppp.ppp.ppp.ppppppp.pppppppppp..p.ppp.ppppp..p.pppppppppp...pp..pp.....\ .p.pp..p.pppp.pp..pp.pppppp...pp..p.....pp.ppp...p...pp.p.ppp......p..p...\ .p.p.pp.pp.p.p.pppp.pp.ppp..p.p.p.p.ppp..p.p..p.p.pp.p.p.pppppp.ppp.ppppp.\ .p.pp.pp.pppppppp..pp.pp...p..pp...p.pp..pp.p.ppp.ppppp.....pp.pppp..pp.pp\ pp.p.........p......p...p.p.p.ppp....p.pp.p...pp.p..p..p.p.p Info: Applying Gauss Elimination [149:3][150:2][151:2][152:2][154:2][156:3][157:3][158:3][159:3][160:3][161:3][167:2][174:2][176:2][192:2][207:2][210:2][237:2][238:2][240:2][245:2][252:2][253:2][256:2][257:4][258:3][259:3][260:2][261:8][262:3][265:3][268:3][270:3][272:2][275:2][276:8][277:4][278:4][279:3][280:6][281:3][282:5][283:6][284:2][285:3][286:4][287:4][288:4][289:3][290:5][291:9][292:6][293:4][294:5][295:11][296:4][297:10][298:6][299:5][300:12][301:4][302:5][303:5][304:9][305:12][306:9][307:5][308:8][309:8][310:3][311:9][312:6][313:10][314:7][315:12][316:3][317:7][318:4][319:4][320:7][321:8][322:11][323:4][324:10][325:10][326:3][327:8][328:11][329:11][330:14][331:8][332:14][333:15][334:15][335:12][336:19][337:19][338:7][339:20][340:19][341:2][342:8][343:5][344:5][345:11][346:13][347:13][348:6][349:17][350:8][351:3][352:10][353:5][354:10][355:14][356:8][357:4][358:13][359:16][360:9][364:2][365:3][372:8][374:3][375:3][376:12][377:7][378:4][382:4][384:4][385:2][387:5][389:4][390:6][391:7][392:6][393:13][394:3][395:5][396:2][397:4][398:6][399:10][400:8][401:3][402:4][403:11][404:4][405:4][406:4][408:13][409:4][410:13][411:7][412:15][413:3][414:4][415:5][416:7][417:11][418:9][419:14][420:5][421:8][422:8][423:21][424:9][425:5][426:2][428:5][432:2][434:4][435:2][437:2][438:9][439:8][440:6][441:13][442:7][443:9][444:3][445:12][446:4][447:6][448:5][449:5][450:8][451:5][453:4][454:15][455:7][456:8][457:21][458:11][459:6][460:5][461:14][462:10][463:18][464:18][465:22][466:12][467:8][468:8][469:5][470:18][471:28][472:5][473:10][474:13][475:8][476:12][477:20][478:8][479:12][480:14][481:20][482:16][483:11][484:13][485:26][486:16][487:17][488:16][489:26][490:16][491:12][492:23][493:13][494:29][495:24][496:17][497:20][498:21][499:23][500:17][501:18][502:24][503:41][504:22][505:29][506:33][507:22][508:16][509:10][510:33][511:23][512:23][513:26][514:31][515:59][516:33][517:52][518:24][519:31][520:58][521:31][522:36][523:15][524:23][525:17][526:28][527:34][528:34][529:33][530:23][531:47][532:29][533:50][534:18][535:32][536:49][537:62][538:47][539:23][540:46][541:27][542:14][543:29][544:31][545:24][546:27][547:37][548:20][549:21][550:42][551:19][552:46][553:23][554:48][555:39][556:53][557:28][558:43][559:43][560:8][561:51][562:62][563:9][564:32][565:25][566:29][567:45][568:52][569:70][570:30][571:55][572:62][573:47][574:52][575:56][576:36][577:71][578:96][579:8][580:41][581:71][582:66][583:2][584:8][585:10][586:5][587:24][588:24][589:29][590:13][591:21][592:9][593:64][594:46][595:97][596:31][597:45][598:84][599:14][600:39][601:93][602:107][603:62][604:104][605:54][606:94][607:60][608:18][609:54][610:95][611:123][612:4][613:16][614:48][615:85][616:38][617:94][618:149][619:104][620:51][621:78][622:115][623:103][624:106][625:53][626:26][627:81][628:53][629:85][630:105][631:83][632:78][633:72][634:111][635:166][636:68][637:33][638:77][639:71][640:27][641:16][642:84][643:102][644:110][645:33][646:37][647:37][648:126][649:71][650:62][651:42][652:104][653:139][654:108][655:164][656:86][657:124][658:204][659:45][660:112][661:185][662:121][663:90][664:65][665:130][666:46][667:107][668:117][669:206][670:38][671:76][672:157][673:33][674:38][675:52][676:29][677:35][678:18][679:89][680:125][681:45][682:87][683:66][684:39][685:110][686:67][687:57][688:79][689:146][690:86][691:37][692:92][693:185][694:192][695:64][696:56][697:156][698:43][699:94][700:129][701:164][702:57][703:184][704:170][705:45][706:109][707:48][708:56][709:111][710:20][711:102][712:64][713:85][714:180][715:137][716:91][717:79][718:23][719:227][720:91][721:118][722:141][723:91][724:92][725:215][726:132][727:61][728:103][729:206][730:183][731:90][732:125][733:91][734:141][735:94][736:155][737:103][738:236][739:207][740:128][741:120][742:133][743:117][744:230][745:289][746:112][747:135][748:139][749:274][750:131][751:272][752:150][753:147][754:184][755:163][756:131][757:295][758:177][759:181][760:285][761:76][762:239][763:314][764:340][765:305][766:216][767:151][768:234][769:176][770:309][771:214][772:168][773:227][774:271][775:229][776:174][777:319][778:395][779:340][780:216][781:365][782:394][783:247][784:433][785:374][786:424][787:347][788:398][789:390][790:212][791:324][792:339][793:246][794:342][795:362][796:318][797:401][798:223][799:258][800:384][801:295][802:255][803:407][804:344][805:359][806:423][807:324][808:263][809:317][810:332][811:408][812:419][813:346][814:391][815:316][816:390][817:239][818:247][819:177][820:369][821:338][822:458][823:279][824:418][825:420][826:450][827:469][828:271][829:472][830:476][831:80][832:439][833:483][834:345][835:491][836:482][837:446][838:493][839:479][840:81][841:176][842:280][843:441][844:461][845:368][846:492][847:501][848:390][849:422][850:523][851:450][852:511][853:528][854:396][855:483][856:537][857:482][858:461][859:528][860:493][861:379][862:489][863:497][864:418][865:521][866:522][867:432][868:506][869:528][870:528][871:380][872:533][873:495][874:508][875:531][876:520][877:537][878:515][879:529][880:534][881:531][882:539][883:537][884:534][885:536][886:535][887:536][888:535][889:536][890:535][891:535][892:535][893:535]Info: Extracting initial monomials that are not hit Info: Dim: 894 Skiped: 265 Char Col: 629 Mgs: 0 Info: 12 16160 8347637 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 12: Date: Wed May 2 19:59:48 CEST 2001 Info: Time: 16 s 160 ms Info: Memory: 8347 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 0 Info: Constructing a minimal generating set at degree 13 Info: Constructing the initial poset at degree 13 Info: Generating the full matrix of decomposable invariants by iterating t\ hrough all 1302 initial monomials ..........................................................................\ ..........................................................................\ ..........................................................................\ ............................................................pp..pp.pp..pp.\ pp...pp.pp....pp.p.p.p.p.p.p..ppppp.pppp.p.p.p.p.p.p..p.p.p.p.p.p.p.p.p.p.\ p.p.p.p.p.p.p.p.p.p......p.......p..p..p.p.p....p..p....p..p.p.p.p.p......\ .........p...............p...p..p.p.p.pp.....pp......p...pp.p..p.pp...pp.p\ .pp.pp.p.ppppp..............p...p.p.p..pp.....pp.......pp.p....pppp.ppp.pp\ p.p.pppppp.p.pppp.p.pp.ppp.ppp.p.ppp.ppp.pp..pp.p.pp.ppp.pppp.pp...pp.pppp\ .ppp.pp.pppp.pppppp.p.p.p.p.p.p.pppp.ppp.pp.pppppp..p.pp.pppp.pppp.p.p.p.p\ pp.ppp.p..ppp.ppp.ppp.ppp.pp.pp.p.ppp.p..p.p.p.p..p.p.ppppp.ppppppp.pppppp\ .p.ppp.ppppp.pppp.ppp.pppp.ppppp.ppppp.p..ppp.pp.ppp.pp...p.p.p.....pppp.p\ pppppp.ppppp.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.pp.p.\ pp.p.p.pp.p.p.p.pp.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p.p\ p.p.p.pp.p.p.p.ppppppp.p.p.p.p.pp.p.pp.p.p.p.p.pp.ppp.p.p.ppp.p.p.pp.ppppp\ pp.p.p.pp.ppp.ppp.p.pp.ppp.ppppp.p.p.p.ppppppp..p.p.p.p.p...p.p.p.p.p.p.p.\ ...p..pp.p..p..p.p.ppp.p.ppppppp.p.pp.p.p.p.p.ppp.p.p.pppp.p.p.pp..pppp.p.\ ppp.ppppp.ppppppppppppp.p.p.p.pppp.pppppp.ppp.pppppppp.p.ppp.ppp.ppppppppp\ pppp..p.p.p.pp.pppp.pppp.p.p.ppp.ppp.pp.pp.pppp.pppppp.p.pppp.ppppp.pppppp\ pp.ppp.pppp.pp.ppppp.pppp.pppppppp.ppppppp.pp.pp.pppppp.ppppppppppppp..p.p\ .p.p.p.ppppp.ppppp.ppppppp..p.pp.ppppppp..p.p.p.pp.p.p.pp.p.ppp.pppp..pp..\ pp.pppp.pp.pppp.ppppp.pp.p.p.pp.p.ppp.pp.ppppp..p.p.pp.p.pp.ppp.ppppp.pppp\ ppp.p.ppp.pppp.ppp.ppppp.ppppppppp.ppppppppp.pppp.pp.ppp.ppp.pp.ppppppppp.\ ppppppp.pppppppppppppppp...pp.p.pp..pp.ppppp.ppppppppp....p.pp.pp.pppppp.p\ ppppppp.ppp.pppppp.pppppp.ppppppppp.pppp.pp.ppppp.ppppp.p.p.pppp.ppppppp.p\ pppppppp...ppp.ppp.pp..p.pppppp.ppppppppp...p.p..p.pppp..pp.p.p.p.p.pp.ppp\ .pp.ppppp.ppppppp.pppppppp.p.p..pp.ppppp.pp...ppp.pp...p..p.p.p..p.ppppppp\ .ppppppp.pp...ppp.ppp...pp........ppp.p.p.p.p.p.p.p.p.p.p.p.p.p.ppp.p.p.p.\ p.p.p.ppp.p.p.ppppppp.p.p.pp.p.ppp.pppppp.p.p.ppppppp..p.p.p.p.ppp.p.ppp.p\ .p.ppppppp.pp.pppp.ppppp.pp.ppppp.pppppppppp.p.ppp.pppppppppp..p.p.pppp.pp\ ppp.pppp.p.pp.ppppppppp..p.p.ppppp..p.p.p.pp.p.p.ppp..pppp.ppp.pp.pppp.ppp\ p.pp.ppp.ppppp....ppppp.ppppppp.ppp.pp.ppppp.ppppppp..p.pp.pppp.....p.ppp.\ ppp..p.ppp..p..p.p.p.p.p.p.p.p.pp.ppppp.p.p.p.pp.p.pppp.p.p.ppppp..p.p.p.p\ .p.p.ppp.pppp.ppppppppp.p.p.ppp.ppp.ppppppppppp.p.ppppp.ppppppppppppppp..p\ p.p.pp.pp.ppp.pppppppppp..p.ppppppp..p.pp.pp.pp.ppp.ppppp.pp.pp.ppppp.pppp\ ppp.pppppppppp.ppppp.pppppppp.ppppppppppppp..pp.p.ppp.p.pppppppp.ppppppppp\ pppppppp..ppp.ppppppppppp...pp.pp..pp.pppppppp..pp....p.p.p..p.pp..p.p.p.p\ pp.pppppp.pppppp..ppp.ppppp...p.p..pp.ppppppp..p...p..p...p.p.ppp.pp.ppp.p\ .p.pp.pp.ppp.ppp.pp.ppppp.pppppp..p.p.ppp.ppppp..p.pppppp...pp..p..pp.ppp.\ p..pp.ppp..p.pp.ppppp..ppp.ppppppppp..pp.ppppp.p.pp..........p..pp.pp..p..\ ....p.ppp.p..p..pp.p.......p.p.p.p.pp.pppp.pp.ppp..p.p.pp.pp.pppppp..p.p..\ .p..p...p.p.ppp.p..p.ppp.pp.pppppp...p..p.ppp..p.ppp.p.....pp..pp.ppp..p.p\ pp.p...ppp.p.pp.p........p.p.pp.p..p.p.p Info: Applying Gauss Elimination [281:2][283:2][284:2][286:2][287:2][290:2][291:2][295:2][296:5][297:3][298:3][299:3][300:2][301:6].[303:5][304:5][305:3][306:4][307:3][308:3][309:3][310:3][312:5].[314:5][315:4][316:6][317:5][318:5][319:9][320:8][321:8].[323:6][324:5][325:6][326:5][327:8][328:9][329:4][330:9][331:7][337:3][344:3][346:2][348:3][349:3][350:3][354:2][356:2][360:2][362:3][363:2][364:3][365:3][366:3][381:3][396:3][399:2][401:3][402:3][403:3][404:2][409:2][415:2][418:3][419:2][421:2][422:3][425:4][426:3][427:4][428:3][429:4][430:9][444:2][447:2][448:3][449:2][451:3][456:3][463:2][464:2][468:6][469:5][470:5][471:3][472:11].[474:7][475:2][476:5][477:4][478:6][479:2][480:3][481:4][482:4][484:5][485:2][486:2][487:3][488:5][489:5][492:6][493:6][494:5][495:4][496:5][497:15][498:6][499:4][500:4][501:4][502:13][503:4][504:10][505:7][506:6][507:15][508:7][509:6][510:8][511:10][512:11][513:2][514:3][515:4][516:5][517:7][518:4][520:7][521:6][522:5][523:6][524:19][525:9][526:6][527:7][528:14][529:11][530:22][531:11][532:9][533:23][534:7][535:8][536:8][537:9][538:13][539:11][540:5][541:8][542:10][543:10][544:19][545:12][546:10][547:13][548:22][549:13][550:23][551:14][552:14][553:28][554:13][555:14][556:24][557:12][558:26][559:14][560:10][561:23][562:10][563:14][564:31][565:30][566:14][567:14][568:17][569:14][570:14][571:19][572:15][573:23][574:10][575:24][576:14][577:21][578:21][579:26][580:30][581:9][582:28][583:32].[585:8][586:8][587:6][588:14][589:21][590:23][591:12][592:19][593:10][594:13][595:18][596:18][597:14][598:28][599:28][600:4][601:15][602:25][603:19][604:20][605:24][606:29][607:24][608:31][609:19][610:44][611:34][612:43][613:35][614:43][615:36][616:16][617:46][618:45][619:9][620:31][621:20][622:30][623:40][624:41][625:37][626:26][627:56][628:48][629:29][630:46][631:26][632:30][633:43][634:40][635:7][636:35][637:61][638:49].[640:8][641:7][642:4][643:20][644:26][645:29][646:13][647:25][648:13][649:24][650:38][651:35][652:29][653:46][654:36][655:13][656:45][657:55][658:31][659:28][660:14][661:28][662:25][663:11][664:16][665:25][666:36][667:31][668:4][669:17][670:36][671:42][672:32][673:4][674:2][675:2][676:3][677:2][680:5][681:3][682:7][683:6][684:7][685:5][686:5][690:6][692:6][693:2][695:8][697:5][698:10][699:10][700:9][701:19][702:8][703:10][704:6][705:10][706:8][707:8][708:9][709:7][710:5][711:14][712:3][713:2][714:7][716:10][717:9][718:9][719:11][720:28][721:7][722:3][723:6][724:14][725:11][726:11][727:51][728:11][729:18][730:18][731:54][732:27][733:13][734:7][735:7][736:14][737:12][738:18][739:4][740:9][741:12][742:14][743:16][744:9][745:11][746:20][747:5][748:9][749:16][750:24][751:12][752:8][753:16][754:16][755:8][756:16][757:59][758:17][759:13][760:21][761:57][762:40][763:9][764:8][765:10][766:17][767:15][768:39][769:17][770:48][771:55][772:19][773:22][774:24][775:46][776:16][777:13][778:20][779:25][780:2][781:4][782:8][783:6][784:8][785:13][787:6][789:6][790:29][791:12][792:14][793:39][794:19][795:9][796:8][797:18][798:38][799:30][800:19][801:59][802:24][803:29][804:24][805:25][806:28][807:54][808:9][809:28][810:30][811:13][812:13][813:17][814:29][815:22][816:26][817:38][818:46][819:17][820:14][821:93][822:38][823:55][824:31][825:50][826:46][827:30][828:90][829:19][830:83][831:38][832:42][833:43][834:41][835:80][836:35][837:41][838:19][839:32][840:16][841:52][842:91][843:76][844:14][845:26][846:34][847:31][848:47][849:32][850:39][851:50][852:36][853:31][854:36][855:50][856:40][857:46][858:81][859:35][860:126][861:75][862:52][863:44][864:53][865:90][866:43][867:66][868:115][869:75][870:38][871:39][872:55][873:59][874:88][875:104][876:89][877:60][878:151][879:139][880:41][881:78][882:133][883:88][884:62][885:38][886:67][887:147][888:53][889:106][890:109][891:99][892:168][893:143][894:116][895:101][896:171][897:121][898:32][899:117][900:68][901:75][902:71][903:93][904:65][905:187][906:86][907:68][908:174][909:112][910:143][911:119][912:195][913:112][914:92][915:98][916:34][917:52][918:129][919:93][920:130][921:101][922:71][923:92][924:80][925:45][926:158][927:86][928:157][929:101][930:121][931:189][932:26][933:122][934:127][935:32][936:76][937:56][938:85][939:126][940:141][941:149][942:62][943:163][944:184][945:155][946:132][947:139][948:64][949:160][950:151][951:16][952:71][953:199][954:118][955:7][956:36][957:37][958:36][959:135][960:68][961:93][962:52][963:84][964:93][965:200][966:186][967:261][968:114][969:191][970:241][971:43][972:116][973:214][974:276][975:241][976:218][977:86][978:235][979:204][980:44][981:108][982:261][983:277][984:7][985:46][986:95][987:215][988:4][989:35][990:36][991:37][992:47][993:41][994:18][995:129][996:73][997:287][998:51][999:88][1000:98][1001:26][1002:66][1003:76][1004:161][1005:218][1006:303][1007:106][1008:354][1009:236][1010:64][1011:108][1012:180][1013:287][1014:10][1015:67][1016:114][1017:202][1018:129][1019:288][1020:280][1021:43][1022:228][1023:222][1024:281][1025:45][1026:147][1027:362][1028:49][1029:177][1030:59][1031:191][1032:180][1033:318][1034:222][1035:347][1036:361][1037:341][1038:418][1039:295][1040:100][1041:195][1042:226][1043:157][1044:319][1045:330][1046:228][1047:367][1048:254][1049:280][1050:118][1051:101][1052:143][1053:231][1054:214][1055:216][1056:100][1057:260][1058:416][1059:359][1060:207][1061:199][1062:269][1063:422][1064:90][1065:264][1066:477][1067:341][1068:164][1069:209][1070:36][1071:165][1072:212][1073:300][1074:370][1075:94][1076:313][1077:366][1078:190][1079:92][1080:109][1081:168][1082:160][1083:99][1084:410][1085:390][1086:158][1087:331][1088:396][1089:203][1090:304][1091:223][1092:215][1093:273][1094:339][1095:427][1096:143][1097:187][1098:454][1099:508][1100:172][1101:300][1102:544][1103:201][1104:279][1105:394][1106:426][1107:147][1108:424][1109:575][1110:236][1111:340][1112:183][1113:369][1114:174][1115:168][1116:557][1117:368][1118:199][1119:105][1120:179][1121:253][1122:447][1123:265][1124:386][1125:358][1126:323][1127:557][1128:418][1129:215][1130:432][1131:420][1132:407][1133:433][1134:351][1135:134][1136:574][1137:563][1138:393][1139:446][1140:398][1141:174][1142:417][1143:267][1144:444][1145:262][1146:115][1147:429][1148:451][1149:434][1150:531][1151:457][1152:488][1153:334][1154:486][1155:417][1156:210][1157:595][1158:411][1159:668][1160:219][1161:11][1162:306][1163:522][1164:612][1165:222][1166:319][1167:697][1168:513][1169:312][1170:570][1171:325][1172:451][1173:496][1174:476][1175:571][1176:654][1177:484][1178:583][1179:685][1180:278][1181:660][1182:754][1183:782][1184:603][1185:633][1186:481][1187:617][1188:682][1189:709][1190:661][1191:729][1192:661][1193:789][1194:671][1195:530][1196:616][1197:700][1198:682][1199:567][1200:562][1201:712][1202:566][1203:665][1204:814][1205:630][1206:600][1207:607][1208:775][1209:797][1210:595][1211:548][1212:610][1213:806][1214:822][1215:723][1216:824][1217:733][1218:853][1219:838][1220:726][1221:730][1222:815][1223:732][1224:800][1225:881][1226:630][1227:451][1228:590][1229:641][1230:682][1231:761][1232:840][1233:838][1234:748][1235:562][1236:785][1237:764][1238:873][1239:897][1240:797][1241:814][1242:854][1243:846][1244:641][1245:864][1246:854][1247:882][1248:877][1249:876][1250:635][1251:671][1252:634][1253:855][1254:774][1255:873][1256:898][1257:874][1258:900][1259:914][1260:588][1261:833][1262:912][1263:930][1264:929][1265:917][1266:609][1267:879][1268:933][1269:928][1270:925][1271:900][1272:930][1273:783][1274:898][1275:866][1276:940][1277:929][1278:888][1279:916][1280:931][1281:919][1282:933][1283:941][1284:936][1285:895][1286:945][1287:937][1288:670][1289:909][1290:928][1291:936][1292:923][1293:939][1294:938][1295:941][1296:944][1297:945][1298:942][1299:944][1300:942][1301:943]Info: Extracting initial monomials that are not hit Info: Dim: 1302 Skiped: 399 Char Col: 903 Mgs: 0 Info: 13 31430 12126133 #Stats: degree,time(ms),mem(bytes) Info: Statistics for degree 13: Date: Wed May 2 20:00:20 CEST 2001 Info: Time: 31 s 430 ms Info: Memory: 12126 ko. Info: S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0) Info: Minimal generators: 0 Info: Updating the degreeBound to 7 which is optimal! Info: Total time: 1 min 4 s 880 ms Info: ====================================================================\ ========== Info: Computation of a minimal generating set using SAGBI+linear algebra. Info: Version: $Id: comphead.mu,v 1.2 2001/03/21 17:51:40 nthiery Exp $ Date: Wed May 2 20:00:21 CEST 2001 Host: giulia3.medicis.polytechnique.fr Info: ====================================================================\ ========== Info: Total time: 0 ms