Magma V2.19-8 Tue Aug 20 2013 16:18:17 on localhost [Seed = 1157945457] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2496 geometric_solution 5.81907878 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 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 1.097645135382 0.631171752595 0 1 1 0 0132 1230 3012 1023 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 -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 1.640218187816 0.307468858633 4 0 6 5 0132 0132 0132 0132 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646845849949 1.221460997334 6 5 4 0 1023 2310 0132 0132 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 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.646845849949 1.221460997334 2 4 4 3 0132 3201 2310 0132 0 0 0 0 0 0 1 -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 0 1 0 -1 0 0 -1 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.180639918393 0.492801721414 5 5 2 3 1302 2031 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 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.194795695925 0.488749862316 6 3 6 2 2031 1023 1302 0132 0 0 0 0 0 0 -1 1 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 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.549427026016 0.759324434768 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 30774524534291114097/10250560295060748832*c_0110_5^15 + 5104166021268677375/10250560295060748832*c_0110_5^14 - 313809798014227480065/10250560295060748832*c_0110_5^13 + 508569547149119815069/5125280147530374416*c_0110_5^12 + 135736033147828481607/10250560295060748832*c_0110_5^11 - 5628535094643740307003/10250560295060748832*c_0110_5^10 + 2393619263968136585611/2562640073765187208*c_0110_5^9 - 580750485227448512133/5125280147530374416*c_0110_5^8 - 3616095221168804089295/2562640073765187208*c_0110_5^7 + 18491071008100681940375/10250560295060748832*c_0110_5^6 - 1379121494255036360369/2562640073765187208*c_0110_5^5 - 11186475023907727342811/10250560295060748832*c_0110_5^4 + 1656600899737251629449/1281320036882593604*c_0110_5^3 - 3397650218034527457843/10250560295060748832*c_0110_5^2 - 1590756454191619442175/5125280147530374416*c_0110_5 + 496035170038924116051/2562640073765187208, c_0011_0 - 1, c_0011_3 - 685401438936581/98563079760199508*c_0110_5^15 - 439591138122614/24640769940049877*c_0110_5^14 + 2709364678728759/49281539880099754*c_0110_5^13 - 6542772121043727/98563079760199508*c_0110_5^12 - 45620853286416041/98563079760199508*c_0110_5^11 + 38793920248690689/49281539880099754*c_0110_5^10 + 78410664750878645/98563079760199508*c_0110_5^9 - 140033062764447261/49281539880099754*c_0110_5^8 + 3913426176267870/24640769940049877*c_0110_5^7 + 455307823676017871/98563079760199508*c_0110_5^6 - 401991347430213753/98563079760199508*c_0110_5^5 - 165586278726389783/98563079760199508*c_0110_5^4 + 577369898532371995/98563079760199508*c_0110_5^3 - 389605483280988561/98563079760199508*c_0110_5^2 - 45907054392377905/98563079760199508*c_0110_5 + 34388627557834821/24640769940049877, c_0011_5 - 8286020420789395/98563079760199508*c_0110_5^15 - 1133453313919430/24640769940049877*c_0110_5^14 + 39964095069806909/49281539880099754*c_0110_5^13 - 245658975138416957/98563079760199508*c_0110_5^12 - 103957623341781659/98563079760199508*c_0110_5^11 + 698711728243523037/49281539880099754*c_0110_5^10 - 2097035340454824981/98563079760199508*c_0110_5^9 - 15841875189361371/49281539880099754*c_0110_5^8 + 815615168634025938/24640769940049877*c_0110_5^7 - 3849280986055326195/98563079760199508*c_0110_5^6 + 1055916415430107549/98563079760199508*c_0110_5^5 + 2345610220685262987/98563079760199508*c_0110_5^4 - 2539954839843637227/98563079760199508*c_0110_5^3 + 634178545729320485/98563079760199508*c_0110_5^2 + 500564790317356161/98563079760199508*c_0110_5 - 68537297856531141/24640769940049877, c_0101_0 + 3092870846813273/24640769940049877*c_0110_5^15 + 1747712839261605/24640769940049877*c_0110_5^14 - 29526763064109780/24640769940049877*c_0110_5^13 + 92133011083574668/24640769940049877*c_0110_5^12 + 39416076562140305/24640769940049877*c_0110_5^11 - 518854425130569392/24640769940049877*c_0110_5^10 + 791509204819364448/24640769940049877*c_0110_5^9 + 16041328097322810/24640769940049877*c_0110_5^8 - 1247695901427710983/24640769940049877*c_0110_5^7 + 1464863061333958737/24640769940049877*c_0110_5^6 - 321102588263645844/24640769940049877*c_0110_5^5 - 952968714225676621/24640769940049877*c_0110_5^4 + 994468462899878848/24640769940049877*c_0110_5^3 - 191564528966608062/24640769940049877*c_0110_5^2 - 273792605693323629/24640769940049877*c_0110_5 + 107789283610732321/24640769940049877, c_0101_1 + 5150173287936149/49281539880099754*c_0110_5^15 + 1663611760459550/24640769940049877*c_0110_5^14 - 24411326672411153/24640769940049877*c_0110_5^13 + 150134364285114281/49281539880099754*c_0110_5^12 + 77722818543438751/49281539880099754*c_0110_5^11 - 430096517147327931/24640769940049877*c_0110_5^10 + 1266180915416023055/49281539880099754*c_0110_5^9 + 62057705301307005/24640769940049877*c_0110_5^8 - 1061066484735827034/24640769940049877*c_0110_5^7 + 2395460790543301725/49281539880099754*c_0110_5^6 - 439600838741575543/49281539880099754*c_0110_5^5 - 1639987637730034083/49281539880099754*c_0110_5^4 + 1645195359394361525/49281539880099754*c_0110_5^3 - 299241431433302887/49281539880099754*c_0110_5^2 - 436050816299140007/49281539880099754*c_0110_5 + 69884582507475988/24640769940049877, c_0101_2 + 962354265900336/24640769940049877*c_0110_5^15 + 1000838579749090/24640769940049877*c_0110_5^14 - 8113690711141899/24640769940049877*c_0110_5^13 + 25000459719171571/24640769940049877*c_0110_5^12 + 18272502455391897/24640769940049877*c_0110_5^11 - 134023542799766756/24640769940049877*c_0110_5^10 + 185981028741243228/24640769940049877*c_0110_5^9 - 6205318011728648/24640769940049877*c_0110_5^8 - 226468646812965252/24640769940049877*c_0110_5^7 + 313142003718315819/24640769940049877*c_0110_5^6 - 129234410411379169/24640769940049877*c_0110_5^5 - 109676174677720071/24640769940049877*c_0110_5^4 + 107364466199336548/24640769940049877*c_0110_5^3 - 40015857867330418/24640769940049877*c_0110_5^2 - 11288217397189875/24640769940049877*c_0110_5 + 581029732389479/24640769940049877, c_0110_5^16 - 10*c_0110_5^14 + 35*c_0110_5^13 - 3*c_0110_5^12 - 178*c_0110_5^11 + 347*c_0110_5^10 - 122*c_0110_5^9 - 424*c_0110_5^8 + 693*c_0110_5^7 - 347*c_0110_5^6 - 265*c_0110_5^5 + 485*c_0110_5^4 - 227*c_0110_5^3 - 47*c_0110_5^2 + 76*c_0110_5 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB