Magma V2.19-8 Wed Aug 21 2013 00:58:49 on localhost [Seed = 3153961159] Type ? for help. Type -D to quit. Loading file "L13n5992__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5992 geometric_solution 12.48647059 oriented_manifold CS_known -0.0000000000000001 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 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 1 -1 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.679971057444 1.152594976521 0 5 7 6 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 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.168390218624 0.666560811196 8 0 6 9 0132 0132 0213 0132 1 1 0 0 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 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.536634232481 1.304272124183 10 11 9 0 0132 0132 0132 0132 1 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 0 0 0 0 1 0 -1 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.400508892587 0.411899231650 8 12 0 6 3012 0132 0132 0213 1 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 -1 1 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.532022926295 0.856826649089 8 1 12 9 1023 0132 0132 1230 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 1 -1 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.424552260601 0.997778473991 10 2 1 4 2103 0213 0132 0213 1 1 1 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 -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.352983685079 1.045246015777 9 11 12 1 1230 1230 0321 0132 1 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 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.294145899419 0.929000046914 2 5 11 4 0132 1023 2103 1230 1 1 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 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.001614499680 0.710723631152 5 7 2 3 3012 3012 0132 0132 1 1 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 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.371625107058 1.060866392264 3 12 6 11 0132 3012 2103 2103 1 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 1 -1 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.375599348384 1.179620928505 8 3 7 10 2103 0132 3012 2103 1 1 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 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472237487600 0.529497563511 10 4 7 5 1230 0132 0321 0132 1 1 0 1 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 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.333963686055 0.578192212422 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_7']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : negation(d['c_0011_7']), 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : negation(d['c_0101_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_1010_6'], 'c_1100_7' : d['c_1001_12'], 'c_1100_6' : d['c_1001_12'], 'c_1100_1' : d['c_1001_12'], 'c_1100_0' : d['c_1010_6'], 'c_1100_3' : d['c_1010_6'], 'c_1100_2' : d['c_1010_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_0110_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : negation(d['c_0011_7']), 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_0011_9'], 'c_1100_8' : negation(d['c_0110_11']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(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' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_3'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0011_9'], '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_9'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_12']), 'c_0101_1' : d['c_0011_9'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_11'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1010_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : negation(d['c_0110_11']), 'c_0110_7' : d['c_0011_9'], 'c_0110_6' : d['c_0110_11']})} 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_7, c_0011_9, c_0101_0, c_0101_11, c_0101_12, c_0101_3, c_0110_11, c_1001_12, c_1001_2, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 3593483282622750131713667/1593983082437346396884*c_1010_6^11 + 11456859855290463346610187/1593983082437346396884*c_1010_6^10 - 124323412176582051784034351/1593983082437346396884*c_1010_6^9 + 415058913009646193053975399/1593983082437346396884*c_1010_6^8 - 136432646414529448639071117/144907552948849672444*c_1010_6^7 + 3634023664523579896390476265/1593983082437346396884*c_1010_6^6 - 6235191824693027341185754883/1593983082437346396884*c_1010_6^5 + 7096489131105983837190150823/1593983082437346396884*c_1010_6^4 - 5013684483322022259098154177/1593983082437346396884*c_1010_6^3 + 1069074263310376327418544762/398495770609336599221*c_1010_6^2 - 427898123872819392567766710/398495770609336599221*c_1010_6 + 218786174856228286969879009/1593983082437346396884, c_0011_0 - 1, c_0011_10 - 22807885638214807/770784856110902513*c_1010_6^11 + 62631649552203870/770784856110902513*c_1010_6^10 - 757569320769740602/770784856110902513*c_1010_6^9 + 2288005533679427624/770784856110902513*c_1010_6^8 - 8382966836763019459/770784856110902513*c_1010_6^7 + 18944057351744220100/770784856110902513*c_1010_6^6 - 29666835447613120801/770784856110902513*c_1010_6^5 + 28375028094241210303/770784856110902513*c_1010_6^4 - 13309423033276463504/770784856110902513*c_1010_6^3 + 15193555744392427794/770784856110902513*c_1010_6^2 - 454863133755629414/770784856110902513*c_1010_6 - 1538935697875255502/770784856110902513, c_0011_12 + 68609662486149167/770784856110902513*c_1010_6^11 - 180122564000698519/770784856110902513*c_1010_6^10 + 2264319613413217153/770784856110902513*c_1010_6^9 - 6627634618529246274/770784856110902513*c_1010_6^8 + 24655915828921309726/770784856110902513*c_1010_6^7 - 54684742238416416269/770784856110902513*c_1010_6^6 + 85252748168613338216/770784856110902513*c_1010_6^5 - 80585602629613839953/770784856110902513*c_1010_6^4 + 39226376916697424503/770784856110902513*c_1010_6^3 - 48214685793042611727/770784856110902513*c_1010_6^2 - 648432893951569812/770784856110902513*c_1010_6 + 1995891121387497264/770784856110902513, c_0011_7 - 115049180145150950/770784856110902513*c_1010_6^11 + 312881362853113026/770784856110902513*c_1010_6^10 - 3822835429773498339/770784856110902513*c_1010_6^9 + 11465929525173223539/770784856110902513*c_1010_6^8 - 42307794573577836752/770784856110902513*c_1010_6^7 + 95385629456855831037/770784856110902513*c_1010_6^6 - 150732626209166308920/770784856110902513*c_1010_6^5 + 146886206437584767152/770784856110902513*c_1010_6^4 - 75798790444260320923/770784856110902513*c_1010_6^3 + 84661677597982535824/770784856110902513*c_1010_6^2 - 4798708850391540441/770784856110902513*c_1010_6 - 4877778843786856901/770784856110902513, c_0011_9 + 161846674521972427/770784856110902513*c_1010_6^11 - 437961500900478773/770784856110902513*c_1010_6^10 + 5373748148985227642/770784856110902513*c_1010_6^9 - 16061110050333445894/770784856110902513*c_1010_6^8 + 59361285856623533887/770784856110902513*c_1010_6^7 - 133536222346691779157/770784856110902513*c_1010_6^6 + 210889841755189208131/770784856110902513*c_1010_6^5 - 205133635058945845591/770784856110902513*c_1010_6^4 + 105947255018393100957/770784856110902513*c_1010_6^3 - 119887227202542277158/770784856110902513*c_1010_6^2 + 5895292028238349296/770784856110902513*c_1010_6 + 6417534246415221835/770784856110902513, c_0101_0 - 1, c_0101_11 + 217960873984038085/770784856110902513*c_1010_6^11 - 594395736228894531/770784856110902513*c_1010_6^10 + 7247965080767186330/770784856110902513*c_1010_6^9 - 21777252182369634708/770784856110902513*c_1010_6^8 + 80352542126881929037/770784856110902513*c_1010_6^7 - 181349084912257562067/770784856110902513*c_1010_6^6 + 287258723665844742077/770784856110902513*c_1010_6^5 - 280820245475658658804/770784856110902513*c_1010_6^4 + 146427120331596035693/770784856110902513*c_1010_6^3 - 162138606537612962686/770784856110902513*c_1010_6^2 + 10493403676697253473/770784856110902513*c_1010_6 + 8535376396326860585/770784856110902513, c_0101_12 + 11232074852129730/770784856110902513*c_1010_6^11 - 32809607170848333/770784856110902513*c_1010_6^10 + 379187716649584625/770784856110902513*c_1010_6^9 - 1195705891567060090/770784856110902513*c_1010_6^8 + 4349453411016940294/770784856110902513*c_1010_6^7 - 10174682595745239853/770784856110902513*c_1010_6^6 + 16540714152578763831/770784856110902513*c_1010_6^5 - 17507882650072015974/770784856110902513*c_1010_6^4 + 10189002367344589128/770784856110902513*c_1010_6^3 - 9782897422146223463/770784856110902513*c_1010_6^2 + 1310798399033603810/770784856110902513*c_1010_6 + 402314754201482247/770784856110902513, c_0101_3 - 13340117370790060/770784856110902513*c_1010_6^11 + 36339913504555218/770784856110902513*c_1010_6^10 - 443330251119355501/770784856110902513*c_1010_6^9 + 1329490981900350846/770784856110902513*c_1010_6^8 - 4905358394407921398/770784856110902513*c_1010_6^7 + 11023155442674136565/770784856110902513*c_1010_6^6 - 17383893698339929465/770784856110902513*c_1010_6^5 + 16657837729940805390/770784856110902513*c_1010_6^4 - 8166162598575838105/770784856110902513*c_1010_6^3 + 9377929284610705608/770784856110902513*c_1010_6^2 - 862626235953443822/770784856110902513*c_1010_6 - 395864452407122715/770784856110902513, c_0110_11 + 39537734939415072/770784856110902513*c_1010_6^11 - 108400516821498363/770784856110902513*c_1010_6^10 + 1315602013192356481/770784856110902513*c_1010_6^9 - 3967618262171995385/770784856110902513*c_1010_6^8 + 14611204219903769209/770784856110902513*c_1010_6^7 - 33039422290899392024/770784856110902513*c_1010_6^6 + 52387239378561862156/770784856110902513*c_1010_6^5 - 51174355178861863797/770784856110902513*c_1010_6^4 + 26922615805991586082/770784856110902513*c_1010_6^3 - 29281355536563747232/770784856110902513*c_1010_6^2 + 2555703668135203105/770784856110902513*c_1010_6 + 1473951815994663202/770784856110902513, c_1001_12 + 21376131325205963/770784856110902513*c_1010_6^11 - 59957585975922336/770784856110902513*c_1010_6^10 + 714544678979353009/770784856110902513*c_1010_6^9 - 2188481268498682196/770784856110902513*c_1010_6^8 + 8019293974896574065/770784856110902513*c_1010_6^7 - 18304572366768056857/770784856110902513*c_1010_6^6 + 29240874644430779481/770784856110902513*c_1010_6^5 - 28922722098100966601/770784856110902513*c_1010_6^4 + 15190314998275133127/770784856110902513*c_1010_6^3 - 15526635674149560799/770784856110902513*c_1010_6^2 + 1021894717811019747/770784856110902513*c_1010_6 + 989542583439952512/770784856110902513, c_1001_2 - 67958936461757354/770784856110902513*c_1010_6^11 + 181407147138886114/770784856110902513*c_1010_6^10 - 2250559724972648906/770784856110902513*c_1010_6^9 + 6662927082265825696/770784856110902513*c_1010_6^8 - 24705476666317662431/770784856110902513*c_1010_6^7 + 55219781419384468917/770784856110902513*c_1010_6^6 - 86744796396238729071/770784856110902513*c_1010_6^5 + 83316994402307071811/770784856110902513*c_1010_6^4 - 41912677759499338898/770784856110902513*c_1010_6^3 + 48697826093104622987/770784856110902513*c_1010_6^2 - 260751364990047886/770784856110902513*c_1010_6 - 2457840880176428550/770784856110902513, c_1010_6^12 - 3*c_1010_6^11 + 34*c_1010_6^10 - 109*c_1010_6^9 + 396*c_1010_6^8 - 933*c_1010_6^7 + 1546*c_1010_6^6 - 1651*c_1010_6^5 + 1028*c_1010_6^4 - 932*c_1010_6^3 + 255*c_1010_6^2 + 26*c_1010_6 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.360 Total time: 0.560 seconds, Total memory usage: 32.09MB