Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 3970789574] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0080 geometric_solution 3.62686672 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.420849205588 0.094348276425 2 0 0 2 0132 0132 1023 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 1 0 -1 1 0 -1 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.924994026940 0.245565774819 1 1 3 3 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 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 1 0 -1 -1 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 0.289776438485 0.127231691632 4 2 5 2 0132 2310 0132 0132 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 0 0 0 0 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.496262888927 0.635914326019 3 5 6 5 0132 3201 0132 2310 0 0 0 0 0 1 0 -1 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 -1 0 1 -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.970035184231 1.978703743959 4 6 4 3 3201 1023 2310 0132 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 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.970035184231 1.978703743959 5 6 6 4 1023 3201 2310 0132 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199750389277 0.407456192873 ==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' : negation(d['1']), 's_1_6' : negation(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_0011_0'], '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' : negation(d['c_0101_3']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), '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_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 8084626596326819103741157831700033/76410163452719964920745319398777\ 6*c_0101_3^20 + 3729316148457650136331397828811961/3183756810529998\ 5383643883082824*c_0101_3^19 - 110634910120132792874173345560947/15\ 918784052649992691821941541412*c_0101_3^18 + 602614342258273350399761479351219763/254700544842399883069151064662\ 592*c_0101_3^17 + 563799502751448733145696507573711807/382050817263\ 599824603726596993888*c_0101_3^16 + 12763179733993794491889467816650483403/7641016345271996492074531939\ 87776*c_0101_3^15 + 7674673122005809003277845336426368019/764101634\ 527199649207453193987776*c_0101_3^14 + 45938983290806091991098505345470111611/7641016345271996492074531939\ 87776*c_0101_3^13 + 22014918763935629423065534202100855787/76410163\ 4527199649207453193987776*c_0101_3^12 + 91400770614643316753835662356848594199/7641016345271996492074531939\ 87776*c_0101_3^11 + 2650576336315618438972261325086991255/636751362\ 10599970767287766165648*c_0101_3^10 + 17053868444807103834541266152476439369/1273502724211999415345755323\ 31296*c_0101_3^9 + 23484011964547057913943254359706909473/764101634\ 527199649207453193987776*c_0101_3^8 + 32143895469275694269635889609696833135/3820508172635998246037265969\ 93888*c_0101_3^7 + 736066395908302035388095439525914085/63675136210\ 599970767287766165648*c_0101_3^6 + 3095444663403738679781568736681499819/10915737636102852131535045628\ 3968*c_0101_3^5 + 1955988716534162150617807373678579653/76410163452\ 7199649207453193987776*c_0101_3^4 + 1588912352358814472238593624045635291/38205081726359982460372659699\ 3888*c_0101_3^3 + 125357109623664762662096518139844037/191025408631\ 799912301863298496944*c_0101_3^2 + 29376406793587783032734830196315609/7641016345271996492074531939877\ 76*c_0101_3 + 133388669834467630500297640668712877/7641016345271996\ 49207453193987776, c_0011_0 - 1, c_0011_3 - 118413643948469853855922271/309434569176640817417169712*c_01\ 01_3^20 + 656554808952903756823336667/154717284588320408708584856*c\ _0101_3^19 - 23917560069763032068867965/154717284588320408708584856\ *c_0101_3^18 + 25866845402200639370767363397/3094345691766408174171\ 69712*c_0101_3^17 + 8107296850936147156968293781/154717284588320408\ 708584856*c_0101_3^16 + 174883695008451006611346783129/309434569176\ 640817417169712*c_0101_3^15 + 104777630437528877866436988791/309434\ 569176640817417169712*c_0101_3^14 + 593876900759075154450680629277/309434569176640817417169712*c_0101_3\ ^13 + 283337013049445803637391767043/309434569176640817417169712*c_\ 0101_3^12 + 1079407675671929711072676728021/30943456917664081741716\ 9712*c_0101_3^11 + 189902239839171193550254002691/15471728458832040\ 8708584856*c_0101_3^10 + 261253841330010787909961249841/77358642294\ 160204354292428*c_0101_3^9 + 253925961528147576700554296141/3094345\ 69176640817417169712*c_0101_3^8 + 261543128991071942819055283661/15\ 4717284588320408708584856*c_0101_3^7 + 10236623110595983300772444593/38679321147080102177146214*c_0101_3^6 + 122177276526667647130437911311/309434569176640817417169712*c_0101\ _3^5 + 9844657306768578357077301345/309434569176640817417169712*c_0\ 101_3^4 + 4305106526163580263664728313/154717284588320408708584856*\ c_0101_3^3 - 28241572399127281755593835/19339660573540051088573107*\ c_0101_3^2 + 265428185983233594959566275/30943456917664081741716971\ 2*c_0101_3 + 84088375147541252391542081/309434569176640817417169712\ , c_0011_5 + 1178665658735683785799146009/6343408668121136757051979096*c_\ 0101_3^20 - 7121570345179960041192634853/31717043340605683785259895\ 48*c_0101_3^19 + 7036093581467596944288621367/317170433406056837852\ 5989548*c_0101_3^18 - 264532431370243476481705312787/63434086681211\ 36757051979096*c_0101_3^17 + 47573149362728235177917259809/31717043\ 34060568378525989548*c_0101_3^16 - 1707912002207426840859051804799/6343408668121136757051979096*c_0101\ _3^15 + 613671535185088351883723399279/6343408668121136757051979096\ *c_0101_3^14 - 5714693816837396039073404572003/63434086681211367570\ 51979096*c_0101_3^13 + 2598506181897247670258633815571/634340866812\ 1136757051979096*c_0101_3^12 - 10692710848050887148209665956683/634\ 3408668121136757051979096*c_0101_3^11 + 2882674471993676923172084702895/3171704334060568378525989548*c_0101\ _3^10 - 2841366764865870066263976927689/158585216703028418926299477\ 4*c_0101_3^9 + 6534882331254323985798747346005/63434086681211367570\ 51979096*c_0101_3^8 - 3420159978228814443839181269579/3171704334060\ 568378525989548*c_0101_3^7 + 475376331813370418970136914748/7929260\ 83515142094631497387*c_0101_3^6 - 2160947232949672254856908445649/6\ 343408668121136757051979096*c_0101_3^5 + 1092011201962996731152509947841/6343408668121136757051979096*c_0101\ _3^4 - 138857785931681292200469737447/3171704334060568378525989548*\ c_0101_3^3 + 14989905895354146646452454291/792926083515142094631497\ 387*c_0101_3^2 - 6068254282203516582851688813/634340866812113675705\ 1979096*c_0101_3 + 2613223828012270665725608137/6343408668121136757\ 051979096, c_0101_0 - 411930071388893662667120453/12686817336242273514103958192*c_\ 0101_3^20 + 2403268008160463766119988289/63434086681211367570519790\ 96*c_0101_3^19 - 383947396324184076639993279/6343408668121136757051\ 979096*c_0101_3^18 + 67174890613496059025592982855/1268681733624227\ 3514103958192*c_0101_3^17 + 3813565196913359165088467559/6343408668\ 121136757051979096*c_0101_3^16 + 130614618397979607977976156291/126\ 86817336242273514103958192*c_0101_3^15 - 216094151769149778463349355699/12686817336242273514103958192*c_0101\ _3^14 - 1102131611167106603834549786785/126868173362422735141039581\ 92*c_0101_3^13 - 1657853446820473780407062448175/126868173362422735\ 14103958192*c_0101_3^12 - 6666253713610750230914962077193/126868173\ 36242273514103958192*c_0101_3^11 - 2252386742757202525695543748495/6343408668121136757051979096*c_0101\ _3^10 - 3645534245800922477693731084217/317170433406056837852598954\ 8*c_0101_3^9 - 5593175145388369923768567465601/12686817336242273514\ 103958192*c_0101_3^8 - 7475490834356971139230259443105/634340866812\ 1136757051979096*c_0101_3^7 - 412558613653155820595490592053/158585\ 2167030284189262994774*c_0101_3^6 - 7409123558291517092643519381771/12686817336242273514103958192*c_010\ 1_3^5 - 1045758457581617848252157463861/126868173362422735141039581\ 92*c_0101_3^4 - 793519523923857801616288050645/63434086681211367570\ 51979096*c_0101_3^3 - 13646155432925022504582150466/792926083515142\ 094631497387*c_0101_3^2 - 51295966328701219206222592895/12686817336\ 242273514103958192*c_0101_3 - 18592751432023703166172862293/1268681\ 7336242273514103958192, c_0101_1 + 142819463987410250383708747/309434569176640817417169712*c_01\ 01_3^20 - 770406565739797524662441283/154717284588320408708584856*c\ _0101_3^19 - 189357171966020251756768827/15471728458832040870858485\ 6*c_0101_3^18 - 31618287784618680854393524609/309434569176640817417\ 169712*c_0101_3^17 - 14480418697145926940040764265/1547172845883204\ 08708584856*c_0101_3^16 - 225401803989209914710120881901/3094345691\ 76640817417169712*c_0101_3^15 - 195950052398438568966691260731/3094\ 34569176640817417169712*c_0101_3^14 - 811889420015874929038967478017/309434569176640817417169712*c_0101_3\ ^13 - 596849527597551106350647638567/309434569176640817417169712*c_\ 0101_3^12 - 1597934849309891034522506250393/30943456917664081741716\ 9712*c_0101_3^11 - 480395073321655066864948298395/15471728458832040\ 8708584856*c_0101_3^10 - 435654855551206929237557527715/77358642294\ 160204354292428*c_0101_3^9 - 846377601854803673170852367033/3094345\ 69176640817417169712*c_0101_3^8 - 523605416580719584100190236561/15\ 4717284588320408708584856*c_0101_3^7 - 51688571169820371107760386603/38679321147080102177146214*c_0101_3^6 - 334103321259971267459297644651/309434569176640817417169712*c_0101\ _3^5 - 107431872327647047970540483549/309434569176640817417169712*c\ _0101_3^4 - 24260773798542508676580590261/1547172845883204087085848\ 56*c_0101_3^3 - 730165558114822903670859639/19339660573540051088573\ 107*c_0101_3^2 - 1778360624386728269894864831/309434569176640817417\ 169712*c_0101_3 - 411745020319727403942418557/309434569176640817417\ 169712, c_0101_2 - 551066523178326762374889781/3171704334060568378525989548*c_0\ 101_3^20 + 2828943649924602159187666733/158585216703028418926299477\ 4*c_0101_3^19 + 2268480140155467729312615567/1585852167030284189262\ 994774*c_0101_3^18 + 123094275338113955560499555343/317170433406056\ 8378525989548*c_0101_3^17 + 87325736960725537040283126479/158585216\ 7030284189262994774*c_0101_3^16 + 932595941689507410848106949287/31\ 71704334060568378525989548*c_0101_3^15 + 1198089231788428155202944637241/3171704334060568378525989548*c_0101\ _3^14 + 3540637279526160542726695967927/317170433406056837852598954\ 8*c_0101_3^13 + 3850657387921754905135130511397/3171704334060568378\ 525989548*c_0101_3^12 + 7346478280208629626387163100571/31717043340\ 60568378525989548*c_0101_3^11 + 3299605286554390684491047119183/158\ 5852167030284189262994774*c_0101_3^10 + 2114483555799898243146740525258/792926083515142094631497387*c_0101_\ 3^9 + 6139748915473071060929085844475/3171704334060568378525989548*\ c_0101_3^8 + 2660939761494074737102709172651/1585852167030284189262\ 994774*c_0101_3^7 + 768333448168939048061704181554/7929260835151420\ 94631497387*c_0101_3^6 + 1751625534251241981011040933749/3171704334\ 060568378525989548*c_0101_3^5 + 786505413514383395724846077923/3171\ 704334060568378525989548*c_0101_3^4 + 131677118863775416227522706575/1585852167030284189262994774*c_0101_\ 3^3 + 19835031328891190232942276707/792926083515142094631497387*c_0\ 101_3^2 + 8914520517456244444558956441/3171704334060568378525989548\ *c_0101_3 + 2590000752202321306989858227/31717043340605683785259895\ 48, c_0101_3^21 - 11*c_0101_3^20 - 225*c_0101_3^18 - 155*c_0101_3^17 - 1617*c_0101_3^16 - 1074*c_0101_3^15 - 5946*c_0101_3^14 - 3210*c_0101_3^13 - 12190*c_0101_3^12 - 4943*c_0101_3^11 - 14274*c_0101_3^10 - 4007*c_0101_3^9 - 9603*c_0101_3^8 - 1666*c_0101_3^7 - 3625*c_0101_3^6 - 318*c_0101_3^5 - 687*c_0101_3^4 - 18*c_0101_3^3 - 45*c_0101_3^2 - 2*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB