Magma V2.19-8 Tue Aug 20 2013 23:29:44 on localhost [Seed = 2699478781] Type ? for help. Type -D to quit. Loading file "K13n185__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n185 geometric_solution 6.92646530 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 0132 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 1 0 0 0 0 0 -17 0 0 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.274115005235 1.095978340856 0 5 4 6 0132 0132 3012 0132 0 0 0 0 0 0 1 -1 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 1 -17 16 0 0 0 0 0 16 0 -16 17 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.106519116328 1.310476036551 7 0 6 3 0132 0132 1230 3012 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 1 0 -1 0 0 1 -1 0 0 0 0 16 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574392384907 0.203211584723 5 5 2 0 3120 1230 1230 0132 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 1 -1 0 0 0 0 17 -17 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.147496954207 0.642985201888 8 1 0 8 0132 1230 0132 1023 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 0 17 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.156518582443 0.486752138766 6 1 3 3 0132 0132 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 17 0 -17 -1 -16 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.147496954207 0.642985201888 5 7 1 2 0132 0132 0132 3012 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 0 -16 16 0 0 0 0 1 0 0 -1 0 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.633398359454 1.764274144051 2 6 8 8 0132 0132 3120 2031 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 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195337052726 0.490993099554 4 7 7 4 0132 1302 3120 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 1.240190042752 0.397028121988 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_8' : d['c_0101_2'], 's_2_8' : d['1'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : 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_8' : negation(d['c_0101_7']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : negation(d['c_0101_3']), 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_8' : d['c_0101_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(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_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], '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_0101_8' : d['c_0101_8'], '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_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 214974465376446350423/20155754736743998496*c_1001_2^13 + 8278764629371795033055/30233632105115997744*c_1001_2^12 + 21679421549373686748209/20155754736743998496*c_1001_2^11 - 16030260868413963766533/20155754736743998496*c_1001_2^10 - 21431575894736409259143/5038938684185999624*c_1001_2^9 - 276070335699499123313/5038938684185999624*c_1001_2^8 + 131385910336614634357/24914406349498144*c_1001_2^7 - 60649200122322240223597/60467264210231995488*c_1001_2^6 - 115818274543021651878263/15116816052557998872*c_1001_2^5 - 52045129079443874705969/60467264210231995488*c_1001_2^4 + 56463121031746397590313/15116816052557998872*c_1001_2^3 - 1295468694517348235791/1889602006569749859*c_1001_2^2 - 2059821663118045163183/629867335523249953*c_1001_2 - 1431973964878475702473/3779204013139499718, c_0011_0 - 1, c_0011_3 + 12111808265318392/629867335523249953*c_1001_2^13 - 4967088982528424627/10077877368371999248*c_1001_2^12 - 19744984361745963883/10077877368371999248*c_1001_2^11 + 837180144043908876/629867335523249953*c_1001_2^10 + 77817081706454692771/10077877368371999248*c_1001_2^9 + 7483734204027048309/10077877368371999248*c_1001_2^8 - 117575731448118937/12457203174749072*c_1001_2^7 + 2171441922120887539/5038938684185999624*c_1001_2^6 + 137229668919013198051/10077877368371999248*c_1001_2^5 + 34327429938418535461/10077877368371999248*c_1001_2^4 - 16327684228581882051/2519469342092999812*c_1001_2^3 - 1894548865088458637/2519469342092999812*c_1001_2^2 + 7117486877508274741/1259734671046499906*c_1001_2 + 1127059634689047586/629867335523249953, c_0101_0 - 69458412116664575/5038938684185999624*c_1001_2^13 + 447765451398855685/1259734671046499906*c_1001_2^12 + 6776323185524410149/5038938684185999624*c_1001_2^11 - 5254874592944140769/5038938684185999624*c_1001_2^10 - 3039085080620820904/629867335523249953*c_1001_2^9 + 108008316751512548/629867335523249953*c_1001_2^8 + 29684554415019411/6228601587374536*c_1001_2^7 - 10727429743401480151/5038938684185999624*c_1001_2^6 - 4866869065954292141/629867335523249953*c_1001_2^5 - 4234055716016407723/5038938684185999624*c_1001_2^4 + 2441929083399346181/1259734671046499906*c_1001_2^3 - 3728496887892357077/2519469342092999812*c_1001_2^2 - 4172545374623004207/1259734671046499906*c_1001_2 - 572352744529759002/629867335523249953, c_0101_1 - 126014902375862475/10077877368371999248*c_1001_2^13 + 3252969887026165319/10077877368371999248*c_1001_2^12 + 6107489549286878347/5038938684185999624*c_1001_2^11 - 10212524721767235021/10077877368371999248*c_1001_2^10 - 44540232653259185705/10077877368371999248*c_1001_2^9 + 5033621559576927037/10077877368371999248*c_1001_2^8 + 13831007753689497/3114300793687268*c_1001_2^7 - 25824110409504965969/10077877368371999248*c_1001_2^6 - 71216257724646340825/10077877368371999248*c_1001_2^5 + 836713041015239425/5038938684185999624*c_1001_2^4 + 7957855337193101033/2519469342092999812*c_1001_2^3 - 4933674426646583775/2519469342092999812*c_1001_2^2 - 3868315060781684741/1259734671046499906*c_1001_2 - 234009036979848834/629867335523249953, c_0101_2 - 54601502678808365/5038938684185999624*c_1001_2^13 + 1419769444242009701/5038938684185999624*c_1001_2^12 + 1261624839148536761/1259734671046499906*c_1001_2^11 - 5901728625782522893/5038938684185999624*c_1001_2^10 - 20659713987261504259/5038938684185999624*c_1001_2^9 + 6269063161115051201/5038938684185999624*c_1001_2^8 + 16975838728997307/3114300793687268*c_1001_2^7 - 10727812135780833997/5038938684185999624*c_1001_2^6 - 36190740135882374927/5038938684185999624*c_1001_2^5 + 1030991522433882569/1259734671046499906*c_1001_2^4 + 9563003505692181377/2519469342092999812*c_1001_2^3 - 2366028617290003399/1259734671046499906*c_1001_2^2 - 1650316443203507398/629867335523249953*c_1001_2 + 74200038589933353/629867335523249953, c_0101_3 - 112401016820701163/10077877368371999248*c_1001_2^13 + 1426296293900189467/5038938684185999624*c_1001_2^12 + 12187190780126360743/10077877368371999248*c_1001_2^11 - 5093205410234465015/10077877368371999248*c_1001_2^10 - 11623724193998974331/2519469342092999812*c_1001_2^9 - 5758586819526177403/5038938684185999624*c_1001_2^8 + 61599352026331887/12457203174749072*c_1001_2^7 - 2816912623868198485/10077877368371999248*c_1001_2^6 - 9322448988383473149/1259734671046499906*c_1001_2^5 - 22322815528606940249/10077877368371999248*c_1001_2^4 + 13682785417986308847/5038938684185999624*c_1001_2^3 - 1347242560172189629/2519469342092999812*c_1001_2^2 - 3234975527368714405/1259734671046499906*c_1001_2 - 599946881751010279/629867335523249953, c_0101_7 - 212369017260821735/20155754736743998496*c_1001_2^13 + 5514098146001212373/20155754736743998496*c_1001_2^12 + 4973348242981442355/5038938684185999624*c_1001_2^11 - 23758839156353389777/20155754736743998496*c_1001_2^10 - 84969908507842225763/20155754736743998496*c_1001_2^9 + 29962194212999756399/20155754736743998496*c_1001_2^8 + 72563659775397689/12457203174749072*c_1001_2^7 - 46062536966732958937/20155754736743998496*c_1001_2^6 - 143235032118473159443/20155754736743998496*c_1001_2^5 + 556379447688132166/629867335523249953*c_1001_2^4 + 19664791158993690097/5038938684185999624*c_1001_2^3 - 2978449766303551625/2519469342092999812*c_1001_2^2 - 2934261315588730931/1259734671046499906*c_1001_2 - 437539891950320241/629867335523249953, c_0101_8 + 1196620263562817/629867335523249953*c_1001_2^13 - 516984782086574241/10077877368371999248*c_1001_2^12 - 1264065291163547221/10077877368371999248*c_1001_2^11 + 909455118077436253/2519469342092999812*c_1001_2^10 + 4476270799490519113/10077877368371999248*c_1001_2^9 - 7456261933402491941/10077877368371999248*c_1001_2^8 - 3003086199734575/12457203174749072*c_1001_2^7 + 2254056288815309171/5038938684185999624*c_1001_2^6 - 2177566740936199231/10077877368371999248*c_1001_2^5 + 4497081313578400939/10077877368371999248*c_1001_2^4 + 154107829407853958/629867335523249953*c_1001_2^3 - 869289538775071457/2519469342092999812*c_1001_2^2 - 305574907660461091/629867335523249953*c_1001_2 + 381280700892141481/629867335523249953, c_1001_2^14 - 25*c_1001_2^13 - 118*c_1001_2^12 + 3*c_1001_2^11 + 435*c_1001_2^10 + 285*c_1001_2^9 - 436*c_1001_2^8 - 241*c_1001_2^7 + 715*c_1001_2^6 + 582*c_1001_2^5 - 200*c_1001_2^4 - 168*c_1001_2^3 + 304*c_1001_2^2 + 256*c_1001_2 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB