Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 2682127187] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0368 geometric_solution 4.41980015 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 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 2.282319515218 0.174108218787 0 2 2 0 0132 0132 3201 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 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 -1.065252954801 0.774656041930 1 1 3 3 2310 0132 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 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.095608932011 0.232970257921 4 2 5 2 0132 2310 0132 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.776160203408 1.917019002943 3 5 5 6 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 1 -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 -0.118918191499 0.753185862075 6 4 4 3 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 1 0 -1 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.118918191499 0.753185862075 6 5 4 6 3012 1023 0132 1230 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 -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.721160172579 1.197975528888 ==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' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_1_3' : 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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], '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_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], '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_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 9834200701629007871066/84024994453228368324687*c_0101_3^15 - 70020780107748846504896/84024994453228368324687*c_0101_3^14 + 30555926451885689870248/28008331484409456108229*c_0101_3^13 - 97523071202639784340946/28008331484409456108229*c_0101_3^12 + 5197474636675337388560389/84024994453228368324687*c_0101_3^11 - 20536483730592647745553217/84024994453228368324687*c_0101_3^10 + 30083420820874385271966244/84024994453228368324687*c_0101_3^9 - 22899962113973404702906663/84024994453228368324687*c_0101_3^8 + 43295855715404995274507290/84024994453228368324687*c_0101_3^7 - 59157466306758741600449233/84024994453228368324687*c_0101_3^6 + 3770315285148059721119825/84024994453228368324687*c_0101_3^5 - 281738401906962028702588/84024994453228368324687*c_0101_3^4 + 26824174598358069802054253/84024994453228368324687*c_0101_3^3 + 19449243900727977915410612/84024994453228368324687*c_0101_3^2 - 24789121913503466002794397/84024994453228368324687*c_0101_3 + 28102066102839456636127/28008331484409456108229, c_0011_0 - 1, c_0011_3 - 500804248142132528/205440084237722171943*c_0101_3^15 + 4007395506724204508/205440084237722171943*c_0101_3^14 - 7354714468631386474/205440084237722171943*c_0101_3^13 + 4630027628792985442/68480028079240723981*c_0101_3^12 - 263299468302601050499/205440084237722171943*c_0101_3^11 + 1262749978613121299720/205440084237722171943*c_0101_3^10 - 719014441609451105908/68480028079240723981*c_0101_3^9 + 234526225873329233364/68480028079240723981*c_0101_3^8 + 718066081387219887374/205440084237722171943*c_0101_3^7 + 516825129733580804910/68480028079240723981*c_0101_3^6 - 869291562686150075636/205440084237722171943*c_0101_3^5 - 968988075712591961622/68480028079240723981*c_0101_3^4 + 702786801028270835201/205440084237722171943*c_0101_3^3 + 447671514415586512612/205440084237722171943*c_0101_3^2 - 44997303538295376760/68480028079240723981*c_0101_3 + 135802236449883647803/205440084237722171943, c_0011_5 + 417448874080302777071/84024994453228368324687*c_0101_3^15 - 3456176057279069667974/84024994453228368324687*c_0101_3^14 + 7226603090946436861621/84024994453228368324687*c_0101_3^13 - 4947458880086824935331/28008331484409456108229*c_0101_3^12 + 225508398489781214336665/84024994453228368324687*c_0101_3^11 - 1115646021159975624896240/84024994453228368324687*c_0101_3^10 + 104338998531857840873462/4001190212058493729747*c_0101_3^9 - 526230923943674958694904/28008331484409456108229*c_0101_3^8 + 259292052633133816478836/84024994453228368324687*c_0101_3^7 - 402879224260349889807186/28008331484409456108229*c_0101_3^6 + 184912799408096727681638/12003570636175481189241*c_0101_3^5 + 438053349309444981430281/28008331484409456108229*c_0101_3^4 - 201127391707862256424013/12003570636175481189241*c_0101_3^3 + 109527180271467930267788/84024994453228368324687*c_0101_3^2 + 45167154674058680811925/28008331484409456108229*c_0101_3 - 6658332871275489041056/12003570636175481189241, c_0101_0 - 2221803767912645450281/84024994453228368324687*c_0101_3^15 + 13150979298068873353294/84024994453228368324687*c_0101_3^14 - 1870454104375990815212/84024994453228368324687*c_0101_3^13 + 13219976087941470546458/28008331484409456108229*c_0101_3^12 - 154708993527414392070038/12003570636175481189241*c_0101_3^11 + 3246923217497091023662507/84024994453228368324687*c_0101_3^10 - 421712727842271615350035/28008331484409456108229*c_0101_3^9 - 1301166519813472636718244/28008331484409456108229*c_0101_3^8 - 192816397637799028236287/12003570636175481189241*c_0101_3^7 + 1407155398638567750830180/28008331484409456108229*c_0101_3^6 + 6638143610544800176652399/84024994453228368324687*c_0101_3^5 - 711812499624631691940256/28008331484409456108229*c_0101_3^4 - 3176456427807868492649393/84024994453228368324687*c_0101_3^3 + 155452158473060602581212/84024994453228368324687*c_0101_3^2 + 44098637650953177492278/28008331484409456108229*c_0101_3 - 22215501536147405796574/84024994453228368324687, c_0101_1 + 7833888209980428403/205440084237722171943*c_0101_3^15 - 55039195196023980331/205440084237722171943*c_0101_3^14 + 9075424882668644129/29348583462531738849*c_0101_3^13 - 62216581457315911973/68480028079240723981*c_0101_3^12 + 4014894974245897878755/205440084237722171943*c_0101_3^11 - 15791595169065656941858/205440084237722171943*c_0101_3^10 + 6678042216433257981289/68480028079240723981*c_0101_3^9 - 793536155284413763360/68480028079240723981*c_0101_3^8 + 2239880884606421102882/205440084237722171943*c_0101_3^7 - 905458327120322421678/9782861154177246283*c_0101_3^6 - 4163513559490334375708/205440084237722171943*c_0101_3^5 + 6031206894230880547427/68480028079240723981*c_0101_3^4 - 4271947146169317013759/205440084237722171943*c_0101_3^3 - 1693596059955363979832/205440084237722171943*c_0101_3^2 + 52261233590622975946/9782861154177246283*c_0101_3 - 56700118095074471960/205440084237722171943, c_0101_2 - 429608511506661623486/12003570636175481189241*c_0101_3^15 + 20896643160007662080402/84024994453228368324687*c_0101_3^14 - 23297189314387951943809/84024994453228368324687*c_0101_3^13 + 24437641378451325756968/28008331484409456108229*c_0101_3^12 - 1538871380798000009039143/84024994453228368324687*c_0101_3^11 + 5956605380075094976474268/84024994453228368324687*c_0101_3^10 - 2497657115094639470879562/28008331484409456108229*c_0101_3^9 + 61764786751087928900858/4001190212058493729747*c_0101_3^8 - 1901211986284440085568932/84024994453228368324687*c_0101_3^7 + 2442699572201435814729167/28008331484409456108229*c_0101_3^6 + 1833437252636034955909651/84024994453228368324687*c_0101_3^5 - 272476647898046431631809/4001190212058493729747*c_0101_3^4 + 1448174929614891887010272/84024994453228368324687*c_0101_3^3 - 9127647039478854917381/12003570636175481189241*c_0101_3^2 - 46416414183281727879878/28008331484409456108229*c_0101_3 + 44797217499298069291258/84024994453228368324687, c_0101_3^16 - 7*c_0101_3^15 + 8*c_0101_3^14 - 24*c_0101_3^13 + 512*c_0101_3^12 - 2005*c_0101_3^11 + 2538*c_0101_3^10 - 333*c_0101_3^9 + 380*c_0101_3^8 - 2475*c_0101_3^7 - 530*c_0101_3^6 + 2229*c_0101_3^5 - 454*c_0101_3^4 - 173*c_0101_3^3 + 81*c_0101_3^2 - 8*c_0101_3 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB