Magma V2.19-8 Wed Aug 21 2013 00:54:56 on localhost [Seed = 593836382] Type ? for help. Type -D to quit. Loading file "L12n789__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n789 geometric_solution 11.93279336 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 0 1 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 -1 1 0 3 0 0 -3 -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.508262519414 0.881977356872 0 4 6 5 0132 1023 0132 0132 1 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 0 0 0 0 -3 0 0 3 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.366542453592 0.782366799905 4 0 8 7 1023 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 1 2 -3 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.480651291790 1.009328149968 9 7 10 0 0132 1023 0132 0132 1 1 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 1 -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.856992171657 0.781309221082 1 2 0 9 1023 1023 0132 0321 1 1 1 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358082400513 0.951971485413 7 7 1 11 3012 2103 0132 0132 1 1 1 1 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 -1 0 1 3 0 -3 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.243554989460 0.681110038569 10 10 11 1 0132 1230 0132 0132 1 1 0 1 0 -1 1 0 1 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 -2 2 0 2 0 -2 0 1 -2 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387850202370 1.082120717515 3 5 2 5 1023 2103 0132 1230 1 1 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 0 0 0 0 0 3 -3 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173218084666 0.796539131047 12 12 11 2 0132 1230 1302 0132 1 1 0 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 0 0 0 0 0 2 -2 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.872335756093 1.201368075466 3 4 11 12 0132 0321 2310 2103 1 1 1 1 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.039518849325 1.047819650865 6 12 6 3 0132 2103 3012 0132 1 1 1 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 1 -1 -2 0 2 0 -1 0 0 1 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706488286011 0.818911797906 8 9 5 6 2031 3201 0132 0132 1 1 1 1 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 3 -1 -2 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.343618876376 1.348903573062 8 10 8 9 0132 2103 3012 2103 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604249151697 0.545022294076 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_0']), 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_12'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : negation(d['c_1001_6']), 'c_1001_8' : d['c_0101_3'], 'c_1010_12' : negation(d['c_0101_7']), 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : d['c_0101_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_6']), 'c_1100_3' : negation(d['c_1001_6']), 'c_1100_2' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : negation(d['c_1001_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_0'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0101_12'], 'c_1100_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_3']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_10']), '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_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0101_7, c_1001_6, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 24855866311326462215530066/1294700341567580938244625*c_1100_1^13 - 7313733069861058378100311228/34956909222324685332604875*c_1100_1^12 - 2494331029416232234920959842/2330460614821645688840325*c_1100_1^1\ 1 - 120929908038852620504999215829/34956909222324685332604875*c_110\ 0_1^10 - 40412355576160039579586996236/4993844174617812190372125*c_\ 1100_1^9 - 103080145376820139286398796336/6991381844464937066520975\ *c_1100_1^8 - 108244823247144473940944062516/4993844174617812190372\ 125*c_1100_1^7 - 910532636878048507603051898947/3495690922232468533\ 2604875*c_1100_1^6 - 890942169268685591880980658211/349569092223246\ 85332604875*c_1100_1^5 - 693771528486277244039928098692/34956909222\ 324685332604875*c_1100_1^4 - 59073533451366588995901702982/49938441\ 74617812190372125*c_1100_1^3 - 35379259506915679141873212767/699138\ 1844464937066520975*c_1100_1^2 - 49030196371880022065798674949/3495\ 6909222324685332604875*c_1100_1 - 2209018790696294923349879042/1165\ 2303074108228444201625, c_0011_0 - 1, c_0011_10 + 13569339303437692154859/14303356154460894174893*c_1100_1^13 + 431400847713192142458281/42910068463382682524679*c_1100_1^12 + 705085264776597416462664/14303356154460894174893*c_1100_1^11 + 6446231539565781619234723/42910068463382682524679*c_1100_1^10 + 14037890365005103702765859/42910068463382682524679*c_1100_1^9 + 23670460500615565242962030/42910068463382682524679*c_1100_1^8 + 32062053776825768756079521/42910068463382682524679*c_1100_1^7 + 35039603119439197296690569/42910068463382682524679*c_1100_1^6 + 30349522189193712212875211/42910068463382682524679*c_1100_1^5 + 19966448738210070619373156/42910068463382682524679*c_1100_1^4 + 9325263014785238651345015/42910068463382682524679*c_1100_1^3 + 2701902525495993896120879/42910068463382682524679*c_1100_1^2 + 401750955723146572590541/42910068463382682524679*c_1100_1 - 1002862328473593218815/14303356154460894174893, c_0011_11 + 1771126600702399750422/493219177740030833617*c_1100_1^13 + 55901176386450356449442/1479657533220092500851*c_1100_1^12 + 90798048796250535927398/493219177740030833617*c_1100_1^11 + 826861987559745110652313/1479657533220092500851*c_1100_1^10 + 1799987063578915908317342/1479657533220092500851*c_1100_1^9 + 3043463693176947756593024/1479657533220092500851*c_1100_1^8 + 4140819929997960392299451/1479657533220092500851*c_1100_1^7 + 4555462515322610685990341/1479657533220092500851*c_1100_1^6 + 3991613759621251871906945/1479657533220092500851*c_1100_1^5 + 2678853204156696362877470/1479657533220092500851*c_1100_1^4 + 1298931503730304123465238/1479657533220092500851*c_1100_1^3 + 407547183668333605435433/1479657533220092500851*c_1100_1^2 + 67152990502439937459682/1479657533220092500851*c_1100_1 - 553512161823250107089/493219177740030833617, c_0011_3 - 482899953066025483368/493219177740030833617*c_1100_1^13 - 15848656631066622283036/1479657533220092500851*c_1100_1^12 - 26853094742983289221264/493219177740030833617*c_1100_1^11 - 255620114180338710300872/1479657533220092500851*c_1100_1^10 - 580613378748128852107435/1479657533220092500851*c_1100_1^9 - 1020492116746808380259212/1479657533220092500851*c_1100_1^8 - 1441038686399137707816703/1479657533220092500851*c_1100_1^7 - 1649860718903612420390935/1479657533220092500851*c_1100_1^6 - 1513862135571375746300146/1479657533220092500851*c_1100_1^5 - 1074626654553912734876668/1479657533220092500851*c_1100_1^4 - 555745807883085670458193/1479657533220092500851*c_1100_1^3 - 186192717956744044591747/1479657533220092500851*c_1100_1^2 - 29040945644557240345562/1479657533220092500851*c_1100_1 + 192263639564571447597/493219177740030833617, c_0011_5 - 1036321047748379697246/493219177740030833617*c_1100_1^13 - 33913270640380121871488/1479657533220092500851*c_1100_1^12 - 57111191176955457069943/493219177740030833617*c_1100_1^11 - 537924669873921008223766/1479657533220092500851*c_1100_1^10 - 1203696989545243756823690/1479657533220092500851*c_1100_1^9 - 2078919084167086795183067/1479657533220092500851*c_1100_1^8 - 2880725134292355593754347/1479657533220092500851*c_1100_1^7 - 3224995526233536563563157/1479657533220092500851*c_1100_1^6 - 2871891104645316179060762/1479657533220092500851*c_1100_1^5 - 1953785293893080965451549/1479657533220092500851*c_1100_1^4 - 945819608949296416746479/1479657533220092500851*c_1100_1^3 - 282257312095506122023478/1479657533220092500851*c_1100_1^2 - 35313209540682458885179/1479657533220092500851*c_1100_1 + 1237195150235877566075/493219177740030833617, c_0101_0 - 1, c_0101_1 - 4893914892672620253216/14303356154460894174893*c_1100_1^13 - 150341817757549335799036/42910068463382682524679*c_1100_1^12 - 240314771559646244512903/14303356154460894174893*c_1100_1^11 - 2184060947974685766093074/42910068463382682524679*c_1100_1^10 - 4810172277903183603086059/42910068463382682524679*c_1100_1^9 - 8276839237532207927617597/42910068463382682524679*c_1100_1^8 - 11465988376850024754042598/42910068463382682524679*c_1100_1^7 - 12886229462705871343544383/42910068463382682524679*c_1100_1^6 - 11614863911222399436398794/42910068463382682524679*c_1100_1^5 - 8072726051019795325389151/42910068463382682524679*c_1100_1^4 - 4084183017758349434748163/42910068463382682524679*c_1100_1^3 - 1282264418949368698011187/42910068463382682524679*c_1100_1^2 - 201042119487880894692863/42910068463382682524679*c_1100_1 - 112272930729842191283/14303356154460894174893, c_0101_11 + 1202870252430730590075/493219177740030833617*c_1100_1^13 + 36914838648201055387358/1479657533220092500851*c_1100_1^12 + 58470163441034583697892/493219177740030833617*c_1100_1^11 + 522089756101383695991247/1479657533220092500851*c_1100_1^10 + 1123314678264355692615413/1479657533220092500851*c_1100_1^9 + 1887917260388187132759005/1479657533220092500851*c_1100_1^8 + 2557944633034737304527929/1479657533220092500851*c_1100_1^7 + 2807267230340616635965439/1479657533220092500851*c_1100_1^6 + 2462173801574544691784486/1479657533220092500851*c_1100_1^5 + 1661368099491873710146694/1479657533220092500851*c_1100_1^4 + 820244272750208603662925/1479657533220092500851*c_1100_1^3 + 263709075703971598390454/1479657533220092500851*c_1100_1^2 + 45304146766346425571473/1479657533220092500851*c_1100_1 - 370886542965522785740/493219177740030833617, c_0101_12 + 18389251929952018443105/14303356154460894174893*c_1100_1^13 + 189697288456007582851620/14303356154460894174893*c_1100_1^12 + 908372043913437970155099/14303356154460894174893*c_1100_1^11 + 2720543535054172029007744/14303356154460894174893*c_1100_1^10 + 5874617753485627411671398/14303356154460894174893*c_1100_1^9 + 9886579374760505674713036/14303356154460894174893*c_1100_1^8 + 13400065951973189556291659/14303356154460894174893*c_1100_1^7 + 14702881833413032152623567/14303356154460894174893*c_1100_1^6 + 12872181314124782388211173/14303356154460894174893*c_1100_1^5 + 8646251355301944018514859/14303356154460894174893*c_1100_1^4 + 4233952609459211892550355/14303356154460894174893*c_1100_1^3 + 1356832562202611145771806/14303356154460894174893*c_1100_1^2 + 236714222061927595327941/14303356154460894174893*c_1100_1 + 6813232382869949185843/14303356154460894174893, c_0101_3 - 1132908458146240075020/493219177740030833617*c_1100_1^13 - 35595120367761970833004/1479657533220092500851*c_1100_1^12 - 57391535572745156360507/493219177740030833617*c_1100_1^11 - 517472156437238561502632/1479657533220092500851*c_1100_1^10 - 1113783994885049591100685/1479657533220092500851*c_1100_1^9 - 1861812857167329935621671/1479657533220092500851*c_1100_1^8 - 2502795852204037252311961/1479657533220092500851*c_1100_1^7 - 2713937580634875805800160/1479657533220092500851*c_1100_1^6 - 2334293350875113927427811/1479657533220092500851*c_1100_1^5 - 1526469343773596756742490/1479657533220092500851*c_1100_1^4 - 712440518639504534249515/1479657533220092500851*c_1100_1^3 - 212049446280855266118370/1479657533220092500851*c_1100_1^2 - 32433985185847101115436/1479657533220092500851*c_1100_1 + 46244393774586366365/493219177740030833617, c_0101_7 + 384995999341113929667/493219177740030833617*c_1100_1^13 + 3921583655625927872265/493219177740030833617*c_1100_1^12 + 18628864484538305508728/493219177740030833617*c_1100_1^11 + 55788891013190618845360/493219177740030833617*c_1100_1^10 + 121764520597798646609467/493219177740030833617*c_1100_1^9 + 209051846470952428015286/493219177740030833617*c_1100_1^8 + 290924196012224130359196/493219177740030833617*c_1100_1^7 + 330348255531855703965909/493219177740030833617*c_1100_1^6 + 303839728874606273314138/493219177740030833617*c_1100_1^5 + 220193893814265663047124/493219177740030833617*c_1100_1^4 + 121109904993516075622731/493219177740030833617*c_1100_1^3 + 45769568383260090615050/493219177740030833617*c_1100_1^2 + 9347360821670140937837/493219177740030833617*c_1100_1 - 480264917041762890197/493219177740030833617, c_1001_6 - 901661713139552896998/493219177740030833617*c_1100_1^13 - 9557513456901011127318/493219177740030833617*c_1100_1^12 - 46817978581115071255060/493219177740030833617*c_1100_1^11 - 142480943802892858839535/493219177740030833617*c_1100_1^10 - 309974804577739913761600/493219177740030833617*c_1100_1^9 - 522487228803920392671168/493219177740030833617*c_1100_1^8 - 707274252477348467387323/493219177740030833617*c_1100_1^7 - 772121202117061552530648/493219177740030833617*c_1100_1^6 - 668249870052133952541236/493219177740030833617*c_1100_1^5 - 438760255771441276524149/493219177740030833617*c_1100_1^4 - 203953045915907086599523/493219177740030833617*c_1100_1^3 - 59044796221105714913188/493219177740030833617*c_1100_1^2 - 8000944262800936593331/493219177740030833617*c_1100_1 - 74104979876065363979/493219177740030833617, c_1100_1^14 + 295/27*c_1100_1^13 + 167/3*c_1100_1^12 + 4799/27*c_1100_1^11 + 11011/27*c_1100_1^10 + 19612/27*c_1100_1^9 + 28162/27*c_1100_1^8 + 32959/27*c_1100_1^7 + 31198/27*c_1100_1^6 + 23263/27*c_1100_1^5 + 13111/27*c_1100_1^4 + 5194/27*c_1100_1^3 + 1274/27*c_1100_1^2 + 40/9*c_1100_1 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.560 Total time: 0.770 seconds, Total memory usage: 64.12MB