Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 3819077378] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1906 geometric_solution 5.51378099 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -1 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 0 -1 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 1.770439732113 0.421336987755 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 1 -1 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 -1 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765839169521 0.851455670807 4 1 5 3 0132 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.070832677568 0.906172702369 5 2 4 1 1023 2310 2310 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 -1 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.070832677568 0.906172702369 2 3 6 6 0132 3201 3201 0132 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092487906074 0.498631468308 5 3 5 2 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 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.556806631165 1.015346691406 4 6 4 6 2310 2310 0132 3201 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 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.079691843853 0.897842701124 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 77112970962266114512827297859224/516103736722412444472944771131*c_0\ 101_4^20 + 771181609421432631113382606938367/5161037367224124444729\ 44771131*c_0101_4^19 - 256548772504499294995333974518293/5161037367\ 22412444472944771131*c_0101_4^18 - 6570594547750689791562678095246908/516103736722412444472944771131*c\ _0101_4^17 - 44894768986445409548086958221528/516103736722412444472\ 944771131*c_0101_4^16 + 15851961039375116706619150895700931/5161037\ 36722412444472944771131*c_0101_4^15 - 399585648759034005567093746696896/516103736722412444472944771131*c_\ 0101_4^14 - 19266931320700810608236354669176228/5161037367224124444\ 72944771131*c_0101_4^13 + 2095277667988640381799990271939272/516103\ 736722412444472944771131*c_0101_4^12 + 15535841315943112811665731473666792/516103736722412444472944771131*\ c_0101_4^11 + 7431726519348665049687108694522851/516103736722412444\ 472944771131*c_0101_4^10 + 6969476754243887948741582335722141/51610\ 3736722412444472944771131*c_0101_4^9 + 2086182207148057755641666506068638/516103736722412444472944771131*c\ _0101_4^8 - 6736635224118137683732160388949389/51610373672241244447\ 2944771131*c_0101_4^7 - 6446663937355051772380182362238051/51610373\ 6722412444472944771131*c_0101_4^6 - 3115640573944470421686917633921648/516103736722412444472944771131*c\ _0101_4^5 - 1375455607794379103427543796977052/51610373672241244447\ 2944771131*c_0101_4^4 - 506767710377909861374000176422336/516103736\ 722412444472944771131*c_0101_4^3 + 32354062489386246794380532513831/516103736722412444472944771131*c_0\ 101_4^2 + 141158348259252662472907698825899/51610373672241244447294\ 4771131*c_0101_4 + 15495443938117513498026096322822/516103736722412\ 444472944771131, c_0011_0 - 1, c_0011_3 - 451481334355544705185237075135656/56771411039465368892023924\ 82441*c_0101_4^20 + 4733549339721960153235220189173647/567714110394\ 6536889202392482441*c_0101_4^19 - 376942242827924152099865044947899\ 7/5677141103946536889202392482441*c_0101_4^18 - 36864743943207863381902669495629406/5677141103946536889202392482441\ *c_0101_4^17 + 1593989684209972063145960218843967/51610373672241244\ 4472944771131*c_0101_4^16 + 86597186586850290784916347269145227/567\ 7141103946536889202392482441*c_0101_4^15 - 43952625841969392843181374071174204/5677141103946536889202392482441\ *c_0101_4^14 - 97972865733015806609226266587321887/5677141103946536\ 889202392482441*c_0101_4^13 + 5506356733391137339078158414848421/51\ 6103736722412444472944771131*c_0101_4^12 + 70213245369897794650797939900665518/5677141103946536889202392482441\ *c_0101_4^11 + 5775491134641170363018004180297826/56771411039465368\ 89202392482441*c_0101_4^10 + 32211630512169262216604892148400608/56\ 77141103946536889202392482441*c_0101_4^9 - 2282949951232599376113082875726414/5677141103946536889202392482441*\ c_0101_4^8 - 41905844633558550115399341384461141/567714110394653688\ 9202392482441*c_0101_4^7 - 18570073828800936336147878535889718/5677\ 141103946536889202392482441*c_0101_4^6 - 5430074790421806964165107297884678/5677141103946536889202392482441*\ c_0101_4^5 - 4345279227643204524757101546842108/5677141103946536889\ 202392482441*c_0101_4^4 - 101495437602460549818815505552963/5677141\ 103946536889202392482441*c_0101_4^3 + 1025937001892776668478991345517249/5677141103946536889202392482441*\ c_0101_4^2 + 256918485315391103837595927537050/56771411039465368892\ 02392482441*c_0101_4 - 62320692641824374348191225861067/56771411039\ 46536889202392482441, c_0011_6 + 715553104306315930711287426/16941986564764220348388037*c_010\ 1_4^20 - 7511024045924549432111572425/16941986564764220348388037*c_\ 0101_4^19 + 6075646446834873176814807882/16941986564764220348388037\ *c_0101_4^18 + 58248827988361582483149127540/1694198656476422034838\ 8037*c_0101_4^17 - 28323379801423103208776518385/169419865647642203\ 48388037*c_0101_4^16 - 136337354251687297331562274767/1694198656476\ 4220348388037*c_0101_4^15 + 70324825108734030813012476126/169419865\ 64764220348388037*c_0101_4^14 + 153619381278937775141922306263/1694\ 1986564764220348388037*c_0101_4^13 - 95827398709133443290935543511/16941986564764220348388037*c_0101_4^1\ 2 - 110095865901048044987627254420/16941986564764220348388037*c_010\ 1_4^11 - 9685831957667600034046456797/16941986564764220348388037*c_\ 0101_4^10 - 50428241749785979196450314832/1694198656476422034838803\ 7*c_0101_4^9 + 4242524117439301168108080642/16941986564764220348388\ 037*c_0101_4^8 + 65773730698680368256571381657/16941986564764220348\ 388037*c_0101_4^7 + 29221431232120596861518557343/16941986564764220\ 348388037*c_0101_4^6 + 8419468668394456847616981342/169419865647642\ 20348388037*c_0101_4^5 + 6728854125058072719744387049/1694198656476\ 4220348388037*c_0101_4^4 + 185876565418983530642901584/169419865647\ 64220348388037*c_0101_4^3 - 1619144320364694271809515142/1694198656\ 4764220348388037*c_0101_4^2 - 383037239428562965980864278/169419865\ 64764220348388037*c_0101_4 + 98303105995452606518987633/16941986564\ 764220348388037, c_0101_0 + 10767575760440483382298969311/321050789116469880065735027*c_\ 0101_4^20 - 112498932452366646260135355006/321050789116469880065735\ 027*c_0101_4^19 + 86021999427272404659632336049/3210507891164698800\ 65735027*c_0101_4^18 + 879830573279951095778204602485/3210507891164\ 69880065735027*c_0101_4^17 - 34863461811198421065970506482/29186435\ 374224534551430457*c_0101_4^16 - 2060758552575409111059355238228/32\ 1050789116469880065735027*c_0101_4^15 + 959736912262449067550274903618/321050789116469880065735027*c_0101_4\ ^14 + 2330717310413452079497004902656/321050789116469880065735027*c\ _0101_4^13 - 120668614157761408305640085983/29186435374224534551430\ 457*c_0101_4^12 - 1683046662091625144637798306713/32105078911646988\ 0065735027*c_0101_4^11 - 238602151832318594940023679932/32105078911\ 6469880065735027*c_0101_4^10 - 799432271007904348967924999637/32105\ 0789116469880065735027*c_0101_4^9 + 23455374679985076474729931429/321050789116469880065735027*c_0101_4^\ 8 + 981120095479195910381452800751/321050789116469880065735027*c_01\ 01_4^7 + 485729299000495557676050069629/321050789116469880065735027\ *c_0101_4^6 + 164397264809997672678300623062/3210507891164698800657\ 35027*c_0101_4^5 + 115290153582301987785045471027/32105078911646988\ 0065735027*c_0101_4^4 + 10709187328999928058116242612/3210507891164\ 69880065735027*c_0101_4^3 - 22102223189496662214208655120/321050789\ 116469880065735027*c_0101_4^2 - 6836477227253783782633595225/321050\ 789116469880065735027*c_0101_4 + 969720144306390920230983853/321050\ 789116469880065735027, c_0101_1 - 13248180145518973784444857239/321050789116469880065735027*c_\ 0101_4^20 + 138784083030831805662947355549/321050789116469880065735\ 027*c_0101_4^19 - 109665695441821021569700635735/321050789116469880\ 065735027*c_0101_4^18 - 1079634945754064723486386289409/32105078911\ 6469880065735027*c_0101_4^17 + 45500134889423098888657583115/291864\ 35374224534551430457*c_0101_4^16 + 2526205790865368965787393933954/321050789116469880065735027*c_0101_\ 4^15 - 1242746137727994418438733754804/321050789116469880065735027*\ c_0101_4^14 - 2849465025710545922571670320467/321050789116469880065\ 735027*c_0101_4^13 + 154483186313602878843519162988/291864353742245\ 34551430457*c_0101_4^12 + 2049427114759632514409870795570/321050789\ 116469880065735027*c_0101_4^11 + 242702694687220182198989380083/321\ 050789116469880065735027*c_0101_4^10 + 956465586706960623942447891503/321050789116469880065735027*c_0101_4\ ^9 - 61801173045502551106061016715/321050789116469880065735027*c_01\ 01_4^8 - 1214249813020535104211356268477/32105078911646988006573502\ 7*c_0101_4^7 - 571513633624081417914390907427/321050789116469880065\ 735027*c_0101_4^6 - 179340244764956229631630644406/3210507891164698\ 80065735027*c_0101_4^5 - 128795233219036811869482401286/32105078911\ 6469880065735027*c_0101_4^4 - 5437242813826575150709006984/32105078\ 9116469880065735027*c_0101_4^3 + 30022116327564160757712894562/3210\ 50789116469880065735027*c_0101_4^2 + 8582650567985058056711152677/321050789116469880065735027*c_0101_4 - 1574962198431122985943963725/321050789116469880065735027, c_0101_2 - 974710496080811463394886262/16941986564764220348388037*c_010\ 1_4^20 + 10203921460490271220049286726/16941986564764220348388037*c\ _0101_4^19 - 7967010537195913612405575156/1694198656476422034838803\ 7*c_0101_4^18 - 79818629958978056702920671516/169419865647642203483\ 88037*c_0101_4^17 + 36734762169671601054122372339/16941986564764220\ 348388037*c_0101_4^16 + 188185992198837278974017107607/169419865647\ 64220348388037*c_0101_4^15 - 92603704940010169445464833774/16941986\ 564764220348388037*c_0101_4^14 - 214104532171227036213568760230/169\ 41986564764220348388037*c_0101_4^13 + 128681416926500609819234408789/16941986564764220348388037*c_0101_4^\ 12 + 154286322984575600175384754040/16941986564764220348388037*c_01\ 01_4^11 + 13853833219628718861868758031/16941986564764220348388037*\ c_0101_4^10 + 69544869828035898072394273947/16941986564764220348388\ 037*c_0101_4^9 - 4525523852599316577802529166/169419865647642203483\ 88037*c_0101_4^8 - 91285447886992962573793702583/169419865647642203\ 48388037*c_0101_4^7 - 40992830408846299710713824171/169419865647642\ 20348388037*c_0101_4^6 - 11928326417125422676925429835/169419865647\ 64220348388037*c_0101_4^5 - 9359311057656848182839118394/1694198656\ 4764220348388037*c_0101_4^4 - 136272252453065566641736308/169419865\ 64764220348388037*c_0101_4^3 + 2252233006290213784698014230/1694198\ 6564764220348388037*c_0101_4^2 + 577007655288769940178972138/169419\ 86564764220348388037*c_0101_4 - 125655715980520133313961018/1694198\ 6564764220348388037, c_0101_4^21 - 29/3*c_0101_4^20 - 2/9*c_0101_4^19 + 796/9*c_0101_4^18 + 28*c_0101_4^17 - 670/3*c_0101_4^16 - 539/9*c_0101_4^15 + 2665/9*c_0101_4^14 + 398/9*c_0101_4^13 - 2383/9*c_0101_4^12 - 1270/9*c_0101_4^11 - 82*c_0101_4^10 - 475/9*c_0101_4^9 + 872/9*c_0101_4^8 + 1055/9*c_0101_4^7 + 413/9*c_0101_4^6 + 58/3*c_0101_4^5 + 8*c_0101_4^4 - 19/9*c_0101_4^3 - 22/9*c_0101_4^2 - 1/3*c_0101_4 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB