Magma V2.19-8 Wed Aug 21 2013 00:58:28 on localhost [Seed = 998056379] Type ? for help. Type -D to quit. Loading file "L13n5558__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5558 geometric_solution 12.41722390 oriented_manifold CS_known 0.0000000000000002 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 0 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.839861283218 0.605705295885 0 2 6 5 0132 0321 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 -1 1 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.657314168109 0.593927564078 7 0 8 1 0132 0132 0132 0321 1 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 -1 0 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771473476647 1.065886397517 9 8 10 0 0132 3012 0132 0132 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.194857654086 0.919247817533 7 11 0 12 2031 0132 0132 0132 1 1 0 0 0 -1 0 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 3 1 -4 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671904349376 0.609948100983 6 8 1 12 1302 3201 0132 2103 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 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.271106006176 0.903550923484 9 5 10 1 2031 2031 0321 0132 1 1 0 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 0 0 -1 1 0 -1 0 1 4 -1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456723445673 0.961930094642 2 11 4 9 0132 1023 1302 0321 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -2 0 0 2 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362442550534 0.547159856209 3 11 5 2 1230 0321 2310 0132 1 0 0 1 0 0 0 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 0 0 0 0 0 0 0 -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.561554405451 1.003442217581 3 7 6 12 0132 0321 1302 2031 1 1 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 -4 4 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351090794744 0.884493065229 11 12 6 3 2031 2031 0321 0132 1 1 0 1 0 0 0 0 1 0 -1 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 0 0 0 -3 0 3 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459153365087 0.670443823903 7 4 10 8 1023 0132 1302 0321 1 1 0 0 0 1 -1 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 -3 3 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 1.070242200551 0.918972210178 10 9 4 5 1302 1302 0132 2103 1 1 1 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 -4 4 0 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.459153365087 0.670443823903 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_3'], 'c_1001_10' : negation(d['c_0110_12']), 'c_1001_12' : d['c_0101_3'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_8']), 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0011_12'], 's_0_10' : 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_0011_10']), 'c_0101_10' : d['c_0101_10'], '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_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_12']), 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_0110_12']), 'c_1100_1' : negation(d['c_0110_12']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_0011_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0110_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_8']), 'c_1010_2' : negation(d['c_0101_8']), 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_5'], '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_0110_5']), '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_3']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], '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_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_0'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_6']), 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : negation(d['c_0011_6']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_5, c_0011_6, c_0101_1, c_0101_10, c_0101_3, c_0101_8, c_0110_12, c_0110_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 1522830775452507753894462929261067/57585709797534235326419127029804\ *c_1001_2^11 - 194763730541511247441290199230307924/197231056056554\ 7559929855100770787*c_1001_2^10 + 261223496063503499745425720385063\ 871/7889242242262190239719420403083148*c_1001_2^9 + 308079761221088613692858964205378595/197231056056554755992985510077\ 0787*c_1001_2^8 - 366652783592619519012503410425399041/788924224226\ 2190239719420403083148*c_1001_2^7 - 529483785440891294419245843836374563/788924224226219023971942040308\ 3148*c_1001_2^6 + 124266743946209490573092814687947046/197231056056\ 5547559929855100770787*c_1001_2^5 + 2057369340973551146282638059590962685/78892422422621902397194204030\ 83148*c_1001_2^4 + 1932936661731553714796523250111598091/7889242242\ 262190239719420403083148*c_1001_2^3 + 1298134938430835141605768202262099165/78892422422621902397194204030\ 83148*c_1001_2^2 + 1072101435075320236453201841374994399/7889242242\ 262190239719420403083148*c_1001_2 + 125656236767658600606195558291650855/394462112113109511985971020154\ 1574, c_0011_0 - 1, c_0011_10 - 1125878524025793455322700/1680231575789319365541731*c_1001_\ 2^11 + 10682014542091328663560603/3360463151578638731083462*c_1001_\ 2^10 - 11589220935699319069183607/3360463151578638731083462*c_1001_\ 2^9 - 4335421571260692137322428/1680231575789319365541731*c_1001_2^\ 8 + 6645347951311042574301950/1680231575789319365541731*c_1001_2^7 + 5616082896506436108445035/3360463151578638731083462*c_1001_2^6 - 11904050711489266003090303/3360463151578638731083462*c_1001_2^5 - 16934004058768762086438665/3360463151578638731083462*c_1001_2^4 - 1942339395043477597499153/3360463151578638731083462*c_1001_2^3 + 9605185065844526929442947/3360463151578638731083462*c_1001_2^2 + 3843822257345918031326489/3360463151578638731083462*c_1001_2 + 2494533219609896712803063/1680231575789319365541731, c_0011_12 + 387806749738157263684175/3360463151578638731083462*c_1001_2\ ^11 + 269976950692460583831608/1680231575789319365541731*c_1001_2^1\ 0 - 7159530382207361841957489/3360463151578638731083462*c_1001_2^9 + 2710440181060738182531404/1680231575789319365541731*c_1001_2^8 + 10579601113719980656676401/3360463151578638731083462*c_1001_2^7 - 759437886033110870565247/1680231575789319365541731*c_1001_2^6 - 5270727601200285131986613/1680231575789319365541731*c_1001_2^5 + 4230179672326182453430424/1680231575789319365541731*c_1001_2^4 + 12401684786279242863498014/1680231575789319365541731*c_1001_2^3 + 10858284920277568773333981/1680231575789319365541731*c_1001_2^2 + 6839798588847633141732123/3360463151578638731083462*c_1001_2 + 399038410462750880283641/1680231575789319365541731, c_0011_3 + 2860962423254180245019140/1680231575789319365541731*c_1001_2\ ^11 - 20057915684408666975794501/3360463151578638731083462*c_1001_2\ ^10 + 1174769953436977871787776/1680231575789319365541731*c_1001_2^\ 9 + 33407663568619696123473917/3360463151578638731083462*c_1001_2^8 + 2488107022768628158940186/1680231575789319365541731*c_1001_2^7 - 21039053734639238967114247/3360463151578638731083462*c_1001_2^6 + 1046159589452365499398455/1680231575789319365541731*c_1001_2^5 + 30171631945436749246959001/1680231575789319365541731*c_1001_2^4 + 37802451635052229076265898/1680231575789319365541731*c_1001_2^3 + 22592372620793801283837091/1680231575789319365541731*c_1001_2^2 + 9146820886182787380548709/1680231575789319365541731*c_1001_2 + 3308651825363755489483109/3360463151578638731083462, c_0011_5 + 1970968919603182335125889/3360463151578638731083462*c_1001_2\ ^11 - 2258270375941843363849292/1680231575789319365541731*c_1001_2^\ 10 - 4212094505523099670641856/1680231575789319365541731*c_1001_2^9 + 15518245628297033405807215/3360463151578638731083462*c_1001_2^8 + 14891643910061431990324339/3360463151578638731083462*c_1001_2^7 - 4532803030217186984461517/1680231575789319365541731*c_1001_2^6 - 9863594963162487901069527/3360463151578638731083462*c_1001_2^5 + 25001699205891216559440071/3360463151578638731083462*c_1001_2^4 + 51932641264502167746393997/3360463151578638731083462*c_1001_2^3 + 38336826758681539878898167/3360463151578638731083462*c_1001_2^2 + 5542257570650399686267673/1680231575789319365541731*c_1001_2 + 1819657739396531049646887/3360463151578638731083462, c_0011_6 + 1, c_0101_1 - 1940341932676638655755567/1680231575789319365541731*c_1001_2\ ^11 + 7327056515073326469594311/1680231575789319365541731*c_1001_2^\ 10 - 6112628507845921970707723/3360463151578638731083462*c_1001_2^9 - 18372715075230693403084799/3360463151578638731083462*c_1001_2^8 - 739542153989882345670884/1680231575789319365541731*c_1001_2^7 + 6765854815307567796570157/1680231575789319365541731*c_1001_2^6 - 2521205461452908045107921/3360463151578638731083462*c_1001_2^5 - 40161410798111954507571095/3360463151578638731083462*c_1001_2^4 - 43909276124698503080606929/3360463151578638731083462*c_1001_2^3 - 18804127965969910070398455/3360463151578638731083462*c_1001_2^2 - 8013425562436229473847953/3360463151578638731083462*c_1001_2 - 706359191602176714578001/3360463151578638731083462, c_0101_10 - 412826063245177820589568/1680231575789319365541731*c_1001_2\ ^11 + 2537367639463684613085467/3360463151578638731083462*c_1001_2^\ 10 + 757799343618518012179739/1680231575789319365541731*c_1001_2^9 - 7785561275662865036791751/3360463151578638731083462*c_1001_2^8 + 189760582696284692366823/1680231575789319365541731*c_1001_2^7 + 3927663357939450171433963/3360463151578638731083462*c_1001_2^6 - 494935851299653202368795/1680231575789319365541731*c_1001_2^5 - 5032936503569900271742582/1680231575789319365541731*c_1001_2^4 - 6117504059556785137467451/1680231575789319365541731*c_1001_2^3 - 3509373692280338090186779/1680231575789319365541731*c_1001_2^2 - 1406691735813079803999391/1680231575789319365541731*c_1001_2 - 2064206953664138641796677/3360463151578638731083462, c_0101_3 - 2763383505906594360008532/1680231575789319365541731*c_1001_2\ ^11 + 10126680519538505958421107/1680231575789319365541731*c_1001_2\ ^10 - 5378734286570615565058759/3360463151578638731083462*c_1001_2^\ 9 - 30948802774702887392423013/3360463151578638731083462*c_1001_2^8 - 1934541070719028006808404/1680231575789319365541731*c_1001_2^7 + 13180175859999933079978888/1680231575789319365541731*c_1001_2^6 - 4698967170041556346099473/3360463151578638731083462*c_1001_2^5 - 61677101535116351937517869/3360463151578638731083462*c_1001_2^4 - 62551197454261827982786869/3360463151578638731083462*c_1001_2^3 - 28134193263654546468786819/3360463151578638731083462*c_1001_2^2 - 7798833790728157652384013/3360463151578638731083462*c_1001_2 - 318786656174127178465573/3360463151578638731083462, c_0101_8 + 5432939477995735716764883/3360463151578638731083462*c_1001_2\ ^11 - 10580779682990769394016491/1680231575789319365541731*c_1001_2\ ^10 + 5318099122680429675340058/1680231575789319365541731*c_1001_2^\ 9 + 25984738619736568552426665/3360463151578638731083462*c_1001_2^8 - 797748674724706222876959/3360463151578638731083462*c_1001_2^7 - 11403113461687010583677733/1680231575789319365541731*c_1001_2^6 + 6987665099990813371745875/3360463151578638731083462*c_1001_2^5 + 57759779201192208827035905/3360463151578638731083462*c_1001_2^4 + 52521456220783353413011371/3360463151578638731083462*c_1001_2^3 + 18152337801814573406848357/3360463151578638731083462*c_1001_2^2 + 2296004574267473956167241/1680231575789319365541731*c_1001_2 - 2228931706139814353595267/3360463151578638731083462, c_0110_12 - 583271698287989284975144/1680231575789319365541731*c_1001_2\ ^11 + 1320085444223093761187264/1680231575789319365541731*c_1001_2^\ 10 + 2704430631991685328640292/1680231575789319365541731*c_1001_2^9 - 5210504028456492216984869/1680231575789319365541731*c_1001_2^8 - 4203493076791514106702883/1680231575789319365541731*c_1001_2^7 + 3747610508484389218965761/1680231575789319365541731*c_1001_2^6 + 2198606605985960366749965/1680231575789319365541731*c_1001_2^5 - 7911683140868290160515310/1680231575789319365541731*c_1001_2^4 - 14823605879835396853106896/1680231575789319365541731*c_1001_2^3 - 10191184757170024784241507/1680231575789319365541731*c_1001_2^2 - 3488598863654184427492335/1680231575789319365541731*c_1001_2 - 500567411182697900903998/1680231575789319365541731, c_0110_5 + 804425523027203765175601/3360463151578638731083462*c_1001_2^\ 11 - 938184931718749602662028/1680231575789319365541731*c_1001_2^10 - 1507663873531414342001564/1680231575789319365541731*c_1001_2^9 + 5097237571384048971837477/3360463151578638731083462*c_1001_2^8 + 6484657756478403776918573/3360463151578638731083462*c_1001_2^7 - 785192521732797765495756/1680231575789319365541731*c_1001_2^6 - 5466381751190567167569597/3360463151578638731083462*c_1001_2^5 + 9178332924154636238409451/3360463151578638731083462*c_1001_2^4 + 22285429504831374040180205/3360463151578638731083462*c_1001_2^3 + 17954457244341490310415153/3360463151578638731083462*c_1001_2^2 + 3733890282785534624317069/1680231575789319365541731*c_1001_2 + 818522917031135247838891/3360463151578638731083462, c_1001_2^12 - 478/137*c_1001_2^11 + 78/137*c_1001_2^10 + 674/137*c_1001_2^9 + 238/137*c_1001_2^8 - 392/137*c_1001_2^7 - 35/137*c_1001_2^6 + 1390/137*c_1001_2^5 + 1904/137*c_1001_2^4 + 1322/137*c_1001_2^3 + 677/137*c_1001_2^2 + 156/137*c_1001_2 + 61/137 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB