Magma V2.19-8 Wed Aug 21 2013 00:05:05 on localhost [Seed = 3398214837] Type ? for help. Type -D to quit. Loading file "L9a22__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L9a22 geometric_solution 11.37352243 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 1 0 -1 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 1.093021595645 0.919072176495 0 5 2 6 0132 0132 2103 0132 0 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 0 0 0 0 0 1 -1 0 -1 0 1 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.905285795431 0.757740315103 1 0 3 7 2103 0132 0213 0132 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 0 0 0 0 0 -1 0 1 -1 0 1 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.672643463994 0.623229744989 8 2 4 0 0132 0213 0213 0132 1 0 0 1 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 1 0 -2 1 0 -1 0 1 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275739968077 0.430600466993 8 3 0 9 1302 0213 0132 0132 1 0 0 1 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 -2 2 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635546960867 0.420506831017 9 1 7 9 1302 0132 2103 2103 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 0 0 0 0 0 0 -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.237955861811 0.724777687587 8 10 1 10 2103 0132 0132 1302 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463242308406 1.001413195273 5 11 2 11 2103 0132 0132 0213 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 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.411906463862 0.628706719484 3 4 6 11 0132 2031 2103 1302 0 0 1 0 0 -1 0 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 2 0 -2 -1 0 0 1 5 -4 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393299826239 0.814433896480 10 5 4 5 0213 2031 0132 2103 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 -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.689000466833 0.655306090647 9 6 6 11 0213 0132 2031 3120 0 0 0 0 0 -1 0 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 2 0 -2 0 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 0 0.269905755106 0.754977261003 10 7 8 7 3120 0132 2031 0213 1 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 1 -1 -2 0 2 0 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411906463862 0.628706719484 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_4']), 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0011_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' : negation(d['c_0110_5']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : d['1'], 's_3_10' : 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_0011_9'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : negation(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_11'], 'c_1100_8' : d['c_0101_11'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0011_9'], 'c_1100_1' : d['c_0011_9'], 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_4']), 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : d['c_0011_4'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), '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_0110_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0011_3'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : negation(d['1']), 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0110_10']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_9']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : negation(d['c_0110_10']), 'c_0110_6' : negation(d['c_0101_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_9, c_0101_0, c_0101_11, c_0110_10, c_0110_5, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 5774302325990392060049136498625/466107437650295635171130479599*c_10\ 01_2^10 + 6358221205745442633576525708220/1553691458834318783903768\ 26533*c_1001_2^9 - 87338646669772535788117802863360/466107437650295\ 635171130479599*c_1001_2^8 + 215739835820568428417367299262313/4661\ 07437650295635171130479599*c_1001_2^7 - 511753284081367377144056845917773/466107437650295635171130479599*c_\ 1001_2^6 + 742609388373009689403137401499155/4661074376502956351711\ 30479599*c_1001_2^5 - 1341207046914572141263551635922574/4661074376\ 50295635171130479599*c_1001_2^4 + 107706752976607636282647612139215\ 1/466107437650295635171130479599*c_1001_2^3 - 924467127158831640355744141010113/466107437650295635171130479599*c_\ 1001_2^2 + 344639783743512357940028971059377/4661074376502956351711\ 30479599*c_1001_2 - 93205599344723747994839802807178/46610743765029\ 5635171130479599, c_0011_0 - 1, c_0011_10 - 12778770763629680913644425/1026468314782506867552848199*c_1\ 001_2^10 + 25182098847310269279866692/342156104927502289184282733*c\ _1001_2^9 - 308450835161799201015564376/102646831478250686755284819\ 9*c_1001_2^8 + 987365595453691375299463792/102646831478250686755284\ 8199*c_1001_2^7 - 2406106893891524269362084707/10264683147825068675\ 52848199*c_1001_2^6 + 4603237438386783962474669335/1026468314782506\ 867552848199*c_1001_2^5 - 7241090183821473691072189591/102646831478\ 2506867552848199*c_1001_2^4 + 9763965245780906349781057366/10264683\ 14782506867552848199*c_1001_2^3 - 8035730594353291050744433111/1026\ 468314782506867552848199*c_1001_2^2 + 4974619374132077074275988157/1026468314782506867552848199*c_1001_2 - 840422337362951838134420056/1026468314782506867552848199, c_0011_11 - 27064444902340171748518625/1026468314782506867552848199*c_1\ 001_2^10 + 30975568061181164263412495/342156104927502289184282733*c\ _1001_2^9 - 383760341452932075674158871/102646831478250686755284819\ 9*c_1001_2^8 + 953191834474570648651301621/102646831478250686755284\ 8199*c_1001_2^7 - 2027544258716541885031071814/10264683147825068675\ 52848199*c_1001_2^6 + 2643129028815570432214703531/1026468314782506\ 867552848199*c_1001_2^5 - 4117190474903709447496202969/102646831478\ 2506867552848199*c_1001_2^4 + 2630425217947169850178425236/10264683\ 14782506867552848199*c_1001_2^3 + 1217618455624521678319674121/1026\ 468314782506867552848199*c_1001_2^2 - 1233228147433004068981245311/1026468314782506867552848199*c_1001_2 + 1406129439388861908534233035/1026468314782506867552848199, c_0011_3 - 4964754054958376860475/1713636585613534002592401*c_1001_2^10 + 13890105907916825243324/571212195204511334197467*c_1001_2^9 - 182671956097960178537546/1713636585613534002592401*c_1001_2^8 + 642733992557151491033468/1713636585613534002592401*c_1001_2^7 - 1736648322242584708098898/1713636585613534002592401*c_1001_2^6 + 3657205955898706851265691/1713636585613534002592401*c_1001_2^5 - 6163100026231231838501195/1713636585613534002592401*c_1001_2^4 + 9001856250239740648853234/1713636585613534002592401*c_1001_2^3 - 9011030933885690806610459/1713636585613534002592401*c_1001_2^2 + 5373011673502652704468807/1713636585613534002592401*c_1001_2 - 2985867541544539399019705/1713636585613534002592401, c_0011_4 + 8282709009477187412725/1713636585613534002592401*c_1001_2^10 - 33311728807101424083814/571212195204511334197467*c_1001_2^9 + 403103067452223037766212/1713636585613534002592401*c_1001_2^8 - 1509031733534579968888861/1713636585613534002592401*c_1001_2^7 + 3927947620354166057956490/1713636585613534002592401*c_1001_2^6 - 8485765002588225800768596/1713636585613534002592401*c_1001_2^5 + 13393226623086642616613266/1713636585613534002592401*c_1001_2^4 - 20460800376370939279182889/1713636585613534002592401*c_1001_2^3 + 19194708249010501710665224/1713636585613534002592401*c_1001_2^2 - 11908417158036529794868220/1713636585613534002592401*c_1001_2 + 4506267303263671425591568/1713636585613534002592401, c_0011_9 + 3543434272048783169897275/1026468314782506867552848199*c_100\ 1_2^10 - 1287025302578793409664686/342156104927502289184282733*c_10\ 01_2^9 + 11330276871622461576347824/1026468314782506867552848199*c_\ 1001_2^8 + 36288796271085412006784108/1026468314782506867552848199*\ c_1001_2^7 - 201836154025452320050299472/10264683147825068675528481\ 99*c_1001_2^6 + 743601181982391873995459786/10264683147825068675528\ 48199*c_1001_2^5 - 1289598884520301817019198749/1026468314782506867\ 552848199*c_1001_2^4 + 2434505838268053611902245761/102646831478250\ 6867552848199*c_1001_2^3 - 3388220861229642223141204313/10264683147\ 82506867552848199*c_1001_2^2 + 2105210842415530635094044331/1026468\ 314782506867552848199*c_1001_2 - 410313829126210562597848406/102646\ 8314782506867552848199, c_0101_0 - 1, c_0101_11 - 38433722748929500138106000/1026468314782506867552848199*c_1\ 001_2^10 + 60365548326244810790050865/342156104927502289184282733*c\ _1001_2^9 - 768382625126119464538671242/102646831478250686755284819\ 9*c_1001_2^8 + 2267535449007734406344560067/10264683147825068675528\ 48199*c_1001_2^7 - 5492924726125933853370962614/1026468314782506867\ 552848199*c_1001_2^6 + 9794061274634632937653375499/102646831478250\ 6867552848199*c_1001_2^5 - 15984548703198340458944522519/1026468314\ 782506867552848199*c_1001_2^4 + 19387125635197546325819232407/10264\ 68314782506867552848199*c_1001_2^3 - 16154288553547821778081092479/1026468314782506867552848199*c_1001_2\ ^2 + 9300312829405152604359775228/1026468314782506867552848199*c_10\ 01_2 - 2783084580692046026407562813/1026468314782506867552848199, c_0110_10 - 13851142771675694611397950/342156104927502289184282733*c_10\ 01_2^10 + 19297643773804614634535203/114052034975834096394760911*c_\ 1001_2^9 - 237434368397949212773589662/342156104927502289184282733*\ c_1001_2^8 + 658478877350562430927190596/34215610492750228918428273\ 3*c_1001_2^7 - 1496553827513511158925364874/34215610492750228918428\ 2733*c_1001_2^6 + 2397467429662083671692161745/34215610492750228918\ 4282733*c_1001_2^5 - 3735860211544576901729652814/34215610492750228\ 9184282733*c_1001_2^4 + 3952675003837734508495791199/34215610492750\ 2289184282733*c_1001_2^3 - 1992206221269261682973132668/34215610492\ 7502289184282733*c_1001_2^2 + 777552398100003903182244629/342156104\ 927502289184282733*c_1001_2 + 63178120828654609157209811/3421561049\ 27502289184282733, c_0110_5 + 6847432543177003177300/1713636585613534002592401*c_1001_2^10 - 1318760477626087185982/571212195204511334197467*c_1001_2^9 + 30245323487451945579634/1713636585613534002592401*c_1001_2^8 + 43324098400786297397948/1713636585613534002592401*c_1001_2^7 - 224789485268181533494120/1713636585613534002592401*c_1001_2^6 + 962089081728008613646898/1713636585613534002592401*c_1001_2^5 - 1323464607754578467606822/1713636585613534002592401*c_1001_2^4 + 3104735473159231496515421/1713636585613534002592401*c_1001_2^3 - 3497543510305782029225252/1713636585613534002592401*c_1001_2^2 + 413867564308940544978355/1713636585613534002592401*c_1001_2 - 1346615876950902312129641/1713636585613534002592401, c_1001_0 - 1493903711474883100675/190404065068170444732489*c_1001_2^10 + 3394595811349032456542/63468021689390148244163*c_1001_2^9 - 40441762278919136966572/190404065068170444732489*c_1001_2^8 + 132354156739003989820291/190404065068170444732489*c_1001_2^7 - 322841497075300043305109/190404065068170444732489*c_1001_2^6 + 612234448625948860400983/190404065068170444732489*c_1001_2^5 - 920683026200346487835578/190404065068170444732489*c_1001_2^4 + 1254101670644772834682486/190404065068170444732489*c_1001_2^3 - 961346897175199168358800/190404065068170444732489*c_1001_2^2 + 384013070623016216931470/190404065068170444732489*c_1001_2 - 165372583092539293213948/190404065068170444732489, c_1001_2^11 - 113/25*c_1001_2^10 + 484/25*c_1001_2^9 - 282/5*c_1001_2^8 + 3427/25*c_1001_2^7 - 6083/25*c_1001_2^6 + 10122/25*c_1001_2^5 - 12249/25*c_1001_2^4 + 10674/25*c_1001_2^3 - 6931/25*c_1001_2^2 + 544/5*c_1001_2 - 599/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.200 Total time: 0.410 seconds, Total memory usage: 32.09MB