Magma V2.19-8 Tue Aug 20 2013 23:38:58 on localhost [Seed = 3230049440] Type ? for help. Type -D to quit. Loading file "K12n41__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n41 geometric_solution 9.86996797 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 1 0 -5 4 -1 -4 0 5 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395833241687 0.698942215872 0 0 5 4 0132 1230 0132 0132 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 5 -5 0 -1 0 0 1 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.707838403955 0.818876801366 6 0 7 7 0132 0132 3201 0132 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 -4 4 1 -1 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570991835415 0.545237332675 8 6 0 7 0132 3201 0132 0213 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 -1 1 0 0 0 -4 4 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.028853044175 0.957374351920 9 5 1 8 0132 1023 0132 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 -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.129181241140 1.342381679815 4 10 9 1 1023 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 -5 5 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.316394058565 0.523209986159 2 7 3 10 0132 2103 2310 0132 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 -5 5 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.470012932233 0.500005254649 2 6 2 3 2310 2103 0132 0213 0 0 0 0 0 0 0 0 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 0 0 0 4 0 -4 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.020418680392 1.275300020823 3 10 9 4 0132 2310 1023 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 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.043491076387 1.184779737192 4 10 8 5 0132 1023 1023 0132 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344706431062 0.879936503667 9 5 6 8 1023 0132 0132 3201 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 5 0 -5 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.939403987419 0.874246431731 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0101_9']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_6']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0101_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1100_1'], 'c_1100_8' : negation(d['c_1100_1']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0011_7']), 'c_1100_10' : d['c_0011_3'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : negation(d['c_0101_6']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : d['c_0101_9'], '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'], '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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_10' : negation(d['c_0101_9']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0101_9, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 6134272720604964951538521/330361103580779481470861*c_1100_1^18 + 24660387088645447505954230/330361103580779481470861*c_1100_1^17 + 5840489035663353680662036/330361103580779481470861*c_1100_1^16 - 111191099244621579000480819/330361103580779481470861*c_1100_1^15 - 10954543009665989076941423/330361103580779481470861*c_1100_1^14 + 255785723330353019302250390/330361103580779481470861*c_1100_1^13 + 71154677375569581853061367/330361103580779481470861*c_1100_1^12 - 244267997784105762484904543/330361103580779481470861*c_1100_1^11 - 235100634226753242885029354/330361103580779481470861*c_1100_1^10 - 403523047021924215286480435/330361103580779481470861*c_1100_1^9 - 336147353216724580410377919/330361103580779481470861*c_1100_1^8 + 876514363343090467643192283/330361103580779481470861*c_1100_1^7 + 1744756866959003796415146260/330361103580779481470861*c_1100_1^6 + 540206267785018479227535927/330361103580779481470861*c_1100_1^5 - 1126111705554448466092964586/330361103580779481470861*c_1100_1^4 - 1237845446355011522109874920/330361103580779481470861*c_1100_1^3 - 443232617819728465633472720/330361103580779481470861*c_1100_1^2 - 3628309527494406596702218/330361103580779481470861*c_1100_1 + 26496873771241642168692179/330361103580779481470861, c_0011_0 - 1, c_0011_10 - 84687502994405/173752597712327*c_1100_1^18 + 411941236689148/173752597712327*c_1100_1^17 - 251253499406166/173752597712327*c_1100_1^16 - 1411332725055175/173752597712327*c_1100_1^15 + 1147895583618357/173752597712327*c_1100_1^14 + 2762029372452621/173752597712327*c_1100_1^13 - 1720050653089534/173752597712327*c_1100_1^12 - 2210073595077239/173752597712327*c_1100_1^11 - 798257471789111/173752597712327*c_1100_1^10 - 4817196326872648/173752597712327*c_1100_1^9 - 555562014418248/173752597712327*c_1100_1^8 + 13389899530941930/173752597712327*c_1100_1^7 + 12229454520185310/173752597712327*c_1100_1^6 - 5068667656638660/173752597712327*c_1100_1^5 - 11730404117637939/173752597712327*c_1100_1^4 - 5265237613062484/173752597712327*c_1100_1^3 - 378479607466579/173752597712327*c_1100_1^2 + 211812428395569/173752597712327*c_1100_1 - 254849043735139/173752597712327, c_0011_3 - 123401452881983/173752597712327*c_1100_1^18 + 513726970676492/173752597712327*c_1100_1^17 + 92164406350752/173752597712327*c_1100_1^16 - 2510682086067102/173752597712327*c_1100_1^15 + 425919485722321/173752597712327*c_1100_1^14 + 5724712134975763/173752597712327*c_1100_1^13 - 363780258176721/173752597712327*c_1100_1^12 - 5993425380992655/173752597712327*c_1100_1^11 - 2211007084156709/173752597712327*c_1100_1^10 - 7224421409601934/173752597712327*c_1100_1^9 - 5761520371558963/173752597712327*c_1100_1^8 + 20854532447731847/173752597712327*c_1100_1^7 + 31323358807408816/173752597712327*c_1100_1^6 - 822376138032237/173752597712327*c_1100_1^5 - 25255188324809612/173752597712327*c_1100_1^4 - 15676881980836747/173752597712327*c_1100_1^3 - 2396477981053557/173752597712327*c_1100_1^2 - 161910469424039/173752597712327*c_1100_1 - 206765855019411/173752597712327, c_0011_7 - 18727757803943/173752597712327*c_1100_1^18 + 62018800316489/173752597712327*c_1100_1^17 + 71170975130281/173752597712327*c_1100_1^16 - 314130306888198/173752597712327*c_1100_1^15 - 341182857622158/173752597712327*c_1100_1^14 + 827449303960888/173752597712327*c_1100_1^13 + 941538273341877/173752597712327*c_1100_1^12 - 859110299907723/173752597712327*c_1100_1^11 - 1467267121448134/173752597712327*c_1100_1^10 - 1358971784136468/173752597712327*c_1100_1^9 - 1857510355383320/173752597712327*c_1100_1^8 + 1964331732341653/173752597712327*c_1100_1^7 + 8020875672156443/173752597712327*c_1100_1^6 + 5240250429190223/173752597712327*c_1100_1^5 - 3836421136576056/173752597712327*c_1100_1^4 - 6930110037645117/173752597712327*c_1100_1^3 - 2951876130316260/173752597712327*c_1100_1^2 - 503027426638826/173752597712327*c_1100_1 - 149827185323849/173752597712327, c_0101_0 + 47886604132393/173752597712327*c_1100_1^18 - 239508572562653/173752597712327*c_1100_1^17 + 180075120267724/173752597712327*c_1100_1^16 + 751743247943290/173752597712327*c_1100_1^15 - 755959504825565/173752597712327*c_1100_1^14 - 1339178697690204/173752597712327*c_1100_1^13 + 1077581292643523/173752597712327*c_1100_1^12 + 917341083524920/173752597712327*c_1100_1^11 + 445071539619484/173752597712327*c_1100_1^10 + 2785290441202216/173752597712327*c_1100_1^9 - 98410564854430/173752597712327*c_1100_1^8 - 7083677222639431/173752597712327*c_1100_1^7 - 5879045720673721/173752597712327*c_1100_1^6 + 2991881127647724/173752597712327*c_1100_1^5 + 5497721450880982/173752597712327*c_1100_1^4 + 2405850831299833/173752597712327*c_1100_1^3 + 338135462442497/173752597712327*c_1100_1^2 + 30427193466182/173752597712327*c_1100_1 + 116269205990057/173752597712327, c_0101_1 - 108118893468432/173752597712327*c_1100_1^18 + 535943276271888/173752597712327*c_1100_1^17 - 391041054339041/173752597712327*c_1100_1^16 - 1653756787445640/173752597712327*c_1100_1^15 + 1478754281095118/173752597712327*c_1100_1^14 + 3198744403781563/173752597712327*c_1100_1^13 - 2152087482441753/173752597712327*c_1100_1^12 - 2370567800546317/173752597712327*c_1100_1^11 - 1147215034845539/173752597712327*c_1100_1^10 - 6060248849601410/173752597712327*c_1100_1^9 - 624198894024188/173752597712327*c_1100_1^8 + 16185672138290353/173752597712327*c_1100_1^7 + 14450615388138843/173752597712327*c_1100_1^6 - 5873928363975468/173752597712327*c_1100_1^5 - 12916786408395272/173752597712327*c_1100_1^4 - 6189961782223249/173752597712327*c_1100_1^3 - 1164997391508550/173752597712327*c_1100_1^2 - 355895208563206/173752597712327*c_1100_1 - 192040837552767/173752597712327, c_0101_10 + 56089578156839/173752597712327*c_1100_1^18 - 222729374569266/173752597712327*c_1100_1^17 - 92743222923436/173752597712327*c_1100_1^16 + 1153975582582752/173752597712327*c_1100_1^15 + 57756852934465/173752597712327*c_1100_1^14 - 2823500302124952/173752597712327*c_1100_1^13 - 281282817056922/173752597712327*c_1100_1^12 + 3079752164404191/173752597712327*c_1100_1^11 + 1510115868952483/173752597712327*c_1100_1^10 + 3065459743173475/173752597712327*c_1100_1^9 + 3269870658347985/173752597712327*c_1100_1^8 - 9459957225588340/173752597712327*c_1100_1^7 - 16405554002870460/173752597712327*c_1100_1^6 - 1275179130530771/173752597712327*c_1100_1^5 + 13453958969498001/173752597712327*c_1100_1^4 + 8994435559336934/173752597712327*c_1100_1^3 + 1093014444893672/173752597712327*c_1100_1^2 - 362863201336472/173752597712327*c_1100_1 + 26991686999442/173752597712327, c_0101_6 - 102043407175163/173752597712327*c_1100_1^18 + 496050463078636/173752597712327*c_1100_1^17 - 305231523737527/173752597712327*c_1100_1^16 - 1689338772623221/173752597712327*c_1100_1^15 + 1396647499195487/173752597712327*c_1100_1^14 + 3270381940358982/173752597712327*c_1100_1^13 - 2166190536289472/173752597712327*c_1100_1^12 - 2464628633529415/173752597712327*c_1100_1^11 - 738464225577449/173752597712327*c_1100_1^10 - 6106845113586310/173752597712327*c_1100_1^9 - 927435617032299/173752597712327*c_1100_1^8 + 15988100799564625/173752597712327*c_1100_1^7 + 14199681202282533/173752597712327*c_1100_1^6 - 5898568842462238/173752597712327*c_1100_1^5 - 12386865543373689/173752597712327*c_1100_1^4 - 5626729154125186/173752597712327*c_1100_1^3 - 1499523734212291/173752597712327*c_1100_1^2 - 621688066287462/173752597712327*c_1100_1 - 104356520044553/173752597712327, c_0101_9 + 50059244151413/173752597712327*c_1100_1^18 - 223990351835764/173752597712327*c_1100_1^17 + 61352779092896/173752597712327*c_1100_1^16 + 835070767973894/173752597712327*c_1100_1^15 - 207129734091722/173752597712327*c_1100_1^14 - 1991565952771553/173752597712327*c_1100_1^13 + 191961551974351/173752597712327*c_1100_1^12 + 1951631724743044/173752597712327*c_1100_1^11 + 1169218039919043/173752597712327*c_1100_1^10 + 2529497908862930/173752597712327*c_1100_1^9 + 1887713086585821/173752597712327*c_1100_1^8 - 7730976018076349/173752597712327*c_1100_1^7 - 11019293723783773/173752597712327*c_1100_1^6 + 250508905714229/173752597712327*c_1100_1^5 + 9203250228104968/173752597712327*c_1100_1^4 + 5802966634414197/173752597712327*c_1100_1^3 + 788765891098361/173752597712327*c_1100_1^2 - 48233576001162/173752597712327*c_1100_1 + 4800833444258/173752597712327, c_1001_1 - 229188932902747/173752597712327*c_1100_1^18 + 1118169282292954/173752597712327*c_1100_1^17 - 733469939303143/173752597712327*c_1100_1^16 - 3591589597902690/173752597712327*c_1100_1^15 + 2823428218143672/173752597712327*c_1100_1^14 + 7199526781671191/173752597712327*c_1100_1^13 - 4029991659691730/173752597712327*c_1100_1^12 - 5701686454432413/173752597712327*c_1100_1^11 - 2878903725081545/173752597712327*c_1100_1^10 - 12678721951596303/173752597712327*c_1100_1^9 - 2331472831149312/173752597712327*c_1100_1^8 + 34803710141391529/173752597712327*c_1100_1^7 + 34019853346768523/173752597712327*c_1100_1^6 - 10907403943870092/173752597712327*c_1100_1^5 - 30135233039432554/173752597712327*c_1100_1^4 - 15460857911231669/173752597712327*c_1100_1^3 - 2883923159408350/173752597712327*c_1100_1^2 - 681834328234128/173752597712327*c_1100_1 - 330917259522062/173752597712327, c_1100_1^19 - 4*c_1100_1^18 - c_1100_1^17 + 18*c_1100_1^16 + 2*c_1100_1^15 - 41*c_1100_1^14 - 12*c_1100_1^13 + 38*c_1100_1^12 + 38*c_1100_1^11 + 68*c_1100_1^10 + 58*c_1100_1^9 - 139*c_1100_1^8 - 284*c_1100_1^7 - 98*c_1100_1^6 + 169*c_1100_1^5 + 198*c_1100_1^4 + 82*c_1100_1^3 + 12*c_1100_1^2 + c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.450 seconds, Total memory usage: 32.09MB