Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 2732801600] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0539 geometric_solution 4.55811835 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 2103 0132 0 0 0 0 0 -1 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 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.627318267187 0.594734388440 0 2 4 4 0132 1302 2310 0132 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 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.885277244442 1.826842732634 0 0 3 1 2103 0132 1302 2031 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 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.160483088596 0.795911107655 2 5 0 5 2031 0132 0132 1023 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 0 0 0 0 0 0 0 0.763104083429 0.253601363061 6 1 1 6 0132 3201 0132 1023 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 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.033271263478 0.294259714901 5 3 5 3 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634481569516 0.096662656738 4 6 6 4 0132 3201 2310 1023 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 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.137001499004 1.024880327193 ==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' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : d['c_0110_3'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0110_3'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0110_3']})} 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_0101_1, c_0101_6, c_0110_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 277769642203497453130314294026/515063248231280160260955175*c_0110_5\ ^19 + 18804717706888989967753953300153/2060252992925120641043820700\ *c_0110_5^18 - 30473453926142781288027630705891/5150632482312801602\ 60955175*c_0110_5^17 + 43427822096572132237266169107347/20602529929\ 2512064104382070*c_0110_5^16 - 20163779882389227558685429016321/412\ 05059858502412820876414*c_0110_5^15 + 1689524957445655075189431622888993/2060252992925120641043820700*c_0\ 110_5^14 - 2128406103128098147093762262698873/206025299292512064104\ 3820700*c_0110_5^13 + 1989945058577761497971506939957389/2060252992\ 925120641043820700*c_0110_5^12 - 330092296355853705033756482364208/\ 515063248231280160260955175*c_0110_5^11 + 264846895132008592883826303248037/1030126496462560320521910350*c_01\ 10_5^10 - 27833990704711046485633249690677/206025299292512064104382\ 0700*c_0110_5^9 - 25795701831380260060060336261333/1030126496462560\ 320521910350*c_0110_5^8 - 46327043838086953868858469101989/20602529\ 92925120641043820700*c_0110_5^7 + 102788364912126752588771063391679\ /2060252992925120641043820700*c_0110_5^6 - 85760921356861054562187253451407/2060252992925120641043820700*c_011\ 0_5^5 + 3239697592452854528567761662439/206025299292512064104382070\ *c_0110_5^4 - 2598588113541813049830032108524/515063248231280160260\ 955175*c_0110_5^3 + 2804321257378278624997548426751/206025299292512\ 0641043820700*c_0110_5^2 - 1236660710671838692621517001941/10301264\ 96462560320521910350*c_0110_5 + 1125249215125674328000182342557/206\ 0252992925120641043820700, c_0011_0 - 1, c_0011_3 + 65479492235059562819505718/20602529929251206410438207*c_0110\ _5^19 - 4517283861517626730390218007/82410119717004825641752828*c_0\ 110_5^18 + 15069488382374717351130973913/41205059858502412820876414\ *c_0110_5^17 - 27803282117883301169483154601/2060252992925120641043\ 8207*c_0110_5^16 + 66943175661787876263410211947/206025299292512064\ 10438207*c_0110_5^15 - 464028096860395330041981119649/8241011971700\ 4825641752828*c_0110_5^14 + 603910103533627279531902383343/82410119\ 717004825641752828*c_0110_5^13 - 586083713271938508932741909569/824\ 10119717004825641752828*c_0110_5^12 + 101491786604370298575007017988/20602529929251206410438207*c_0110_5^\ 11 - 86619702889566300528916112153/41205059858502412820876414*c_011\ 0_5^10 + 14550626631675769100105143831/82410119717004825641752828*c\ _0110_5^9 + 5057043340587010685523984769/20602529929251206410438207\ *c_0110_5^8 + 9165125576744365568556726517/824101197170048256417528\ 28*c_0110_5^7 - 29976741636183538362452183657/824101197170048256417\ 52828*c_0110_5^6 + 26057045095645053561875424591/824101197170048256\ 41752828*c_0110_5^5 - 5484379146465633298466639597/4120505985850241\ 2820876414*c_0110_5^4 + 756125107190711538970257147/206025299292512\ 06410438207*c_0110_5^3 - 1022939232498739367777428301/8241011971700\ 4825641752828*c_0110_5^2 + 167539493300319029941922288/206025299292\ 51206410438207*c_0110_5 - 346448669628177584470181313/8241011971700\ 4825641752828, c_0011_4 + 85917721493578948092594514/20602529929251206410438207*c_0110\ _5^19 - 5922052992266886455501542125/82410119717004825641752828*c_0\ 110_5^18 + 9863238540595710639307471799/20602529929251206410438207*\ c_0110_5^17 - 72644275485735800876390508189/41205059858502412820876\ 414*c_0110_5^16 + 174532222249844901544164565529/412050598585024128\ 20876414*c_0110_5^15 - 603817687333120999239396402845/8241011971700\ 4825641752828*c_0110_5^14 + 784672937231831468553212307069/82410119\ 717004825641752828*c_0110_5^13 - 760212965439083108391064806037/824\ 10119717004825641752828*c_0110_5^12 + 131387582463921888642352258284/20602529929251206410438207*c_0110_5^\ 11 - 111713527786537280728007095891/41205059858502412820876414*c_01\ 10_5^10 + 17592742224807634720361800989/82410119717004825641752828*\ c_0110_5^9 + 13457530588378342677501620565/412050598585024128208764\ 14*c_0110_5^8 + 11411320326147164143617837901/824101197170048256417\ 52828*c_0110_5^7 - 38663403327306832988016097415/824101197170048256\ 41752828*c_0110_5^6 + 33967198512067224445385629627/824101197170048\ 25641752828*c_0110_5^5 - 6936205777475862465310540185/4120505985850\ 2412820876414*c_0110_5^4 + 905114407496926469649370467/206025299292\ 51206410438207*c_0110_5^3 - 985549407891482693485270119/82410119717\ 004825641752828*c_0110_5^2 + 378564676186412860957621009/4120505985\ 8502412820876414*c_0110_5 - 445036429809725785651439253/82410119717\ 004825641752828, c_0101_1 - 32774453672866149604268082/20602529929251206410438207*c_0110\ _5^19 + 2221328347270520108458760765/82410119717004825641752828*c_0\ 110_5^18 - 3609934945770423587770760244/20602529929251206410438207*\ c_0110_5^17 + 25882730837900098878687785175/41205059858502412820876\ 414*c_0110_5^16 - 60777409991881280926354864291/4120505985850241282\ 0876414*c_0110_5^15 + 207325953403901118451336731993/82410119717004\ 825641752828*c_0110_5^14 - 267683110387063599341761491533/824101197\ 17004825641752828*c_0110_5^13 + 259372846582165577104916889673/8241\ 0119717004825641752828*c_0110_5^12 - 45593467798095096091703112146/20602529929251206410438207*c_0110_5^1\ 1 + 41115317025768021017961971355/41205059858502412820876414*c_0110\ _5^10 - 11100728677618871399104268353/82410119717004825641752828*c_\ 0110_5^9 - 3611861597714840346068290655/41205059858502412820876414*\ c_0110_5^8 - 2297839564490044841793793417/8241011971700482564175282\ 8*c_0110_5^7 + 11735079012872574165973262211/8241011971700482564175\ 2828*c_0110_5^6 - 12115013440235926159169067319/8241011971700482564\ 1752828*c_0110_5^5 + 2636612624118564434298332157/41205059858502412\ 820876414*c_0110_5^4 - 412293577956346677817620460/2060252992925120\ 6410438207*c_0110_5^3 + 169211594762759425723642343/824101197170048\ 25641752828*c_0110_5^2 - 76552090486378341103985289/412050598585024\ 12820876414*c_0110_5 + 186617459605919206281175705/8241011971700482\ 5641752828, c_0101_6 - 47270994231811452150979056/20602529929251206410438207*c_0110\ _5^19 + 816333052855784243457384070/20602529929251206410438207*c_01\ 10_5^18 - 5455555054913627065125957266/20602529929251206410438207*c\ _0110_5^17 + 20163547740521262551002848766/206025299292512064104382\ 07*c_0110_5^16 - 48639163899300996250328043546/20602529929251206410\ 438207*c_0110_5^15 + 84540430005386797191442795863/2060252992925120\ 6410438207*c_0110_5^14 - 110580608600536114671388068106/20602529929\ 251206410438207*c_0110_5^13 + 108193150810301269608917414738/206025\ 29929251206410438207*c_0110_5^12 - 76097381432805409762297883211/20602529929251206410438207*c_0110_5^1\ 1 + 33795786550041507092881416302/20602529929251206410438207*c_0110\ _5^10 - 4169743851361103596307530094/20602529929251206410438207*c_0\ 110_5^9 - 3124361058032592657759562269/20602529929251206410438207*c\ _0110_5^8 - 1621255945489596936699754867/20602529929251206410438207\ *c_0110_5^7 + 5291699654768234390623358671/206025299292512064104382\ 07*c_0110_5^6 - 4748293430696244389528563206/2060252992925120641043\ 8207*c_0110_5^5 + 2015169903713289193390882010/20602529929251206410\ 438207*c_0110_5^4 - 564400154474586904497502130/2060252992925120641\ 0438207*c_0110_5^3 + 169372559436629877770083090/206025299292512064\ 10438207*c_0110_5^2 - 111823684912776099188368679/20602529929251206\ 410438207*c_0110_5 + 65641710025370540997696389/2060252992925120641\ 0438207, c_0110_3 - 73498860644407600327540022/20602529929251206410438207*c_0110\ _5^19 + 5021816001181104229421394791/82410119717004825641752828*c_0\ 110_5^18 - 8254449269656913361176096489/20602529929251206410438207*\ c_0110_5^17 + 59861852338975992048148438021/41205059858502412820876\ 414*c_0110_5^16 - 141661949919499186411562333985/412050598585024128\ 20876414*c_0110_5^15 + 484075449121699030477132644391/8241011971700\ 4825641752828*c_0110_5^14 - 622878880687855021420527385663/82410119\ 717004825641752828*c_0110_5^13 + 598298510972983670994527087003/824\ 10119717004825641752828*c_0110_5^12 - 102996353586502793457832929110/20602529929251206410438207*c_0110_5^\ 11 + 88536263617338681385786472073/41205059858502412820876414*c_011\ 0_5^10 - 17766066233255325348590300951/82410119717004825641752828*c\ _0110_5^9 - 8537700187342377976757469043/41205059858502412820876414\ *c_0110_5^8 - 9747632535649120368161936079/824101197170048256417528\ 28*c_0110_5^7 + 29332403802721202715251013993/824101197170048256417\ 52828*c_0110_5^6 - 26714090738304346052297062689/824101197170048256\ 41752828*c_0110_5^5 + 5671732704744517260125390109/4120505985850241\ 2820876414*c_0110_5^4 - 875762745803119220118874294/206025299292512\ 06410438207*c_0110_5^3 + 995266282771416078027679713/82410119717004\ 825641752828*c_0110_5^2 - 315032883643074682651144775/4120505985850\ 2412820876414*c_0110_5 + 369367398646447883702592723/82410119717004\ 825641752828, c_0110_5^20 - 141/8*c_0110_5^19 + 973/8*c_0110_5^18 - 1875/4*c_0110_5^17 + 2375/2*c_0110_5^16 - 17411/8*c_0110_5^15 + 12083/4*c_0110_5^14 - 12749/4*c_0110_5^13 + 19949/8*c_0110_5^12 - 5339/4*c_0110_5^11 + 2839/8*c_0110_5^10 + 377/8*c_0110_5^9 - 37/8*c_0110_5^8 - 121*c_0110_5^7 + 587/4*c_0110_5^6 - 685/8*c_0110_5^5 + 121/4*c_0110_5^4 - 67/8*c_0110_5^3 + 29/8*c_0110_5^2 - 19/8*c_0110_5 + 5/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB