Magma V2.19-8 Tue Aug 20 2013 16:18:33 on localhost [Seed = 812756225] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2741 geometric_solution 5.98232826 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501648685860 0.886653646672 0 2 6 5 0132 2310 0132 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 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.224012485543 0.293014547127 2 0 2 1 2031 0132 1302 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.145460035525 2.776941606153 5 6 5 0 0132 2103 1230 0132 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 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.702202636263 0.329265412613 5 4 0 4 1302 2310 0132 3201 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 1 0 -1 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.594577140816 0.720108807327 3 4 1 3 0132 2031 0132 3012 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 -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 0 0 0 0 0.903379807432 1.261982662349 6 3 6 1 2310 2103 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 1 -1 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.510902598428 1.670558668642 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : 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' : negation(d['1']), 's_2_3' : negation(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' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_2']), 'c_1001_4' : d['c_0110_2'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0110_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0110_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0110_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_2']), 'c_1010_0' : d['c_0110_2']})} 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_4, c_0011_6, c_0101_0, c_0110_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 159408037285669273892590230235/452484257251876904990254166016*c_100\ 1_0^19 - 1687877418169128180980484501683/33936319293890767874269062\ 4512*c_1001_0^18 - 20451087737839054109107594965713/678726385877815\ 357485381249024*c_1001_0^17 - 136446464897268622296496502164019/135\ 7452771755630714970762498048*c_1001_0^16 - 65032661546981215455288586400407/339363192938907678742690624512*c_1\ 001_0^15 - 215626978961206111057380832153583/1357452771755630714970\ 762498048*c_1001_0^14 + 6853870317396779462857539693635/37707021437\ 656408749187847168*c_1001_0^13 + 498807332728222229626480042108517/\ 678726385877815357485381249024*c_1001_0^12 + 1125054515815414179427613604671393/1357452771755630714970762498048*\ c_1001_0^11 - 252034716159014206236108604017035/1357452771755630714\ 970762498048*c_1001_0^10 - 528216524005560434512184073858833/339363\ 192938907678742690624512*c_1001_0^9 - 731851128137086459954348328916901/452484257251876904990254166016*c_\ 1001_0^8 + 459590010035988355136719843196435/1357452771755630714970\ 762498048*c_1001_0^7 + 1165922646316285851311361279378269/452484257\ 251876904990254166016*c_1001_0^6 + 1741683813074619805817546701123919/1357452771755630714970762498048*\ c_1001_0^5 - 618452914794437094212736115149757/33936319293890767874\ 2690624512*c_1001_0^4 - 12588261609363794103666466392967/1060509977\ 9340864960709082016*c_1001_0^3 + 204095191610622952904501990602015/\ 339363192938907678742690624512*c_1001_0^2 + 416911864577399829421642833167047/1357452771755630714970762498048*c\ _1001_0 - 14429648499897630219496812380561/339363192938907678742690\ 624512, c_0011_0 - 1, c_0011_3 + 367384075743589136242287/11330234806988103590501156*c_1001_0\ ^19 + 1276214247206261534157856/2832558701747025897625289*c_1001_0^\ 18 + 15153816799404056840636331/5665117403494051795250578*c_1001_0^\ 17 + 98329076852310446938131269/11330234806988103590501156*c_1001_0\ ^16 + 44759538406856654527967915/2832558701747025897625289*c_1001_0\ ^15 + 127342532079024363199519097/11330234806988103590501156*c_1001\ _0^14 - 55352393774125917043964192/2832558701747025897625289*c_1001\ _0^13 - 368302397077154403495821145/5665117403494051795250578*c_100\ 1_0^12 - 738792391520655336277574439/11330234806988103590501156*c_1\ 001_0^11 + 327456191011365864186834449/11330234806988103590501156*c\ _1001_0^10 + 396141401992897300680194159/2832558701747025897625289*\ c_1001_0^9 + 1445450109657452661217568233/1133023480698810359050115\ 6*c_1001_0^8 - 592506340853058415689544337/113302348069881035905011\ 56*c_1001_0^7 - 2612370521156996892729489017/1133023480698810359050\ 1156*c_1001_0^6 - 949590148955355286392970861/113302348069881035905\ 01156*c_1001_0^5 + 495214531964278363020236290/28325587017470258976\ 25289*c_1001_0^4 + 242176893182798158769925289/28325587017470258976\ 25289*c_1001_0^3 - 172333771723814683852815150/28325587017470258976\ 25289*c_1001_0^2 - 263801370802772878099031889/11330234806988103590\ 501156*c_1001_0 + 15167481243742201263329378/2832558701747025897625\ 289, c_0011_4 - 106766090596184743025767/11330234806988103590501156*c_1001_0\ ^19 - 407390117145513167538644/2832558701747025897625289*c_1001_0^1\ 8 - 5386886801614671074232627/5665117403494051795250578*c_1001_0^17 - 39859122275437261522876425/11330234806988103590501156*c_1001_0^16 - 21850276363182705953614941/2832558701747025897625289*c_1001_0^15 - 99631164529968061462818389/11330234806988103590501156*c_1001_0^14 + 4748397975272340643443084/2832558701747025897625289*c_1001_0^13 + 139960938402030365475417189/5665117403494051795250578*c_1001_0^12 + 437937264873645968783436143/11330234806988103590501156*c_1001_0^11 + 114973488614805665807709099/11330234806988103590501156*c_1001_0^10 - 143540324575929692979504125/2832558701747025897625289*c_1001_0^9 - 869183422877285967122023373/11330234806988103590501156*c_1001_0^8 - 216007042406538158047494847/11330234806988103590501156*c_1001_0^7 + 966034723327076669126812489/11330234806988103590501156*c_1001_0^6 + 992127714882188866796169441/11330234806988103590501156*c_1001_0^5 - 120721559060885681419795199/2832558701747025897625289*c_1001_0^4 - 201311437885955826049159497/2832558701747025897625289*c_1001_0^3 + 29338596537151140734550756/2832558701747025897625289*c_1001_0^2 + 214347757779451936582397325/11330234806988103590501156*c_1001_0 - 1585305738207422878177251/2832558701747025897625289, c_0011_6 - 78379245646508810294375/22660469613976207181002312*c_1001_0^\ 19 - 147352243079853941512477/2832558701747025897625289*c_1001_0^18 - 3953132856982303067346119/11330234806988103590501156*c_1001_0^17 - 31106321176883146621707645/22660469613976207181002312*c_1001_0^16 - 9851798151080903242671661/2832558701747025897625289*c_1001_0^15 - 127505652512388636751819209/22660469613976207181002312*c_1001_0^14 - 12371783037621895892598176/2832558701747025897625289*c_1001_0^13 + 44289289861389923991130615/11330234806988103590501156*c_1001_0^12 + 364820466722558052337870783/22660469613976207181002312*c_1001_0^11 + 440649387214485311393728775/22660469613976207181002312*c_1001_0^10 + 8651602589072689571348392/2832558701747025897625289*c_1001_0^9 - 560956330157001497377596681/22660469613976207181002312*c_1001_0^8 - 756667471799959354200482759/22660469613976207181002312*c_1001_0^7 - 140171740741310254979070667/22660469613976207181002312*c_1001_0^6 + 611201384739092319040582213/22660469613976207181002312*c_1001_0^5 + 79765538530472712754438577/2832558701747025897625289*c_1001_0^4 - 11206255259375421509464667/2832558701747025897625289*c_1001_0^3 - 101621540760816999591174785/5665117403494051795250578*c_1001_0^2 - 34501974460694832205523271/22660469613976207181002312*c_1001_0 + 6994784313249265376411955/2832558701747025897625289, c_0101_0 + 179225827068786561203047/22660469613976207181002312*c_1001_0\ ^19 + 333784574385965342245666/2832558701747025897625289*c_1001_0^1\ 8 + 8750570227248794573584191/11330234806988103590501156*c_1001_0^1\ 7 + 66010268206192025028023533/22660469613976207181002312*c_1001_0^\ 16 + 19526231468221275196645842/2832558701747025897625289*c_1001_0^\ 15 + 226093618653912580724332345/22660469613976207181002312*c_1001_\ 0^14 + 15854390594416025360555984/2832558701747025897625289*c_1001_\ 0^13 - 121101625680354012845196091/11330234806988103590501156*c_100\ 1_0^12 - 654833940028065359215734255/22660469613976207181002312*c_1\ 001_0^11 - 576896863923197348485365679/22660469613976207181002312*c\ _1001_0^10 + 21764440995905914446901556/2832558701747025897625289*c\ _1001_0^9 + 1012626368083094594152588393/22660469613976207181002312\ *c_1001_0^8 + 927447933831479569569152879/2266046961397620718100231\ 2*c_1001_0^7 - 297329342375768648803706213/226604696139762071810023\ 12*c_1001_0^6 - 976285980656678362750230957/22660469613976207181002\ 312*c_1001_0^5 - 41004430128791775303542074/28325587017470258976252\ 89*c_1001_0^4 + 28995038922314206024679062/283255870174702589762528\ 9*c_1001_0^3 + 66433174847554711114489547/5665117403494051795250578\ *c_1001_0^2 + 58766467350615696751628311/22660469613976207181002312\ *c_1001_0 - 5642405844000000604350438/2832558701747025897625289, c_0110_2 - 22410276930743/352647217637804*c_1001_0^19 - 78748770265502/88161804409451*c_1001_0^18 - 950191382270887/176323608818902*c_1001_0^17 - 6317365990979981/352647217637804*c_1001_0^16 - 3005543339035462/88161804409451*c_1001_0^15 - 10011227120194953/352647217637804*c_1001_0^14 + 2788818900038011/88161804409451*c_1001_0^13 + 22782367244885877/176323608818902*c_1001_0^12 + 51447158162039247/352647217637804*c_1001_0^11 - 11248122153155841/352647217637804*c_1001_0^10 - 24033731003934534/88161804409451*c_1001_0^9 - 100925912409090849/352647217637804*c_1001_0^8 + 20012622475476621/352647217637804*c_1001_0^7 + 158644264063331853/352647217637804*c_1001_0^6 + 79210375376172633/352647217637804*c_1001_0^5 - 27111978687527191/88161804409451*c_1001_0^4 - 18249592443230619/88161804409451*c_1001_0^3 + 8355876931832647/88161804409451*c_1001_0^2 + 19628957924856309/352647217637804*c_1001_0 - 566858866582235/88161804409451, c_1001_0^20 + 15*c_1001_0^19 + 98*c_1001_0^18 + 361*c_1001_0^17 + 797*c_1001_0^16 + 935*c_1001_0^15 - 111*c_1001_0^14 - 2538*c_1001_0^13 - 4207*c_1001_0^12 - 1584*c_1001_0^11 + 4857*c_1001_0^10 + 8527*c_1001_0^9 + 3194*c_1001_0^8 - 8076*c_1001_0^7 - 10136*c_1001_0^6 + 1795*c_1001_0^5 + 7848*c_1001_0^4 + 1348*c_1001_0^3 - 2315*c_1001_0^2 - 657*c_1001_0 + 104 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB