Magma V2.19-8 Tue Aug 20 2013 23:38:20 on localhost [Seed = 947805201] Type ? for help. Type -D to quit. Loading file "K13n3082__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3082 geometric_solution 8.46688824 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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.129545200153 0.769144587163 0 2 5 3 0132 2310 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753249847960 0.312253208781 4 0 6 1 3012 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.191338477772 0.741472010274 7 7 1 0 0132 3201 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.121712454448 0.353603650435 6 6 0 2 2103 3120 0132 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 0 -1 1 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.081664278478 0.948805901652 8 9 8 1 0132 0132 1230 0132 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 -1 0 1 0 0 0 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.585146344774 1.317870797466 8 4 4 2 2103 3120 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -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.828812737284 1.569286611734 3 9 3 9 0132 0213 2310 3120 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 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.104667737262 1.680593428541 5 9 6 5 0132 2310 2103 3012 0 0 0 0 0 -1 0 1 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 11 1 -12 1 0 -1 0 12 -11 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828812737284 1.569286611734 7 5 7 8 3120 0132 0213 3201 0 0 0 0 0 0 0 0 0 0 1 -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 0 -11 11 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.117689103281 1.019134535795 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : negation(d['c_1001_0']), 'c_1001_8' : d['c_0011_6'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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_0011_5'], 'c_1100_8' : d['c_0011_6'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0110_2'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_0011_0'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_2']), 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0101_3']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], '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_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_6'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0110_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 3683986288231312832613389653/8931069776743476052294594744*c_1001_0^\ 14 - 19163144906400723646742341597/4465534888371738026147297372*c_1\ 001_0^13 + 7549999407739824700455578691/470056304039130318541820776\ *c_1001_0^12 - 254760262646303220589910361291/893106977674347605229\ 4594744*c_1001_0^11 + 47039651618409359137388943463/111638372209293\ 4506536824343*c_1001_0^10 - 105841978932596571065177552903/11163837\ 22092934506536824343*c_1001_0^9 + 189881909961645270137705822105/11\ 16383722092934506536824343*c_1001_0^8 - 227644704094068000305110668189/1116383722092934506536824343*c_1001_\ 0^7 + 1260875296746000189716366933881/8931069776743476052294594744*\ c_1001_0^6 - 215035784746354718190988774603/11163837220929345065368\ 24343*c_1001_0^5 + 1842004031290347869059306878317/4465534888371738\ 026147297372*c_1001_0^4 - 1018860666327566482322899510355/223276744\ 4185869013073648686*c_1001_0^3 + 1340918319460792660271088540307/89\ 31069776743476052294594744*c_1001_0^2 + 34329115927234084213440000598/1116383722092934506536824343*c_1001_0 - 55517434671662611434918716683/2232767444185869013073648686, c_0011_0 - 1, c_0011_3 - 112603782836209177/8669512189185977909*c_1001_0^14 + 1256480350597908798/8669512189185977909*c_1001_0^13 - 5253003886173585280/8669512189185977909*c_1001_0^12 + 10915619697213881118/8669512189185977909*c_1001_0^11 - 16634951476791346499/8669512189185977909*c_1001_0^10 + 33195230649913322812/8669512189185977909*c_1001_0^9 - 64329168066106827651/8669512189185977909*c_1001_0^8 + 86667214028850342757/8669512189185977909*c_1001_0^7 - 72102374163284513411/8669512189185977909*c_1001_0^6 + 73737409051109556162/8669512189185977909*c_1001_0^5 - 147012859108343030057/8669512189185977909*c_1001_0^4 + 203363020586078577752/8669512189185977909*c_1001_0^3 - 113481426831335832514/8669512189185977909*c_1001_0^2 - 3004442634553450635/8669512189185977909*c_1001_0 + 10815037861068989031/8669512189185977909, c_0011_4 - 2421706477390979468/164720731594533580271*c_1001_0^14 + 27197750320743086322/164720731594533580271*c_1001_0^13 - 5957456446626760314/8669512189185977909*c_1001_0^12 + 226141486113680912162/164720731594533580271*c_1001_0^11 - 319653213672192249379/164720731594533580271*c_1001_0^10 + 660828517276255746477/164720731594533580271*c_1001_0^9 - 1313900409255205260968/164720731594533580271*c_1001_0^8 + 1648587066374209308674/164720731594533580271*c_1001_0^7 - 1203656725262869630664/164720731594533580271*c_1001_0^6 + 1172952534407935628723/164720731594533580271*c_1001_0^5 - 3007489764566675879306/164720731594533580271*c_1001_0^4 + 3927320722742248563482/164720731594533580271*c_1001_0^3 - 1428617634774224471906/164720731594533580271*c_1001_0^2 - 820360972436009847351/164720731594533580271*c_1001_0 + 286147110020961631423/164720731594533580271, c_0011_5 - 2666613368777196099/164720731594533580271*c_1001_0^14 + 27351967625054473808/164720731594533580271*c_1001_0^13 - 5194980110835864783/8669512189185977909*c_1001_0^12 + 159432369852877294548/164720731594533580271*c_1001_0^11 - 216538302234662994167/164720731594533580271*c_1001_0^10 + 538807474371237656189/164720731594533580271*c_1001_0^9 - 949856055797540375287/164720731594533580271*c_1001_0^8 + 982649113058957173520/164720731594533580271*c_1001_0^7 - 491163738553975934735/164720731594533580271*c_1001_0^6 + 886485047586677740876/164720731594533580271*c_1001_0^5 - 2378584023259231534822/164720731594533580271*c_1001_0^4 + 2137879817137509319677/164720731594533580271*c_1001_0^3 + 123567329066324062214/164720731594533580271*c_1001_0^2 - 680650370305084664864/164720731594533580271*c_1001_0 + 66885644534094572336/164720731594533580271, c_0011_6 - 1374050396031878134/164720731594533580271*c_1001_0^14 + 16108536845454814272/164720731594533580271*c_1001_0^13 - 3731132961037949613/8669512189185977909*c_1001_0^12 + 150876177386301266163/164720731594533580271*c_1001_0^11 - 214578027160937866146/164720731594533580271*c_1001_0^10 + 421411897005943356590/164720731594533580271*c_1001_0^9 - 867138631448056332707/164720731594533580271*c_1001_0^8 + 1134184642990549776050/164720731594533580271*c_1001_0^7 - 884798225417167203957/164720731594533580271*c_1001_0^6 + 753233472652293312305/164720731594533580271*c_1001_0^5 - 1924818601891535342635/164720731594533580271*c_1001_0^4 + 2733345743800578632225/164720731594533580271*c_1001_0^3 - 1257925246840813086242/164720731594533580271*c_1001_0^2 - 459761419498379964858/164720731594533580271*c_1001_0 + 295540600913549803239/164720731594533580271, c_0101_0 - 201727306761706032/12670825507271813867*c_1001_0^14 + 2021114227549240454/12670825507271813867*c_1001_0^13 - 373392297024781652/666885553014305993*c_1001_0^12 + 11360809661927218401/12670825507271813867*c_1001_0^11 - 16582990738556603846/12670825507271813867*c_1001_0^10 + 40270371224607238506/12670825507271813867*c_1001_0^9 - 68442136900171023168/12670825507271813867*c_1001_0^8 + 75727255238056460897/12670825507271813867*c_1001_0^7 - 41406593938880413388/12670825507271813867*c_1001_0^6 + 77893627962370005578/12670825507271813867*c_1001_0^5 - 169854798515173165147/12670825507271813867*c_1001_0^4 + 159823023189810163573/12670825507271813867*c_1001_0^3 - 14703191441163441501/12670825507271813867*c_1001_0^2 - 28996011974975097632/12670825507271813867*c_1001_0 + 287854599714015059/12670825507271813867, c_0101_1 - 1492265748184826829/164720731594533580271*c_1001_0^14 + 15230412054277312813/164720731594533580271*c_1001_0^13 - 2915459476948001000/8669512189185977909*c_1001_0^12 + 95242372847612796443/164720731594533580271*c_1001_0^11 - 144687993498936089951/164720731594533580271*c_1001_0^10 + 335387797125945691845/164720731594533580271*c_1001_0^9 - 586535177328334585144/164720731594533580271*c_1001_0^8 + 704068577523753920529/164720731594533580271*c_1001_0^7 - 510089945766558843204/164720731594533580271*c_1001_0^6 + 785055683639896981527/164720731594533580271*c_1001_0^5 - 1515935770157490105757/164720731594533580271*c_1001_0^4 + 1599992740714323503192/164720731594533580271*c_1001_0^3 - 573186875063690997783/164720731594533580271*c_1001_0^2 + 171433704687412861942/164720731594533580271*c_1001_0 - 201089288958071758982/164720731594533580271, c_0101_3 - 6045004550095264802/164720731594533580271*c_1001_0^14 + 64472779424152808394/164720731594533580271*c_1001_0^13 - 13214483970968139879/8669512189185977909*c_1001_0^12 + 472630793838869709038/164720731594533580271*c_1001_0^11 - 706904017432482021073/164720731594533580271*c_1001_0^10 + 1530568765413588123923/164720731594533580271*c_1001_0^9 - 2823649895029551798153/164720731594533580271*c_1001_0^8 + 3532420773085366679340/164720731594533580271*c_1001_0^7 - 2714431488010019995105/164720731594533580271*c_1001_0^6 + 3251705250635553370312/164720731594533580271*c_1001_0^5 - 6783053865822959494158/164720731594533580271*c_1001_0^4 + 8029190999098538882898/164720731594533580271*c_1001_0^3 - 3516970743367165776663/164720731594533580271*c_1001_0^2 - 143946507209801250882/164720731594533580271*c_1001_0 + 241573809782251121446/164720731594533580271, c_0110_2 + 4446865217358525556/164720731594533580271*c_1001_0^14 - 47738285991628374923/164720731594533580271*c_1001_0^13 + 9863327435999942175/8669512189185977909*c_1001_0^12 - 354329478777766252637/164720731594533580271*c_1001_0^11 + 522455554087251625876/164720731594533580271*c_1001_0^10 - 1132074039697983935051/164720731594533580271*c_1001_0^9 + 2122028185464937318029/164720731594533580271*c_1001_0^8 - 2636637341584261457917/164720731594533580271*c_1001_0^7 + 1997138735178554453129/164720731594533580271*c_1001_0^6 - 2381383774379428601357/164720731594533580271*c_1001_0^5 + 5101625005814393799700/164720731594533580271*c_1001_0^4 - 6081194386598137516303/164720731594533580271*c_1001_0^3 + 2465878210273006234447/164720731594533580271*c_1001_0^2 + 194727010384183767640/164720731594533580271*c_1001_0 - 240958830038033028056/164720731594533580271, c_1001_0^15 - 11*c_1001_0^14 + 45*c_1001_0^13 - 91*c_1001_0^12 + 139*c_1001_0^11 - 285*c_1001_0^10 + 541*c_1001_0^9 - 716*c_1001_0^8 + 601*c_1001_0^7 - 637*c_1001_0^6 + 1264*c_1001_0^5 - 1653*c_1001_0^4 + 919*c_1001_0^3 - 65*c_1001_0^2 - 86*c_1001_0 + 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB