Magma V2.19-8 Tue Aug 20 2013 23:40:09 on localhost [Seed = 1090987493] Type ? for help. Type -D to quit. Loading file "K14n8124__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n8124 geometric_solution 9.93078676 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.262114422112 0.330388192686 0 5 5 6 0132 0132 0321 0132 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 -1 0 1 0 0 0 0 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.556351652090 1.003800006209 7 0 5 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 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 -1 1 0 -5 0 5 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.152827494045 0.699897266064 7 9 6 0 1023 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336415211783 0.444146077462 9 8 0 10 3201 0321 0132 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 1 -1 0 0 0 0 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518466195237 1.002680352551 9 1 1 2 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 5 -5 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556351652090 1.003800006209 10 7 1 3 0132 0213 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 1 -1 0 -1 0 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.566643941515 0.821473957600 2 3 6 10 0132 1023 0213 1023 0 0 0 0 0 0 0 0 1 0 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 -1 1 5 0 0 -5 6 0 0 -6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.075812744074 1.804899918169 10 9 2 4 1302 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 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 6 -6 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.036246735605 0.487666569960 5 3 8 4 0132 0132 0213 2310 0 0 0 0 0 0 0 0 0 0 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 6 -6 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.832542702242 0.779016988091 6 8 4 7 0132 2031 0132 1023 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 0 0 -6 1 5 1 0 0 -1 -1 -5 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528184533638 1.580554589454 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_4'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0011_8'], '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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_4'], 'c_1100_8' : d['c_1001_1'], 'c_1100_5' : d['c_1001_1'], 'c_1100_4' : negation(d['c_1010_6']), 'c_1100_7' : d['c_1010_6'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_1010_6']), 'c_1100_3' : negation(d['c_1010_6']), 'c_1100_2' : d['c_1001_1'], 'c_1100_10' : negation(d['c_1010_6']), 'c_1010_7' : d['c_0101_0'], 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_0011_4'], '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_9' : 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_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_0'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_8'], '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_4, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_1001_0, c_1001_1, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 21461026769991702360623/5174636398901133760*c_1010_6^14 - 2656312324018548439651/1034927279780226752*c_1010_6^13 - 25896992831015231322959/5692100038791247136*c_1010_6^12 + 760913083925526168851663/5692100038791247136*c_1010_6^11 + 2041639382554272753506591/14230250096978117840*c_1010_6^10 + 579518658335527895718939/56921000387912471360*c_1010_6^9 + 2249107596212688391584343/14230250096978117840*c_1010_6^8 + 1725789316908980780362133/7115125048489058920*c_1010_6^7 + 4150749973471237543730167/28460500193956235680*c_1010_6^6 + 5267320238912388634113101/56921000387912471360*c_1010_6^5 + 1272341216227757526146217/28460500193956235680*c_1010_6^4 + 105038107722031588362351/5174636398901133760*c_1010_6^3 + 166890691882343390003827/28460500193956235680*c_1010_6^2 + 69162296011819814300597/56921000387912471360*c_1010_6 + 4346559692747442414523/56921000387912471360, c_0011_0 - 1, c_0011_10 - 10825781335483438688/889390631061132365*c_1010_6^14 + 3887292995824516793/177878126212226473*c_1010_6^13 - 1228613261181225505/177878126212226473*c_1010_6^12 - 69909610010508544249/177878126212226473*c_1010_6^11 + 36962603555563267251/889390631061132365*c_1010_6^10 + 88501684338207758146/889390631061132365*c_1010_6^9 - 505641507898967591882/889390631061132365*c_1010_6^8 - 111526023243265915319/889390631061132365*c_1010_6^7 - 34953121921534372839/889390631061132365*c_1010_6^6 - 111380473391804566096/889390631061132365*c_1010_6^5 + 5396931853086050241/889390631061132365*c_1010_6^4 - 29448861683366494236/889390631061132365*c_1010_6^3 + 644147196346335106/80853693732830215*c_1010_6^2 - 4304148493866123917/889390631061132365*c_1010_6 + 975211318432424277/889390631061132365, c_0011_4 + 14731585049056094583/889390631061132365*c_1010_6^14 - 3420135384406460672/177878126212226473*c_1010_6^13 - 1121868193372616750/177878126212226473*c_1010_6^12 + 95346885450277585723/177878126212226473*c_1010_6^11 + 251349409953494631039/889390631061132365*c_1010_6^10 - 60452964973306618626/889390631061132365*c_1010_6^9 + 628305012831420036602/889390631061132365*c_1010_6^8 + 552930029267908118524/889390631061132365*c_1010_6^7 + 268627863530622874539/889390631061132365*c_1010_6^6 + 246705164421673953926/889390631061132365*c_1010_6^5 + 96534486870817438059/889390631061132365*c_1010_6^4 + 60740098563545475681/889390631061132365*c_1010_6^3 + 14406130211085848744/889390631061132365*c_1010_6^2 + 5427285474181460422/889390631061132365*c_1010_6 + 1858540287722592723/889390631061132365, c_0011_8 - 536377455055159107/889390631061132365*c_1010_6^14 + 464149960251010172/177878126212226473*c_1010_6^13 - 455443756511875137/177878126212226473*c_1010_6^12 - 293050251621923681/16170738746566043*c_1010_6^11 + 42796266041525559744/889390631061132365*c_1010_6^10 + 17623796166994479764/889390631061132365*c_1010_6^9 + 81169631466226737/80853693732830215*c_1010_6^8 + 23863820856041399419/889390631061132365*c_1010_6^7 + 43820881532054046919/889390631061132365*c_1010_6^6 + 4365945020593925741/80853693732830215*c_1010_6^5 + 2340592818727754779/889390631061132365*c_1010_6^4 + 14571402397476351001/889390631061132365*c_1010_6^3 - 1130448305279456066/889390631061132365*c_1010_6^2 + 2782858074384157387/889390631061132365*c_1010_6 - 464478494551728962/889390631061132365, c_0101_0 + 6505561041047356041/889390631061132365*c_1010_6^14 - 1999668751722935834/177878126212226473*c_1010_6^13 + 312953685999080442/177878126212226473*c_1010_6^12 + 41992913346561933018/177878126212226473*c_1010_6^11 + 31616260294319074463/889390631061132365*c_1010_6^10 - 29827732962199460217/889390631061132365*c_1010_6^9 + 305051022953688900494/889390631061132365*c_1010_6^8 + 137212285346679520848/889390631061132365*c_1010_6^7 + 75724728986897782928/889390631061132365*c_1010_6^6 + 106810459603965077722/889390631061132365*c_1010_6^5 + 23586573250165530428/889390631061132365*c_1010_6^4 + 28290810262376702717/889390631061132365*c_1010_6^3 + 4378613532971005153/889390631061132365*c_1010_6^2 + 2964224115829591619/889390631061132365*c_1010_6 + 560020355059659851/889390631061132365, c_0101_1 - 7397297580959326222/889390631061132365*c_1010_6^14 + 2429154977873130571/177878126212226473*c_1010_6^13 - 465639873671481017/177878126212226473*c_1010_6^12 - 47668123712259183603/177878126212226473*c_1010_6^11 - 12295324995392901741/889390631061132365*c_1010_6^10 + 58206341390669547499/889390631061132365*c_1010_6^9 - 308144760925907112243/889390631061132365*c_1010_6^8 - 107363387062690002021/889390631061132365*c_1010_6^7 - 48814859291217585471/889390631061132365*c_1010_6^6 - 50439091330952613144/889390631061132365*c_1010_6^5 + 29925148807923246124/889390631061132365*c_1010_6^4 - 4871485565540432389/889390631061132365*c_1010_6^3 + 12319590453734802979/889390631061132365*c_1010_6^2 + 558157788138546687/889390631061132365*c_1010_6 + 857505741808462188/889390631061132365, c_0101_10 - 10289403880428279581/889390631061132365*c_1010_6^14 + 3423143035573506621/177878126212226473*c_1010_6^13 - 773169504669350368/177878126212226473*c_1010_6^12 - 66686057242667383758/177878126212226473*c_1010_6^11 - 5833662485962292493/889390631061132365*c_1010_6^10 + 70877888171213278382/889390631061132365*c_1010_6^9 - 506534373845096085989/889390631061132365*c_1010_6^8 - 135389844099307314738/889390631061132365*c_1010_6^7 - 78774003453588419758/889390631061132365*c_1010_6^6 - 159405868618337749247/889390631061132365*c_1010_6^5 + 3056339034358295462/889390631061132365*c_1010_6^4 - 44020264080842845237/889390631061132365*c_1010_6^3 + 8216067465089142232/889390631061132365*c_1010_6^2 - 6197615937189148939/889390631061132365*c_1010_6 + 1439689812984153239/889390631061132365, c_0101_3 + 5275971019950069231/889390631061132365*c_1010_6^14 - 400605776990441790/177878126212226473*c_1010_6^13 - 1232054215357123034/177878126212226473*c_1010_6^12 + 33708843156219499846/177878126212226473*c_1010_6^11 + 222384314619245625078/889390631061132365*c_1010_6^10 + 70146677189082099968/889390631061132365*c_1010_6^9 + 222028437604401262939/889390631061132365*c_1010_6^8 + 353055405956274616773/889390631061132365*c_1010_6^7 + 275598485983186844618/889390631061132365*c_1010_6^6 + 188838760012854843192/889390631061132365*c_1010_6^5 + 95880140450480796633/889390631061132365*c_1010_6^4 + 48816539238330602617/889390631061132365*c_1010_6^3 + 1385383371312360458/80853693732830215*c_1010_6^2 + 4339272618241972414/889390631061132365*c_1010_6 + 848246427921134236/889390631061132365, c_1001_0 - 6180761012422221602/889390631061132365*c_1010_6^14 + 1993232837815073621/177878126212226473*c_1010_6^13 - 908342425003735380/177878126212226473*c_1010_6^12 - 39074583649044286588/177878126212226473*c_1010_6^11 - 16205471116662109951/889390631061132365*c_1010_6^10 - 43991173053506334026/889390631061132365*c_1010_6^9 - 291646771108442100458/889390631061132365*c_1010_6^8 - 96683546080257133466/889390631061132365*c_1010_6^7 - 153467319424055563456/889390631061132365*c_1010_6^6 - 133722019755869545024/889390631061132365*c_1010_6^5 - 34369607884075375891/889390631061132365*c_1010_6^4 - 36100871028517633424/889390631061132365*c_1010_6^3 - 3483371628839430791/889390631061132365*c_1010_6^2 - 5720024561948196253/889390631061132365*c_1010_6 + 300680550833681688/889390631061132365, c_1001_1 - 93468122374975907/177878126212226473*c_1010_6^14 + 591853475967062919/177878126212226473*c_1010_6^13 - 313282220299799232/177878126212226473*c_1010_6^12 - 3432163560728575347/177878126212226473*c_1010_6^11 + 14048702696522855886/177878126212226473*c_1010_6^10 + 15175069693117424539/177878126212226473*c_1010_6^9 - 1283547516579679744/177878126212226473*c_1010_6^8 + 19927131166345457191/177878126212226473*c_1010_6^7 + 21398147401166984299/177878126212226473*c_1010_6^6 + 17035812338018101615/177878126212226473*c_1010_6^5 + 16128143963425371425/177878126212226473*c_1010_6^4 + 4006630703394443860/177878126212226473*c_1010_6^3 + 3989367450018330810/177878126212226473*c_1010_6^2 + 574500999433377349/177878126212226473*c_1010_6 + 452480815473364619/177878126212226473, c_1010_6^15 - 14/13*c_1010_6^14 - 5/13*c_1010_6^13 + 420/13*c_1010_6^12 + 254/13*c_1010_6^11 + 7/13*c_1010_6^10 + 605/13*c_1010_6^9 + 508/13*c_1010_6^8 + 342/13*c_1010_6^7 + 319/13*c_1010_6^6 + 121/13*c_1010_6^5 + 99/13*c_1010_6^4 + 21/13*c_1010_6^3 + 15/13*c_1010_6^2 + 2/13*c_1010_6 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.500 seconds, Total memory usage: 32.09MB