Magma V2.19-8 Wed Aug 21 2013 00:58:29 on localhost [Seed = 4273529983] Type ? for help. Type -D to quit. Loading file "L13n5568__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5568 geometric_solution 11.59056541 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 -1 0 0 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.651164645994 1.085480275103 0 5 4 6 0132 0132 0213 0132 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 0 0 0 0 0 0 0 8 -8 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.400559936042 0.458133137579 7 0 5 8 0132 0132 0132 0132 1 1 0 0 0 0 0 0 -1 0 0 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 -1 0 1 -8 0 0 8 0 0 0 0 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848723515408 0.576916611545 6 9 10 0 0132 0132 0132 0132 1 1 0 1 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 8 -7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433044900540 1.107449503558 10 1 0 9 0213 0213 0132 2103 1 1 1 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 -8 1 7 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.406134250915 0.525777864969 11 1 10 2 0132 0132 0213 0132 1 1 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 0 0 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.400559936042 0.458133137579 3 12 1 8 0132 0132 0132 1023 1 1 1 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 0 8 -8 0 0 1 -1 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.938434742049 0.643186448502 2 12 12 8 0132 3012 0321 1230 1 1 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 0 0 0 0 0 0 0 0 8 0 -8 0 -3 3 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.087887221568 1.083675550707 7 9 2 6 3012 0213 0132 1023 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 -1 1 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642535636451 0.367871731499 11 3 8 4 2103 0132 0213 2103 1 1 1 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 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366277869252 0.715460968345 4 5 11 3 0213 0213 0132 0132 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 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406134250915 0.525777864969 5 12 9 10 0132 0321 2103 0132 1 1 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 1 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651164645994 1.085480275103 7 6 7 11 1230 0132 0321 0321 1 0 0 1 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 0 0 0 -3 0 -1 4 1 0 0 -1 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442275746726 0.779522818564 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0110_8'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_3'], 'c_1100_8' : d['c_1001_3'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : negation(d['c_0110_9']), 'c_1100_7' : d['c_0110_8'], 'c_1100_6' : negation(d['c_1001_3']), 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : negation(d['c_0110_9']), 'c_1100_3' : negation(d['c_0110_9']), 'c_1100_2' : d['c_1001_3'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0110_9']), 'c_1100_10' : negation(d['c_0110_9']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : d['c_0110_8'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_10'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_0101_3'], 's_3_1' : negation(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_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), 's_1_7' : d['1'], 's_1_6' : negation(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_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_0'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : negation(d['1']), 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0101_3']})} 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_12, c_0011_8, c_0101_0, c_0101_12, c_0101_3, c_0110_8, c_0110_9, c_1001_0, c_1001_1, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 2602874721647919981611215086533485279939/11709241360065907140793778\ 8522936320*c_1001_3^11 + 3099385251416963405475101891646744375029/2\ 9273103400164767851984447130734080*c_1001_3^10 + 9361077774627270529141483525357304620025/11709241360065907140793778\ 852293632*c_1001_3^9 + 36728122990277218652160705750078532222071/19\ 515402266776511901322964753822720*c_1001_3^8 + 37216896394133849542512893408550227883293/1170924136006590714079377\ 8852293632*c_1001_3^7 + 24471623049477064710630313915049473798117/7\ 806160906710604760529185901529088*c_1001_3^6 + 21692653901523271120721078614471494330643/9757701133388255950661482\ 376911360*c_1001_3^5 + 11828126366441526017712595802674328508507/19\ 515402266776511901322964753822720*c_1001_3^4 + 6613966730843379166941183887722329333263/19515402266776511901322964\ 753822720*c_1001_3^3 - 9888735860761679873079800805253131219529/117\ 092413600659071407937788522936320*c_1001_3^2 + 74045468295665420183141634828401688867/1951540226677651190132296475\ 382272*c_1001_3 + 95556905440149597966240506393045054311/1170924136\ 00659071407937788522936320, c_0011_0 - 1, c_0011_10 - 7486296263237689321372975023166/381160200522978748072714155\ 3481*c_1001_3^11 - 32287842533405911263787531398687/381160200522978\ 7480727141553481*c_1001_3^10 - 253232211398890064585858319414399/38\ 11602005229787480727141553481*c_1001_3^9 - 512790615713668188929750631723406/3811602005229787480727141553481*c\ _1001_3^8 - 786579289306127854140384281517933/381160200522978748072\ 7141553481*c_1001_3^7 - 576547694267150395368763342699274/381160200\ 5229787480727141553481*c_1001_3^6 - 280269611116874514750878167582360/3811602005229787480727141553481*c\ _1001_3^5 + 126583141379215177375746549725444/381160200522978748072\ 7141553481*c_1001_3^4 - 26326475371672683722391975342776/3811602005\ 229787480727141553481*c_1001_3^3 + 81407367406201491373161976354940/3811602005229787480727141553481*c_\ 1001_3^2 - 22529036350669046045421919272198/38116020052297874807271\ 41553481*c_1001_3 + 8496540387275361062324313717289/381160200522978\ 7480727141553481, c_0011_12 - 2921112087449011407637773310340/381160200522978748072714155\ 3481*c_1001_3^11 - 12769922230606667779493101604227/381160200522978\ 7480727141553481*c_1001_3^10 - 100145233406032262170181171228847/38\ 11602005229787480727141553481*c_1001_3^9 - 208807043356941326660435660734885/3811602005229787480727141553481*c\ _1001_3^8 - 340222352929115754144187528890696/381160200522978748072\ 7141553481*c_1001_3^7 - 295273391497393932256764715903111/381160200\ 5229787480727141553481*c_1001_3^6 - 205930281013399440458799050675838/3811602005229787480727141553481*c\ _1001_3^5 - 36006090548113474969892660478657/3811602005229787480727\ 141553481*c_1001_3^4 - 56476185562170686958255063024964/38116020052\ 29787480727141553481*c_1001_3^3 + 21692723532948224366103306466589/\ 3811602005229787480727141553481*c_1001_3^2 - 14507591398235711786981848669496/3811602005229787480727141553481*c_\ 1001_3 + 2110989995211407594217496373187/38116020052297874807271415\ 53481, c_0011_8 + 1, c_0101_0 - 1, c_0101_12 - 3082888895834094215869765490492/381160200522978748072714155\ 3481*c_1001_3^11 - 13929525815364057979286584753816/381160200522978\ 7480727141553481*c_1001_3^10 - 106889292760117049660138078213607/38\ 11602005229787480727141553481*c_1001_3^9 - 232198212488113537662579845948564/3811602005229787480727141553481*c\ _1001_3^8 - 363783140946103169341245490175479/381160200522978748072\ 7141553481*c_1001_3^7 - 300603659500485937850948236801792/381160200\ 5229787480727141553481*c_1001_3^6 - 163438851586605204783932279303539/3811602005229787480727141553481*c\ _1001_3^5 + 17577673304356992706872932943641/3811602005229787480727\ 141553481*c_1001_3^4 - 19107956949959248910102533537433/38116020052\ 29787480727141553481*c_1001_3^3 + 12072801083303921341005321441816/\ 3811602005229787480727141553481*c_1001_3^2 - 8635912120832695559094330898190/3811602005229787480727141553481*c_1\ 001_3 + 492508292410855656655691918739/3811602005229787480727141553\ 481, c_0101_3 - 2049608563056342389359621082733/3811602005229787480727141553\ 481*c_1001_3^11 - 9769558327676090756179025231262/38116020052297874\ 80727141553481*c_1001_3^10 - 73612177913414147785943632479412/38116\ 02005229787480727141553481*c_1001_3^9 - 173128438469695971356071825659843/3811602005229787480727141553481*c\ _1001_3^8 - 288704985808169733418048260809236/381160200522978748072\ 7141553481*c_1001_3^7 - 277944734090278997337532817506413/381160200\ 5229787480727141553481*c_1001_3^6 - 184436568639214697893079638892817/3811602005229787480727141553481*c\ _1001_3^5 - 33739155421801147576797554294918/3811602005229787480727\ 141553481*c_1001_3^4 - 18564805420494321916502425782163/38116020052\ 29787480727141553481*c_1001_3^3 + 7944421339573131557078085420765/3\ 811602005229787480727141553481*c_1001_3^2 - 6679475126443983929083607436106/3811602005229787480727141553481*c_1\ 001_3 - 600044438293963266305593525116/3811602005229787480727141553\ 481, c_0110_8 + 4711684507251065919089187100116/3811602005229787480727141553\ 481*c_1001_3^11 + 21595927212198792608319236880688/3811602005229787\ 480727141553481*c_1001_3^10 + 165602654419691031148114846396627/381\ 1602005229787480727141553481*c_1001_3^9 + 369647054266048805262125941647023/3811602005229787480727141553481*c\ _1001_3^8 + 609776293975077896031057679148053/381160200522978748072\ 7141553481*c_1001_3^7 + 568854435872504113129272642471044/381160200\ 5229787480727141553481*c_1001_3^6 + 396580504424167151970202482808579/3811602005229787480727141553481*c\ _1001_3^5 + 97942032377616056522711988127110/3811602005229787480727\ 141553481*c_1001_3^4 + 89204882494407945758763480435993/38116020052\ 29787480727141553481*c_1001_3^3 - 14471904427482800009827885869956/\ 3811602005229787480727141553481*c_1001_3^2 + 11130276006897047889891299034374/3811602005229787480727141553481*c_\ 1001_3 - 693453202579708908362647013796/381160200522978748072714155\ 3481, c_0110_9 - 2317001682463566615408815373918/3811602005229787480727141553\ 481*c_1001_3^11 - 11589742548579060251305251998871/3811602005229787\ 480727141553481*c_1001_3^10 - 85915213955037224123717580662382/3811\ 602005229787480727141553481*c_1001_3^9 - 215933718183405649389903071521614/3811602005229787480727141553481*c\ _1001_3^8 - 376849926424518335713413143827045/381160200522978748072\ 7141553481*c_1001_3^7 - 405496660891579914280794505937284/381160200\ 5229787480727141553481*c_1001_3^6 - 313590523100306780420930971102851/3811602005229787480727141553481*c\ _1001_3^5 - 133290101593937575713824768257821/381160200522978748072\ 7141553481*c_1001_3^4 - 71329020288965708020168137496350/3811602005\ 229787480727141553481*c_1001_3^3 - 15001249093274022351418226214875/3811602005229787480727141553481*c_\ 1001_3^2 - 8618252164357087577530224756000/381160200522978748072714\ 1553481*c_1001_3 - 583990992529286849678027606364/38116020052297874\ 80727141553481, c_1001_0 - 2921112087449011407637773310340/3811602005229787480727141553\ 481*c_1001_3^11 - 12769922230606667779493101604227/3811602005229787\ 480727141553481*c_1001_3^10 - 100145233406032262170181171228847/381\ 1602005229787480727141553481*c_1001_3^9 - 208807043356941326660435660734885/3811602005229787480727141553481*c\ _1001_3^8 - 340222352929115754144187528890696/381160200522978748072\ 7141553481*c_1001_3^7 - 295273391497393932256764715903111/381160200\ 5229787480727141553481*c_1001_3^6 - 205930281013399440458799050675838/3811602005229787480727141553481*c\ _1001_3^5 - 36006090548113474969892660478657/3811602005229787480727\ 141553481*c_1001_3^4 - 56476185562170686958255063024964/38116020052\ 29787480727141553481*c_1001_3^3 + 21692723532948224366103306466589/\ 3811602005229787480727141553481*c_1001_3^2 - 14507591398235711786981848669496/3811602005229787480727141553481*c_\ 1001_3 + 2110989995211407594217496373187/38116020052297874807271415\ 53481, c_1001_1 - 6800967087005582877330187043203/3811602005229787480727141553\ 481*c_1001_3^11 - 33346626944685515777740740067456/3811602005229787\ 480727141553481*c_1001_3^10 - 249457934935393523029376936228391/381\ 1602005229787480727141553481*c_1001_3^9 - 611599142360736518209681017740811/3811602005229787480727141553481*c\ _1001_3^8 - 1064758152452393499696463489429645/38116020052297874807\ 27141553481*c_1001_3^7 - 1122358902471986417069556808960248/3811602\ 005229787480727141553481*c_1001_3^6 - 862182173204934254555298962378842/3811602005229787480727141553481*c\ _1001_3^5 - 332868959829992494272910723386713/381160200522978748072\ 7141553481*c_1001_3^4 - 173567692231933104503737178720904/381160200\ 5229787480727141553481*c_1001_3^3 - 7922532925750361406015746832322/3811602005229787480727141553481*c_1\ 001_3^2 - 19610291792605572320654044422845/381160200522978748072714\ 1553481*c_1001_3 - 474266826254548327601168490201/38116020052297874\ 80727141553481, c_1001_10 - 6800967087005582877330187043203/381160200522978748072714155\ 3481*c_1001_3^11 - 33346626944685515777740740067456/381160200522978\ 7480727141553481*c_1001_3^10 - 249457934935393523029376936228391/38\ 11602005229787480727141553481*c_1001_3^9 - 611599142360736518209681017740811/3811602005229787480727141553481*c\ _1001_3^8 - 1064758152452393499696463489429645/38116020052297874807\ 27141553481*c_1001_3^7 - 1122358902471986417069556808960248/3811602\ 005229787480727141553481*c_1001_3^6 - 862182173204934254555298962378842/3811602005229787480727141553481*c\ _1001_3^5 - 332868959829992494272910723386713/381160200522978748072\ 7141553481*c_1001_3^4 - 173567692231933104503737178720904/381160200\ 5229787480727141553481*c_1001_3^3 - 7922532925750361406015746832322/3811602005229787480727141553481*c_1\ 001_3^2 - 19610291792605572320654044422845/381160200522978748072714\ 1553481*c_1001_3 - 474266826254548327601168490201/38116020052297874\ 80727141553481, c_1001_3^12 + 764/169*c_1001_3^11 + 454/13*c_1001_3^10 + 12926/169*c_1001_3^9 + 21382/169*c_1001_3^8 + 19585/169*c_1001_3^7 + 13836/169*c_1001_3^6 + 3174/169*c_1001_3^5 + 3342/169*c_1001_3^4 - 763/169*c_1001_3^3 + 732/169*c_1001_3^2 - 139/169*c_1001_3 + 32/169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.440 seconds, Total memory usage: 32.09MB