Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 4155927499] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0196 geometric_solution 4.01079506 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.405137886765 0.059527160759 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.187396971799 0.068229390133 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.370941259578 0.283753269380 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237417438093 0.838176401815 5 3 6 5 2310 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.003858942681 0.581303271448 6 4 4 3 1023 2310 3201 0132 0 0 0 0 0 1 0 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.003858942681 0.581303271448 6 5 6 4 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.490202290307 0.897485642043 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 237566465131998201235465533522666/5102403183173704830734986998415*c\ _0101_4^18 - 2364363085067120469775413396969939/5102403183173704830\ 734986998415*c_0101_4^17 - 5833558812767699694748479328416566/51024\ 03183173704830734986998415*c_0101_4^16 - 6183332933385662734778251860577873/1020480636634740966146997399683*\ c_0101_4^15 - 55051911418129537928131757686540082/51024031831737048\ 30734986998415*c_0101_4^14 - 59737188143539346149568647987012571/51\ 02403183173704830734986998415*c_0101_4^13 - 20427669133352547093202568962809472/5102403183173704830734986998415\ *c_0101_4^12 + 115415739207443956241548876425717549/510240318317370\ 4830734986998415*c_0101_4^11 + 103682823248904503157359244862293131\ /5102403183173704830734986998415*c_0101_4^10 + 112415911428319140828632942906168833/510240318317370483073498699841\ 5*c_0101_4^9 - 50365770429850087379585575387471567/5102403183173704\ 830734986998415*c_0101_4^8 - 140287471980000302226934760504922651/5\ 102403183173704830734986998415*c_0101_4^7 + 8442434015831248355000910639723382/728914740453386404390712428345*c\ _0101_4^6 - 9984833487415597769833572872488727/72891474045338640439\ 0712428345*c_0101_4^5 - 25426984400183602276468849939594964/5102403\ 183173704830734986998415*c_0101_4^4 + 65479919773276076392036863115724637/5102403183173704830734986998415\ *c_0101_4^3 - 238210112082470361869442575024572/3924925525518234485\ 18075922955*c_0101_4^2 - 3130986231946086258166340171732819/5102403\ 183173704830734986998415*c_0101_4 - 1317163633235645559033981557245516/5102403183173704830734986998415, c_0011_0 - 1, c_0011_1 + 241230723728191568192292497/11214072930052098529087883513*c_\ 0101_4^18 + 3717441389477120075476566660/11214072930052098529087883\ 513*c_0101_4^17 + 19859766785591431826044561171/1121407293005209852\ 9087883513*c_0101_4^16 + 72638361570650138621392232679/112140729300\ 52098529087883513*c_0101_4^15 + 254471632266983794004045725046/1121\ 4072930052098529087883513*c_0101_4^14 + 495332476030061770071091388128/11214072930052098529087883513*c_0101\ _4^13 + 644212850545232216166640971622/1121407293005209852908788351\ 3*c_0101_4^12 + 435404244401604351630676904544/11214072930052098529\ 087883513*c_0101_4^11 - 323434168927328016862335741232/112140729300\ 52098529087883513*c_0101_4^10 - 747912826759738585068131945173/1121\ 4072930052098529087883513*c_0101_4^9 - 957656928725520532506693804309/11214072930052098529087883513*c_0101\ _4^8 - 277122111155340455999777175267/11214072930052098529087883513\ *c_0101_4^7 + 347635558991037127355258695950/1121407293005209852908\ 7883513*c_0101_4^6 - 91299318830467832392633278242/1121407293005209\ 8529087883513*c_0101_4^5 + 335391977426573891022626809408/112140729\ 30052098529087883513*c_0101_4^4 + 273623813210432014828523343029/11\ 214072930052098529087883513*c_0101_4^3 - 130432214542441932712230456523/11214072930052098529087883513*c_0101\ _4^2 - 20415819583984284386573673540/11214072930052098529087883513*\ c_0101_4 - 3538231970871894586574182627/112140729300520985290878835\ 13, c_0011_5 - 876333860310316798414647137/11214072930052098529087883513*c_\ 0101_4^18 - 8983165707352145290931587162/11214072930052098529087883\ 513*c_0101_4^17 - 24319719786365405684020340889/1121407293005209852\ 9087883513*c_0101_4^16 - 122561649338113720036581687635/11214072930\ 052098529087883513*c_0101_4^15 - 243279490546762368387381614602/112\ 14072930052098529087883513*c_0101_4^14 - 310676655888634439630665813439/11214072930052098529087883513*c_0101\ _4^13 - 205657836665717352821807529387/1121407293005209852908788351\ 3*c_0101_4^12 + 311807045341735681208626016100/11214072930052098529\ 087883513*c_0101_4^11 + 433030477685795694529395849578/112140729300\ 52098529087883513*c_0101_4^10 + 571472532351446153376539536587/1121\ 4072930052098529087883513*c_0101_4^9 + 43474368857322866699664000409/11214072930052098529087883513*c_0101_\ 4^8 - 418351879579487928416564150312/11214072930052098529087883513*\ c_0101_4^7 + 112810973226622135198336812115/11214072930052098529087\ 883513*c_0101_4^6 - 267733479572703164830281049049/1121407293005209\ 8529087883513*c_0101_4^5 - 165331016723186223207706138884/112140729\ 30052098529087883513*c_0101_4^4 + 180149821338518735556464182729/11\ 214072930052098529087883513*c_0101_4^3 + 15140572196453880008710496350/11214072930052098529087883513*c_0101_\ 4^2 + 5563839578437673825694973836/11214072930052098529087883513*c_\ 0101_4 + 1705132809718339457235571381/11214072930052098529087883513\ , c_0101_0 - 235827001310814793576558176/11214072930052098529087883513*c_\ 0101_4^18 - 2069946615686302429253069342/11214072930052098529087883\ 513*c_0101_4^17 - 2910286943885670989399228724/11214072930052098529\ 087883513*c_0101_4^16 - 22682084693278308291523749515/1121407293005\ 2098529087883513*c_0101_4^15 - 15712717468993669976073783601/112140\ 72930052098529087883513*c_0101_4^14 + 20744666663102572761376011485/11214072930052098529087883513*c_0101_\ 4^13 + 75905695419948123700696055809/11214072930052098529087883513*\ c_0101_4^12 + 168093111677844821305767598631/1121407293005209852908\ 7883513*c_0101_4^11 - 25357512803523067700703297626/112140729300520\ 98529087883513*c_0101_4^10 - 79113500391613006754504181295/11214072\ 930052098529087883513*c_0101_4^9 - 253969055119048269186351786937/11214072930052098529087883513*c_0101\ _4^8 - 184469735740241197223867144890/11214072930052098529087883513\ *c_0101_4^7 + 218815481240705871718982729153/1121407293005209852908\ 7883513*c_0101_4^6 - 98147018277656108853412319843/1121407293005209\ 8529087883513*c_0101_4^5 + 42210649001042711331760306915/1121407293\ 0052098529087883513*c_0101_4^4 + 162034970234971603663694084280/112\ 14072930052098529087883513*c_0101_4^3 - 61466456901405837767237146564/11214072930052098529087883513*c_0101_\ 4^2 - 7638921534041600619875077309/11214072930052098529087883513*c_\ 0101_4 + 9366918737957310227355735400/11214072930052098529087883513\ , c_0101_2 + 203553627347830961203300894/11214072930052098529087883513*c_\ 0101_4^18 + 1862521111833245850062485914/11214072930052098529087883\ 513*c_0101_4^17 + 3434242828573789920766882304/11214072930052098529\ 087883513*c_0101_4^16 + 23146065741754214008720344321/1121407293005\ 2098529087883513*c_0101_4^15 + 28108533063788105017151366882/112140\ 72930052098529087883513*c_0101_4^14 + 24184085292102252230022818189/11214072930052098529087883513*c_0101_\ 4^13 + 2671654127666125863797570819/11214072930052098529087883513*c\ _0101_4^12 - 62055430193081252603971888040/112140729300520985290878\ 83513*c_0101_4^11 + 63463576934967509676466108835/11214072930052098\ 529087883513*c_0101_4^10 + 37656446398365719245770001360/1121407293\ 0052098529087883513*c_0101_4^9 + 164191902897529890349262899830/112\ 14072930052098529087883513*c_0101_4^8 + 59892616630419946866047674681/11214072930052098529087883513*c_0101_\ 4^7 - 192971401030260302560125038249/11214072930052098529087883513*\ c_0101_4^6 + 42081145228053947316714230750/112140729300520985290878\ 83513*c_0101_4^5 - 84557812060590383992883326438/112140729300520985\ 29087883513*c_0101_4^4 - 70520577358909597136776611843/112140729300\ 52098529087883513*c_0101_4^3 + 35386254922014618615122629895/112140\ 72930052098529087883513*c_0101_4^2 + 7805278285753084323433063641/11214072930052098529087883513*c_0101_4 + 10268585529819915759879007778/11214072930052098529087883513, c_0101_3 - 671420043271976083387573620/11214072930052098529087883513*c_\ 0101_4^18 - 7409258545741608070902706097/11214072930052098529087883\ 513*c_0101_4^17 - 24319836310680630535858865809/1121407293005209852\ 9087883513*c_0101_4^16 - 111588626446375523706881867417/11214072930\ 052098529087883513*c_0101_4^15 - 269340304757805299368677139171/112\ 14072930052098529087883513*c_0101_4^14 - 428966021293131189789112886239/11214072930052098529087883513*c_0101\ _4^13 - 444015169702621948498998426198/1121407293005209852908788351\ 3*c_0101_4^12 - 36677130909916743164076923955/112140729300520985290\ 87883513*c_0101_4^11 + 371359249744694745169508753963/1121407293005\ 2098529087883513*c_0101_4^10 + 711997560856434662336783318648/11214\ 072930052098529087883513*c_0101_4^9 + 496342390584029008825611081763/11214072930052098529087883513*c_0101\ _4^8 - 54083909158936526989161302881/11214072930052098529087883513*\ c_0101_4^7 - 42812945307854480800541836215/112140729300520985290878\ 83513*c_0101_4^6 - 178769196089898020307182422586/11214072930052098\ 529087883513*c_0101_4^5 - 254535255628105166006867236658/1121407293\ 0052098529087883513*c_0101_4^4 - 35882393723752139137191142603/1121\ 4072930052098529087883513*c_0101_4^3 + 46990877375009011155419195364/11214072930052098529087883513*c_0101_\ 4^2 + 15968111655570931688642174619/11214072930052098529087883513*c\ _0101_4 + 6757640715092768942030558408/1121407293005209852908788351\ 3, c_0101_4^19 + 10*c_0101_4^18 + 25*c_0101_4^17 + 131*c_0101_4^16 + 237*c_0101_4^15 + 258*c_0101_4^14 + 88*c_0101_4^13 - 497*c_0101_4^12 - 475*c_0101_4^11 - 494*c_0101_4^10 + 199*c_0101_4^9 + 623*c_0101_4^8 - 208*c_0101_4^7 + 280*c_0101_4^6 + 128*c_0101_4^5 - 278*c_0101_4^4 - 6*c_0101_4^3 + 15*c_0101_4^2 + 5*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB