Magma V2.19-8 Tue Aug 20 2013 23:39:24 on localhost [Seed = 1831536949] Type ? for help. Type -D to quit. Loading file "K13n3582__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3582 geometric_solution 9.27958740 oriented_manifold CS_known -0.0000000000000001 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 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 1 0 -1 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.705696039884 0.346733241915 0 2 6 5 0132 0321 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 -1 0 -1 0 1 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.485770725456 0.915431204178 4 0 3 1 3201 0132 0213 0321 0 0 0 0 0 0 0 0 -1 0 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 1 0 -1 6 0 -6 0 -1 6 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842900494897 0.531652962174 5 2 4 0 0132 0213 0213 0132 0 0 0 0 0 0 0 0 -1 0 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 5 0 -6 1 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.588402100001 0.700001378045 7 3 0 2 0132 0213 0132 2310 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 -1 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.118850842706 0.694978285918 3 6 1 8 0132 0132 0132 0132 0 0 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 -5 0 0 5 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.769616519724 1.120823076037 7 5 9 1 2031 0132 0132 0132 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 -1 1 0 0 1 -1 -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.219194055259 0.223253231106 4 10 6 10 0132 0132 1302 1023 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 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.692541287333 1.073680549351 10 9 5 10 0213 0132 0132 1302 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 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.825890870946 0.447644670564 9 8 9 6 2310 0132 3201 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 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.804634584359 1.143246574192 8 7 8 7 0213 0132 2031 1023 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 -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.343272336843 0.383187843433 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0110_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : d['c_1001_6'], 'c_1010_10' : d['c_0101_1'], '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_0011_8'], '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' : negation(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' : 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_8'], 'c_1100_8' : d['c_0011_8'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0011_8'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_1001_0'], 'c_1100_10' : negation(d['c_0101_6']), 'c_1010_7' : d['c_0110_10'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_6'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_6'], 'c_1010_8' : d['c_0101_6'], 's_3_1' : d['1'], 's_3_0' : negation(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' : d['1'], 's_1_4' : negation(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_8']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_3'], '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_0110_10' : d['c_0110_10'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : negation(d['c_0110_10']), '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_0011_0'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_8, c_0101_0, c_0101_1, c_0101_6, c_0110_10, c_1001_0, c_1001_2, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 44046001363034716027186751248/18869725943379955247485058936675*c_10\ 01_6^14 + 86251073213607465378383064369/377394518867599104949701178\ 73350*c_1001_6^13 + 30919977543423218080667322657/37739451886759910\ 494970117873350*c_1001_6^12 + 1041173879447708241060421238061/37739\ 451886759910494970117873350*c_1001_6^11 - 233850654766306957935804035537/18869725943379955247485058936675*c_1\ 001_6^10 + 129065832011246231658456885897/7547890377351982098994023\ 574670*c_1001_6^9 - 31250673378864074660769689168/75478903773519820\ 9899402357467*c_1001_6^8 + 5671240165767183873813906067507/37739451\ 886759910494970117873350*c_1001_6^7 - 221136487951033701101249890266/539135026953713007071001683905*c_100\ 1_6^6 + 1573376024956967234723695889492/188697259433799552474850589\ 36675*c_1001_6^5 - 1178015527591324802158749285566/7547890377351982\ 09899402357467*c_1001_6^4 + 1790593979364033002267356846713/1640845\ 734206952630216092081450*c_1001_6^3 - 8548201303116993736385693081/4308648462924981218743020650*c_1001_6^\ 2 + 10113106111859077533462783987429/188697259433799552474850589366\ 75*c_1001_6 - 4816011522982664256993033701589/377394518867599104949\ 70117873350, c_0011_0 - 1, c_0011_10 + 71218070601726215544/12799902444862630952669*c_1001_6^14 - 70267631849081293897/12799902444862630952669*c_1001_6^13 + 94606961562741599284/12799902444862630952669*c_1001_6^12 - 876897021314879440996/12799902444862630952669*c_1001_6^11 + 742200632597350594940/12799902444862630952669*c_1001_6^10 - 1050342372017709917679/12799902444862630952669*c_1001_6^9 + 1581597745209767320446/12799902444862630952669*c_1001_6^8 - 8395229446783702361830/12799902444862630952669*c_1001_6^7 + 2820673525744137432021/12799902444862630952669*c_1001_6^6 - 18551177600956114351047/12799902444862630952669*c_1001_6^5 + 26777764066957179055176/12799902444862630952669*c_1001_6^4 - 80801100566610296711777/12799902444862630952669*c_1001_6^3 + 17473139569863889988/27765515064777941329*c_1001_6^2 - 122728423958147784861895/12799902444862630952669*c_1001_6 + 25290952370257834219719/12799902444862630952669, c_0011_3 - 85122471025454765/27765515064777941329*c_1001_6^14 + 98659731416380512/27765515064777941329*c_1001_6^13 - 109799868541559479/27765515064777941329*c_1001_6^12 + 980466925933387679/27765515064777941329*c_1001_6^11 - 1013472507191005779/27765515064777941329*c_1001_6^10 + 1328879942249550507/27765515064777941329*c_1001_6^9 - 1310728002531147434/27765515064777941329*c_1001_6^8 + 9800643669371565915/27765515064777941329*c_1001_6^7 - 5303364078658580061/27765515064777941329*c_1001_6^6 + 21087538491238124913/27765515064777941329*c_1001_6^5 - 27830731468250687605/27765515064777941329*c_1001_6^4 + 89315424271828997003/27765515064777941329*c_1001_6^3 - 12642984962909049069/27765515064777941329*c_1001_6^2 + 115593644034380287901/27765515064777941329*c_1001_6 - 3163818728651295304/27765515064777941329, c_0011_8 + 293439502947671250702/63999512224313154763345*c_1001_6^14 - 184124208244179589838/63999512224313154763345*c_1001_6^13 + 210802935432006661511/63999512224313154763345*c_1001_6^12 - 3661519562512966349967/63999512224313154763345*c_1001_6^11 + 2254464060390637119058/63999512224313154763345*c_1001_6^10 - 591161981521044648264/12799902444862630952669*c_1001_6^9 + 1269766209819630969629/12799902444862630952669*c_1001_6^8 - 34992393167331885619699/63999512224313154763345*c_1001_6^7 + 738250384834383236428/12799902444862630952669*c_1001_6^6 - 64260291783417579951608/63999512224313154763345*c_1001_6^5 + 18723537442093593341785/12799902444862630952669*c_1001_6^4 - 307858166983395880879648/63999512224313154763345*c_1001_6^3 - 64240383072064129132/138827575323889706645*c_1001_6^2 - 470874402995314548054096/63999512224313154763345*c_1001_6 + 124455863125684090202308/63999512224313154763345, c_0101_0 - 129504000014229704574/63999512224313154763345*c_1001_6^14 - 44898916022366137214/63999512224313154763345*c_1001_6^13 + 256639903218131317558/63999512224313154763345*c_1001_6^12 + 1055414131524648636669/63999512224313154763345*c_1001_6^11 + 509002182591766304124/63999512224313154763345*c_1001_6^10 - 347869023624265728007/12799902444862630952669*c_1001_6^9 + 485190588613797718789/12799902444862630952669*c_1001_6^8 + 11894377952261036232683/63999512224313154763345*c_1001_6^7 + 2358112581618465052633/12799902444862630952669*c_1001_6^6 + 6341428185095218639551/63999512224313154763345*c_1001_6^5 + 2980378933539870160032/12799902444862630952669*c_1001_6^4 + 53731653164733336406561/63999512224313154763345*c_1001_6^3 + 416448180048104650439/138827575323889706645*c_1001_6^2 + 70467517237197868810022/63999512224313154763345*c_1001_6 + 154500527049419662438804/63999512224313154763345, c_0101_1 + 42771913301896326150/12799902444862630952669*c_1001_6^14 - 45632453941738345622/12799902444862630952669*c_1001_6^13 + 66126207384371610477/12799902444862630952669*c_1001_6^12 - 550833318339763929133/12799902444862630952669*c_1001_6^11 + 517519657804329463744/12799902444862630952669*c_1001_6^10 - 766247598358015967779/12799902444862630952669*c_1001_6^9 + 1145712113021791895433/12799902444862630952669*c_1001_6^8 - 5265271231378517456646/12799902444862630952669*c_1001_6^7 + 2531968006045954369223/12799902444862630952669*c_1001_6^6 - 11730183553822398118287/12799902444862630952669*c_1001_6^5 + 17781103648475483151159/12799902444862630952669*c_1001_6^4 - 52261886004423587247468/12799902444862630952669*c_1001_6^3 + 32062936904258493751/27765515064777941329*c_1001_6^2 - 72913788165961597059205/12799902444862630952669*c_1001_6 + 26554004766930886072228/12799902444862630952669, c_0101_6 + 334585486210808429564/63999512224313154763345*c_1001_6^14 - 315110182757224258576/63999512224313154763345*c_1001_6^13 + 310193849580073678257/63999512224313154763345*c_1001_6^12 - 4141360447322251794504/63999512224313154763345*c_1001_6^11 + 3628195841232343966161/63999512224313154763345*c_1001_6^10 - 762035697740441462118/12799902444862630952669*c_1001_6^9 + 1411576336418085063170/12799902444862630952669*c_1001_6^8 - 39631470951764311939593/63999512224313154763345*c_1001_6^7 + 2762677652116526821294/12799902444862630952669*c_1001_6^6 - 77060040641378271079486/63999512224313154763345*c_1001_6^5 + 23910740854948037966328/12799902444862630952669*c_1001_6^4 - 360977735945990830088581/63999512224313154763345*c_1001_6^3 + 108519650064240160006/138827575323889706645*c_1001_6^2 - 463540402577538220437382/63999512224313154763345*c_1001_6 + 129845531482811958618951/63999512224313154763345, c_0110_10 - 524715503010469836478/63999512224313154763345*c_1001_6^14 + 566863271421584749357/63999512224313154763345*c_1001_6^13 - 430037146395711710464/63999512224313154763345*c_1001_6^12 + 5989805042065078950093/63999512224313154763345*c_1001_6^11 - 5912109415558357415147/63999512224313154763345*c_1001_6^10 + 1169853769368745012933/12799902444862630952669*c_1001_6^9 - 1662063568590734164844/12799902444862630952669*c_1001_6^8 + 58861191647620749077621/63999512224313154763345*c_1001_6^7 - 5545289468846496617974/12799902444862630952669*c_1001_6^6 + 121445067716434347135362/63999512224313154763345*c_1001_6^5 - 34179872756037722433852/12799902444862630952669*c_1001_6^4 + 517348683083266841967932/63999512224313154763345*c_1001_6^3 - 119417104471266576137/138827575323889706645*c_1001_6^2 + 677656375907278449139909/63999512224313154763345*c_1001_6 - 181928900005610205232832/63999512224313154763345, c_1001_0 - 61705330368394554/27765515064777941329*c_1001_6^14 + 53438563790331775/27765515064777941329*c_1001_6^13 - 61780377827266787/27765515064777941329*c_1001_6^12 + 707296535737777683/27765515064777941329*c_1001_6^11 - 487377385668158636/27765515064777941329*c_1001_6^10 + 616257643513435900/27765515064777941329*c_1001_6^9 - 945521978715781833/27765515064777941329*c_1001_6^8 + 6789497213460270944/27765515064777941329*c_1001_6^7 - 626259261818184518/27765515064777941329*c_1001_6^6 + 14796082531743419160/27765515064777941329*c_1001_6^5 - 19515532361131661397/27765515064777941329*c_1001_6^4 + 61907189939667482569/27765515064777941329*c_1001_6^3 + 14589797334394603763/27765515064777941329*c_1001_6^2 + 80292263226298387961/27765515064777941329*c_1001_6 + 2739809971091218769/27765515064777941329, c_1001_2 + 22934847328922625/27765515064777941329*c_1001_6^14 - 26266140441668674/27765515064777941329*c_1001_6^13 - 9247864063076933/27765515064777941329*c_1001_6^12 - 259431033480784401/27765515064777941329*c_1001_6^11 + 338339564355777522/27765515064777941329*c_1001_6^10 - 109580039996385774/27765515064777941329*c_1001_6^9 + 245450762198106732/27765515064777941329*c_1001_6^8 - 2816127875175419549/27765515064777941329*c_1001_6^7 + 3234394105482006723/27765515064777941329*c_1001_6^6 - 2480911924381219612/27765515064777941329*c_1001_6^5 + 7248285413929729450/27765515064777941329*c_1001_6^4 - 24956475872334272000/27765515064777941329*c_1001_6^3 + 8882401281772831390/27765515064777941329*c_1001_6^2 - 15432501678593372864/27765515064777941329*c_1001_6 + 31782397359601156929/27765515064777941329, c_1001_6^15 - c_1001_6^14 + c_1001_6^13 - 12*c_1001_6^12 + 11*c_1001_6^11 - 13*c_1001_6^10 + 20*c_1001_6^9 - 117*c_1001_6^8 + 49*c_1001_6^7 - 244*c_1001_6^6 + 348*c_1001_6^5 - 1069*c_1001_6^4 + 152*c_1001_6^3 - 1486*c_1001_6^2 + 460*c_1001_6 - 133 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.430 seconds, Total memory usage: 32.09MB