Magma V2.19-8 Tue Aug 20 2013 23:38:20 on localhost [Seed = 813061145] Type ? for help. Type -D to quit. Loading file "K13n3082__sl2_c0.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' : 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_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' : d['1'], 's_0_1' : 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' : 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' : 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: 12 Groebner basis: [ t + 32823988351462189339351821110712420/1026961048833645215059675955408\ 12719*c_1001_0^11 + 4959521115184808843574710096736368/102696104883\ 364521505967595540812719*c_1001_0^10 - 121515820926877921812155890608563171/102696104883364521505967595540\ 812719*c_1001_0^9 - 558755556375159859225402449014551239/1026961048\ 83364521505967595540812719*c_1001_0^8 + 66662480695817413769097554170935203/4465048038407153108955112849600\ 553*c_1001_0^7 - 170199377725979654645537609153689428/1026961048833\ 64521505967595540812719*c_1001_0^6 - 1257149813521781455741329320275253113/10269610488336452150596759554\ 0812719*c_1001_0^5 - 1784780380678413061464338116377431718/10269610\ 4883364521505967595540812719*c_1001_0^4 + 5951868840361541789044431294145485113/10269610488336452150596759554\ 0812719*c_1001_0^3 - 1505043319647447372853381741700702289/10269610\ 4883364521505967595540812719*c_1001_0^2 - 3721757967407760936718864220341651814/10269610488336452150596759554\ 0812719*c_1001_0 + 1040711854403743827258220799087146/1941325234090\ 06656911091863026111, c_0011_0 - 1, c_0011_3 - 9674282728915086799935/3587110761331752070208899*c_1001_0^11 - 4047799588405441493112/3587110761331752070208899*c_1001_0^10 + 44277026329597144198835/3587110761331752070208899*c_1001_0^9 + 198991104435665919306033/3587110761331752070208899*c_1001_0^8 - 15307611851553227189653/155961337449206611748213*c_1001_0^7 - 129560574784052595002776/3587110761331752070208899*c_1001_0^6 + 244968239150300990976560/3587110761331752070208899*c_1001_0^5 - 154635972271325346178332/3587110761331752070208899*c_1001_0^4 - 1288756858378153157300592/3587110761331752070208899*c_1001_0^3 + 736201421613968885523149/3587110761331752070208899*c_1001_0^2 + 2743279120643073077349469/3587110761331752070208899*c_1001_0 - 75540821686787341878238/155961337449206611748213, c_0011_4 + 41746577741591311462608/3587110761331752070208899*c_1001_0^1\ 1 - 6766425531764735929947/3587110761331752070208899*c_1001_0^10 - 96798995419900859881615/3587110761331752070208899*c_1001_0^9 - 632642716637453055614246/3587110761331752070208899*c_1001_0^8 + 88030217145654241869746/155961337449206611748213*c_1001_0^7 - 1818549273934974686219644/3587110761331752070208899*c_1001_0^6 + 684780421903033394706043/3587110761331752070208899*c_1001_0^5 - 2673137331955205853087680/3587110761331752070208899*c_1001_0^4 + 7195934951937163135814520/3587110761331752070208899*c_1001_0^3 - 5788829857572380026384448/3587110761331752070208899*c_1001_0^2 + 2735664481989950521706743/3587110761331752070208899*c_1001_0 - 131469019881553719597407/155961337449206611748213, c_0011_5 - 5874064596844060319883/3587110761331752070208899*c_1001_0^11 + 721061001488843960169/3587110761331752070208899*c_1001_0^10 - 21804520817114399033505/3587110761331752070208899*c_1001_0^9 + 35543428135467748406607/3587110761331752070208899*c_1001_0^8 - 8862142406499859484494/155961337449206611748213*c_1001_0^7 + 961972781934980311258844/3587110761331752070208899*c_1001_0^6 - 862818498777721053969076/3587110761331752070208899*c_1001_0^5 - 818317309957209738496278/3587110761331752070208899*c_1001_0^4 - 270660742677199644936781/3587110761331752070208899*c_1001_0^3 + 3706067298878619313952087/3587110761331752070208899*c_1001_0^2 - 1178842907020901539170590/3587110761331752070208899*c_1001_0 - 144004658288500305068716/155961337449206611748213, c_0011_6 + 3516694316795235454065/3587110761331752070208899*c_1001_0^11 - 42258252422594329628823/3587110761331752070208899*c_1001_0^10 - 7142065597358921192489/3587110761331752070208899*c_1001_0^9 + 70786884845898934294265/3587110761331752070208899*c_1001_0^8 + 36297652966907753152916/155961337449206611748213*c_1001_0^7 - 2149191762426792460090011/3587110761331752070208899*c_1001_0^6 + 1143188159613735905731063/3587110761331752070208899*c_1001_0^5 + 237734101832424184163518/3587110761331752070208899*c_1001_0^4 + 3313528422701751187235223/3587110761331752070208899*c_1001_0^3 - 7524432712437795778840676/3587110761331752070208899*c_1001_0^2 + 2902562772009437266539004/3587110761331752070208899*c_1001_0 + 31529921999894937973808/155961337449206611748213, c_0101_0 - 37543261814374908503529/3587110761331752070208899*c_1001_0^1\ 1 + 32270183193108954622290/3587110761331752070208899*c_1001_0^10 + 148410329087348159942292/3587110761331752070208899*c_1001_0^9 + 563840718631720640481996/3587110761331752070208899*c_1001_0^8 - 102692750409764340852157/155961337449206611748213*c_1001_0^7 + 1644292244898015659445750/3587110761331752070208899*c_1001_0^6 + 293448702201433651583802/3587110761331752070208899*c_1001_0^5 + 2921819447219011005626595/3587110761331752070208899*c_1001_0^4 - 7688895184904381352232221/3587110761331752070208899*c_1001_0^3 + 4782947195013626158329625/3587110761331752070208899*c_1001_0^2 + 160668032865326914484168/3587110761331752070208899*c_1001_0 + 67522238252507267308925/155961337449206611748213, c_0101_1 + 31862511499748595747399/3587110761331752070208899*c_1001_0^1\ 1 - 23588483333465631653849/3587110761331752070208899*c_1001_0^10 - 126714037894537290988158/3587110761331752070208899*c_1001_0^9 - 460478396971135383716566/3587110761331752070208899*c_1001_0^8 + 86637747358618457414571/155961337449206611748213*c_1001_0^7 - 1301909804011207697698259/3587110761331752070208899*c_1001_0^6 - 917360111248963076774262/3587110761331752070208899*c_1001_0^5 - 1781647343902363575483954/3587110761331752070208899*c_1001_0^4 + 7566798723819785691926700/3587110761331752070208899*c_1001_0^3 - 4849690447630633192848132/3587110761331752070208899*c_1001_0^2 - 2052404198113819993631319/3587110761331752070208899*c_1001_0 + 18752338166749491217233/155961337449206611748213, c_0101_3 - 19171192667538392188614/3587110761331752070208899*c_1001_0^1\ 1 + 973727798069442911958/3587110761331752070208899*c_1001_0^10 + 37997992112141860947066/3587110761331752070208899*c_1001_0^9 + 288678567901763806650511/3587110761331752070208899*c_1001_0^8 - 38082963702085566417932/155961337449206611748213*c_1001_0^7 + 842587911418524166374609/3587110761331752070208899*c_1001_0^6 - 552313386882318091558228/3587110761331752070208899*c_1001_0^5 + 772943026524390717398769/3587110761331752070208899*c_1001_0^4 - 2233371846276527731909594/3587110761331752070208899*c_1001_0^3 + 3597611972277932154980365/3587110761331752070208899*c_1001_0^2 - 1807863312832858234312978/3587110761331752070208899*c_1001_0 - 69999038299329988088269/155961337449206611748213, c_0110_2 + 15888481238000434741704/3587110761331752070208899*c_1001_0^1\ 1 + 11356375788662283959890/3587110761331752070208899*c_1001_0^10 - 29253660720681517659738/3587110761331752070208899*c_1001_0^9 - 307915433749549976497249/3587110761331752070208899*c_1001_0^8 + 21260376211744811259757/155961337449206611748213*c_1001_0^7 - 64830243854133740540585/3587110761331752070208899*c_1001_0^6 + 743523875992555968382568/3587110761331752070208899*c_1001_0^5 - 1711302626575050915695247/3587110761331752070208899*c_1001_0^4 + 1537873511232253844686553/3587110761331752070208899*c_1001_0^3 - 748072421437745646844605/3587110761331752070208899*c_1001_0^2 + 1836333548563243132057219/3587110761331752070208899*c_1001_0 + 99069533445544053259183/155961337449206611748213, c_1001_0^12 - 10/9*c_1001_0^11 - 29/9*c_1001_0^10 - 113/9*c_1001_0^9 + 598/9*c_1001_0^8 - 220/3*c_1001_0^7 + 20/9*c_1001_0^6 - 350/9*c_1001_0^5 + 247*c_1001_0^4 - 802/3*c_1001_0^3 + 226/9*c_1001_0^2 + 46*c_1001_0 + 529/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.350 seconds, Total memory usage: 32.09MB