Magma V2.19-8 Wed Aug 21 2013 00:58:19 on localhost [Seed = 274074252] Type ? for help. Type -D to quit. Loading file "L13n4980__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4980 geometric_solution 11.64975378 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 1 0 0 -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 -1 6 -5 0 0 0 0 1 -3 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765437934358 1.182676125106 0 5 5 6 0132 0132 1302 0132 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 -5 0 5 0 0 0 0 -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.238028197276 0.695235729097 4 0 8 7 0213 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 -1 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 1 -1 0 0 0 6 -6 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851041621524 0.887476861214 9 10 11 0 0132 0132 0132 0132 1 1 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 0 0 0 0 6 -6 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.611335885920 0.672872081408 2 7 0 9 0213 0132 0132 0321 1 1 1 0 0 0 -1 1 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 5 -5 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.249219776034 0.798338201473 1 1 10 12 2031 0132 2031 0132 1 1 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 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559215320435 1.287449392883 11 9 1 10 0321 0321 0132 0132 1 1 1 1 0 -1 1 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 5 -5 0 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.934721161711 0.883243912097 8 4 2 12 0321 0132 0132 2031 1 1 0 1 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 -6 0 6 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.054652008434 1.214609980793 7 12 10 2 0321 2031 1302 0132 1 1 0 1 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 -1 1 0 0 6 -6 -2 -1 0 3 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574039977504 0.594541018663 3 4 11 6 0132 0321 0321 0321 1 1 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 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572551002464 0.389951613628 8 3 6 5 2031 0132 0132 1302 1 1 1 1 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 0 -1 0 0 0 0 -6 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220855466386 1.422932567290 6 12 9 3 0321 1302 0321 0132 1 1 1 1 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 6 0 -6 0 0 0 0 -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.797764382468 0.782929614556 8 7 5 11 1302 1302 0132 2031 1 1 1 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 5 -5 6 0 0 -6 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.106760180438 1.088179113521 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_10']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_0110_10']), 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0110_10'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_1001_3'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_0']), 'c_0101_10' : negation(d['c_0011_11']), '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_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_1100_9' : negation(d['c_0110_10']), 'c_1100_8' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_1001_9'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_1001_9'], 'c_1100_3' : d['c_1001_9'], 'c_1100_2' : negation(d['c_0011_11']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_9'], 'c_1100_10' : d['c_0101_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_10']), 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_0011_12'], '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'], 'c_1100_12' : negation(d['c_1001_3']), '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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0110_10']), 'c_0101_12' : negation(d['c_0011_8']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : negation(d['c_0011_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_11, c_0011_12, c_0011_4, c_0011_6, c_0011_8, c_0101_0, c_0101_5, c_0110_10, c_1001_0, c_1001_3, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 430395824251406782205505669/2707489645430816471168447*c_1001_9^13 - 1588577228260961420624232353/5414979290861632942336894*c_1001_9^12 - 14933153549602734095029930276/2707489645430816471168447*c_1001_9^11 + 50093874693473140674510216106/2707489645430816471168447*c_1001_9^\ 10 - 119951447643308073722358575865/5414979290861632942336894*c_100\ 1_9^9 + 153403915937400290091913688981/5414979290861632942336894*c_\ 1001_9^8 - 2641160254301962052878975037/159264096790048027715791*c_\ 1001_9^7 + 74608473800295584467564526488/2707489645430816471168447*\ c_1001_9^6 + 3782700312478026863028869941/2707489645430816471168447\ *c_1001_9^5 + 271262290604563965970608017957/5414979290861632942336\ 894*c_1001_9^4 + 79046301260507923440802577074/27074896454308164711\ 68447*c_1001_9^3 + 112783511558863795580491656213/27074896454308164\ 71168447*c_1001_9^2 + 3991153499346604858055765615/3867842350615452\ 10166921*c_1001_9 + 2560367246189939695205752312/386784235061545210\ 166921, c_0011_0 - 1, c_0011_10 + 36842801550148277/7792256483299659733*c_1001_9^13 + 184307258033925392/7792256483299659733*c_1001_9^12 + 1451068739208849871/7792256483299659733*c_1001_9^11 - 377610233343172866/7792256483299659733*c_1001_9^10 - 9911058846443205814/7792256483299659733*c_1001_9^9 + 12955305200323553850/7792256483299659733*c_1001_9^8 - 937530371382203504/458368028429391749*c_1001_9^7 + 3549070828834188514/7792256483299659733*c_1001_9^6 - 16648692794510992277/7792256483299659733*c_1001_9^5 - 5986646052663117219/7792256483299659733*c_1001_9^4 - 43928488817396373872/7792256483299659733*c_1001_9^3 - 10675282539417921808/7792256483299659733*c_1001_9^2 - 18937153702519473535/7792256483299659733*c_1001_9 + 3536837363846489008/7792256483299659733, c_0011_11 - 154383572328479230/7792256483299659733*c_1001_9^13 - 394846759417712471/7792256483299659733*c_1001_9^12 - 5573117162174078936/7792256483299659733*c_1001_9^11 + 14162343122413309345/7792256483299659733*c_1001_9^10 - 9095941212769751969/7792256483299659733*c_1001_9^9 + 14961998619336104800/7792256483299659733*c_1001_9^8 - 63386992852860791/458368028429391749*c_1001_9^7 + 16786611714340147610/7792256483299659733*c_1001_9^6 + 24497073213660394470/7792256483299659733*c_1001_9^5 + 39874973419580989748/7792256483299659733*c_1001_9^4 + 66441774977382737897/7792256483299659733*c_1001_9^3 + 58073085557035317298/7792256483299659733*c_1001_9^2 + 30330184417106567052/7792256483299659733*c_1001_9 + 8037032198692325240/7792256483299659733, c_0011_12 - 273097974233679439/15584512966599319466*c_1001_9^13 - 361987534190422808/7792256483299659733*c_1001_9^12 - 4887557444240127215/7792256483299659733*c_1001_9^11 + 24418551926535271181/15584512966599319466*c_1001_9^10 - 4375817628494063284/7792256483299659733*c_1001_9^9 + 3954891772233368864/7792256483299659733*c_1001_9^8 + 404711674244194212/458368028429391749*c_1001_9^7 + 31875957541734320079/15584512966599319466*c_1001_9^6 + 6604459906905205509/7792256483299659733*c_1001_9^5 + 51325144627224146496/7792256483299659733*c_1001_9^4 + 45595817717071406167/7792256483299659733*c_1001_9^3 + 45477957666787514227/7792256483299659733*c_1001_9^2 + 30219281010689609671/15584512966599319466*c_1001_9 + 5659808551244193943/7792256483299659733, c_0011_4 + 347655761257538697/7792256483299659733*c_1001_9^13 + 651572348502468252/7792256483299659733*c_1001_9^12 + 11890998476502988457/7792256483299659733*c_1001_9^11 - 40348370222093163377/7792256483299659733*c_1001_9^10 + 40938083575404113422/7792256483299659733*c_1001_9^9 - 34357893105603471796/7792256483299659733*c_1001_9^8 - 309817517314923871/458368028429391749*c_1001_9^7 - 12848891783888945154/7792256483299659733*c_1001_9^6 - 34574632049651540173/7792256483299659733*c_1001_9^5 - 81260804546935310127/7792256483299659733*c_1001_9^4 - 68518541880866662367/7792256483299659733*c_1001_9^3 - 49906363773899524619/7792256483299659733*c_1001_9^2 - 13813111477373441315/7792256483299659733*c_1001_9 + 1493063430778631722/7792256483299659733, c_0011_6 + 651299204782350899/15584512966599319466*c_1001_9^13 + 456343964015021659/7792256483299659733*c_1001_9^12 + 22103382953347751265/15584512966599319466*c_1001_9^11 - 42823809950577435594/7792256483299659733*c_1001_9^10 + 125974535178469435351/15584512966599319466*c_1001_9^9 - 78454736105044705311/7792256483299659733*c_1001_9^8 + 3212852899351144947/458368028429391749*c_1001_9^7 - 128752802134118186025/15584512966599319466*c_1001_9^6 + 13347259698025537936/7792256483299659733*c_1001_9^5 - 197886505820688418797/15584512966599319466*c_1001_9^4 - 47808258997335951625/15584512966599319466*c_1001_9^3 - 124790136573523936609/15584512966599319466*c_1001_9^2 - 4526791886536923425/7792256483299659733*c_1001_9 - 19245991685341209147/15584512966599319466, c_0011_8 - 252143544563267236/7792256483299659733*c_1001_9^13 - 1035257354607829703/15584512966599319466*c_1001_9^12 - 17659827005071404915/15584512966599319466*c_1001_9^11 + 55269249400140901485/15584512966599319466*c_1001_9^10 - 28424738463860056246/7792256483299659733*c_1001_9^9 + 38376414761949302993/7792256483299659733*c_1001_9^8 - 1462701403122675194/458368028429391749*c_1001_9^7 + 48905989813367301222/7792256483299659733*c_1001_9^6 - 3298630483186372953/15584512966599319466*c_1001_9^5 + 172651177431663326717/15584512966599319466*c_1001_9^4 + 106989434987030798411/15584512966599319466*c_1001_9^3 + 141752180002197802543/15584512966599319466*c_1001_9^2 + 28439223628199988235/15584512966599319466*c_1001_9 + 5588614451932699806/7792256483299659733, c_0101_0 - 1, c_0101_5 + 108676361771085827/7792256483299659733*c_1001_9^13 + 135169319903861342/7792256483299659733*c_1001_9^12 + 3687242964709174637/7792256483299659733*c_1001_9^11 - 14923295077961725773/7792256483299659733*c_1001_9^10 + 23928129034982604942/7792256483299659733*c_1001_9^9 - 35325720906039186591/7792256483299659733*c_1001_9^8 + 2208149798996065090/458368028429391749*c_1001_9^7 - 43367295960533383488/7792256483299659733*c_1001_9^6 + 26616646284153062096/7792256483299659733*c_1001_9^5 - 44848612521945450185/7792256483299659733*c_1001_9^4 + 1169599727206170593/7792256483299659733*c_1001_9^3 - 22588457722163647041/7792256483299659733*c_1001_9^2 + 10386784146066113453/7792256483299659733*c_1001_9 - 948743030583820753/7792256483299659733, c_0110_10 + 143467182792181409/7792256483299659733*c_1001_9^13 + 764918714800107019/15584512966599319466*c_1001_9^12 + 10285341075653055641/15584512966599319466*c_1001_9^11 - 25422659244217449939/15584512966599319466*c_1001_9^10 + 4496609428877451304/7792256483299659733*c_1001_9^9 - 3050693855910116402/7792256483299659733*c_1001_9^8 - 745448395873389896/458368028429391749*c_1001_9^7 - 5538693852833917734/7792256483299659733*c_1001_9^6 - 49934662085119751239/15584512966599319466*c_1001_9^5 - 82953952387772426347/15584512966599319466*c_1001_9^4 - 109328634441443139597/15584512966599319466*c_1001_9^3 - 96575264557870508461/15584512966599319466*c_1001_9^2 - 49212791920332215141/15584512966599319466*c_1001_9 - 4639871421348879053/7792256483299659733, c_1001_0 + 273097974233679439/15584512966599319466*c_1001_9^13 + 361987534190422808/7792256483299659733*c_1001_9^12 + 4887557444240127215/7792256483299659733*c_1001_9^11 - 24418551926535271181/15584512966599319466*c_1001_9^10 + 4375817628494063284/7792256483299659733*c_1001_9^9 - 3954891772233368864/7792256483299659733*c_1001_9^8 - 404711674244194212/458368028429391749*c_1001_9^7 - 31875957541734320079/15584512966599319466*c_1001_9^6 - 6604459906905205509/7792256483299659733*c_1001_9^5 - 51325144627224146496/7792256483299659733*c_1001_9^4 - 45595817717071406167/7792256483299659733*c_1001_9^3 - 45477957666787514227/7792256483299659733*c_1001_9^2 - 45803793977288929137/15584512966599319466*c_1001_9 - 5659808551244193943/7792256483299659733, c_1001_3 + 72737106414013206/7792256483299659733*c_1001_9^13 + 136305694635460487/7792256483299659733*c_1001_9^12 + 2465930068940130153/7792256483299659733*c_1001_9^11 - 8525282043778416053/7792256483299659733*c_1001_9^10 + 7797682945249465369/7792256483299659733*c_1001_9^9 - 6031485897330214987/7792256483299659733*c_1001_9^8 + 179568528702466242/458368028429391749*c_1001_9^7 - 14131297591834745580/7792256483299659733*c_1001_9^6 + 10516901078682214923/7792256483299659733*c_1001_9^5 - 27271834099844323840/7792256483299659733*c_1001_9^4 - 2458973961671497225/7792256483299659733*c_1001_9^3 - 4891825987981781177/7792256483299659733*c_1001_9^2 + 7365589801812489265/7792256483299659733*c_1001_9 + 4375130014341991302/7792256483299659733, c_1001_9^14 + 2*c_1001_9^13 + 35*c_1001_9^12 - 111*c_1001_9^11 + 122*c_1001_9^10 - 159*c_1001_9^9 + 80*c_1001_9^8 - 161*c_1001_9^7 - 34*c_1001_9^6 - 319*c_1001_9^5 - 232*c_1001_9^4 - 296*c_1001_9^3 - 109*c_1001_9^2 - 56*c_1001_9 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB