Magma V2.19-8 Tue Aug 20 2013 23:48:53 on localhost [Seed = 2295259670] Type ? for help. Type -D to quit. Loading file "L12n1104__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1104 geometric_solution 10.87296698 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 0 1 0 -1 0 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 -3 1 2 3 0 -3 0 -2 3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.003994465683 0.739559004570 0 5 2 6 0132 0132 1023 0132 1 1 1 0 0 0 0 0 -1 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 -3 0 3 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 -0.049223740156 1.284571528649 7 0 1 8 0132 0132 1023 0132 1 1 1 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 3 -3 0 0 0 0 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 0.088370090457 1.274126453870 9 8 6 0 0132 3012 3201 0132 1 1 1 1 0 0 0 0 -1 0 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 1 0 -1 -3 0 0 3 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.345533465272 1.670097168132 10 10 0 6 0132 1302 0132 3201 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 2 -2 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.738908322925 0.917049315737 7 1 9 11 1023 0132 0132 0132 1 1 0 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 0 0 0 0 0 0 0 0 1 -1 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.751000779057 0.851706018273 3 4 1 8 2310 2310 0132 1023 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.304173619094 0.600564733042 2 5 8 11 0132 1023 2310 2031 1 1 0 1 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 0 -2 2 0 0 -1 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531559101491 0.493405612094 3 7 2 6 1230 3201 0132 1023 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383621292143 0.819383276584 3 10 11 5 0132 0213 1230 0132 1 1 1 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 3 0 -2 -1 2 -2 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531342861797 1.001012794025 4 11 9 4 0132 2031 0213 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 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.287182711358 1.008690556103 10 7 5 9 1302 1302 0132 3012 1 1 1 0 0 0 0 0 0 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 -1 0 1 -1 0 1 0 0 -2 0 2 1 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444615536795 0.386342252156 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : negation(d['c_0110_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_7']), 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0110_11']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_3']), '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_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' : d['c_0110_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_11'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_11'], 'c_1100_10' : d['c_1001_5'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_1001_5']), 'c_1010_3' : negation(d['c_0101_7']), 'c_1010_2' : negation(d['c_0101_7']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0101_3']), 'c_1100_8' : negation(d['c_1100_1']), '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'], '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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0101_7'], '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' : d['c_0011_8'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} 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_3, c_0011_6, c_0011_8, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_0110_11, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 944617533154634811805767719394502826/247746039601593430935146694599\ 314685*c_1100_1^11 - 141072302558970281899210694608638763/186978143\ 09554221202652580724476580*c_1100_1^10 - 700359081474061728944879157358473917/116586371577220438087127856282\ 03044*c_1100_1^9 - 45340146249034783887465379488006490833/495492079\ 203186861870293389198629370*c_1100_1^8 + 6874273698117194587710876758805190707/12869924135147710697929698420\ 743620*c_1100_1^7 - 1352306876944526190586531238833110095519/990984\ 158406373723740586778397258740*c_1100_1^6 - 25022692010535046720636953747137837997/4954920792031868618702933891\ 9862937*c_1100_1^5 + 3355892354154790146173293511714802813901/99098\ 4158406373723740586778397258740*c_1100_1^4 - 31512294900292182745808033690744052731/7078458274331240883861334131\ 4089910*c_1100_1^3 - 1917943846775156715650531539034179912301/99098\ 4158406373723740586778397258740*c_1100_1^2 + 86491166949642432801491373598240853133/7078458274331240883861334131\ 4089910*c_1100_1 - 400108974118108401075672750095158787807/99098415\ 8406373723740586778397258740, c_0011_0 - 1, c_0011_10 + 1366414526125232749022676/69739500757318603335148441*c_1100\ _1^11 + 9748579850183517612033879/139479001514637206670296882*c_110\ 0_1^10 + 55037718672248398426664319/139479001514637206670296882*c_1\ 100_1^9 + 142957299299245132542792267/139479001514637206670296882*c\ _1100_1^8 - 219001566694245220235127057/139479001514637206670296882\ *c_1100_1^7 + 245782987964445628462540209/6973950075731860333514844\ 1*c_1100_1^6 + 762846403915849492208682814/697395007573186033351484\ 41*c_1100_1^5 - 896562948035641680961998275/13947900151463720667029\ 6882*c_1100_1^4 - 1230560396722680234507255798/69739500757318603335\ 148441*c_1100_1^3 - 169629089964839324993265598/6973950075731860333\ 5148441*c_1100_1^2 + 197758556563349084724657631/139479001514637206\ 670296882*c_1100_1 - 120537065374545832479467588/697395007573186033\ 35148441, c_0011_3 + 101325413555022959575996/69739500757318603335148441*c_1100_1\ ^11 - 2990514253480310579462571/139479001514637206670296882*c_1100_\ 1^10 - 6229732315760444562137711/139479001514637206670296882*c_1100\ _1^9 - 27930212403099714229620705/69739500757318603335148441*c_1100\ _1^8 - 157927249653411110844681609/139479001514637206670296882*c_11\ 00_1^7 + 448192902435846428466363839/139479001514637206670296882*c_\ 1100_1^6 - 440798355608585902584503216/69739500757318603335148441*c\ _1100_1^5 - 1384028245184277010606582965/13947900151463720667029688\ 2*c_1100_1^4 + 1088614341350900105288629673/69739500757318603335148\ 441*c_1100_1^3 + 1379956390603310187508036551/139479001514637206670\ 296882*c_1100_1^2 - 411980223334312992289720540/6973950075731860333\ 5148441*c_1100_1 + 447658569833828534719550799/13947900151463720667\ 0296882, c_0011_6 + 7091807161692791309509132/69739500757318603335148441*c_1100_\ 1^11 + 38815365488211212719095329/139479001514637206670296882*c_110\ 0_1^10 + 252816748918579653852250287/139479001514637206670296882*c_\ 1100_1^9 + 265760567145197946813786340/69739500757318603335148441*c\ _1100_1^8 - 1586212171842864010887795415/13947900151463720667029688\ 2*c_1100_1^7 + 3866256174274552456798134545/13947900151463720667029\ 6882*c_1100_1^6 + 2401589684451257301035133783/69739500757318603335\ 148441*c_1100_1^5 - 8947277067527896933104864071/139479001514637206\ 670296882*c_1100_1^4 - 2604804762497283669876976218/697395007573186\ 03335148441*c_1100_1^3 + 3154840206427951697934012467/1394790015146\ 37206670296882*c_1100_1^2 - 1037491669865143522505428552/6973950075\ 7318603335148441*c_1100_1 + 215831312753089915120532967/13947900151\ 4637206670296882, c_0011_8 - 1, c_0101_1 - 1578299239518221559029636/69739500757318603335148441*c_1100_\ 1^11 - 8714646171727269523624483/139479001514637206670296882*c_1100\ _1^10 - 28388035058523340743548997/69739500757318603335148441*c_110\ 0_1^9 - 120329253768090667116644273/139479001514637206670296882*c_1\ 100_1^8 + 172519179328253498111845996/69739500757318603335148441*c_\ 1100_1^7 - 430267811088369584628392446/69739500757318603335148441*c\ _1100_1^6 - 526063500565062488354853858/69739500757318603335148441*\ c_1100_1^5 + 1870308392213901213097606983/1394790015146372066702968\ 82*c_1100_1^4 + 1168423092682046006550280055/1394790015146372066702\ 96882*c_1100_1^3 - 484278896360761842797761109/13947900151463720667\ 0296882*c_1100_1^2 + 279598468481323823594470603/697395007573186033\ 35148441*c_1100_1 - 39062952502336623606926814/69739500757318603335\ 148441, c_0101_2 + 5612704177481908614767372/69739500757318603335148441*c_1100_\ 1^11 + 30334377083537923307007433/139479001514637206670296882*c_110\ 0_1^10 + 99625045187944406181430939/69739500757318603335148441*c_11\ 00_1^9 + 207335197514219254154745242/69739500757318603335148441*c_1\ 100_1^8 - 632533860489751998987153576/69739500757318603335148441*c_\ 1100_1^7 + 3116790539100690567922562409/139479001514637206670296882\ *c_1100_1^6 + 1843043008673719149842799098/697395007573186033351484\ 41*c_1100_1^5 - 7172433325280327066665898959/1394790015146372066702\ 96882*c_1100_1^4 - 3715852680231237039612559361/1394790015146372066\ 70296882*c_1100_1^3 + 1309268303553498185286638562/6973950075731860\ 3335148441*c_1100_1^2 - 1830538121158579363112054087/13947900151463\ 7206670296882*c_1100_1 + 208298342736136556293120957/13947900151463\ 7206670296882, c_0101_3 - 3933079524408664096161740/69739500757318603335148441*c_1100_\ 1^11 - 24610245165290964362845521/139479001514637206670296882*c_110\ 0_1^10 - 148703752574602575437901595/139479001514637206670296882*c_\ 1100_1^9 - 350201566066547269652087621/139479001514637206670296882*\ c_1100_1^8 + 762102112669585890905933551/13947900151463720667029688\ 2*c_1100_1^7 - 904031007244052485099706839/697395007573186033351484\ 41*c_1100_1^6 - 1757777863717242564072448456/6973950075731860333514\ 8441*c_1100_1^5 + 3918096687882148842961709011/13947900151463720667\ 0296882*c_1100_1^4 + 2362329135125495621819769326/69739500757318603\ 335148441*c_1100_1^3 - 377150660071462170133739732/6973950075731860\ 3335148441*c_1100_1^2 + 447380737527305731343671801/139479001514637\ 206670296882*c_1100_1 + 158743066051182612820141735/697395007573186\ 03335148441, c_0101_7 - 5840032165216737867180232/69739500757318603335148441*c_1100_\ 1^11 - 13375484288935343798280299/69739500757318603335148441*c_1100\ _1^10 - 96644514551262147450753354/69739500757318603335148441*c_110\ 0_1^9 - 343379778440739208553744321/139479001514637206670296882*c_1\ 100_1^8 + 756040106676350502502288790/69739500757318603335148441*c_\ 1100_1^7 - 3749524560528327135465869837/139479001514637206670296882\ *c_1100_1^6 - 1309250484651308281218723007/697395007573186033351484\ 41*c_1100_1^5 + 4667836299979488921793536290/6973950075731860333514\ 8441*c_1100_1^4 + 547680956175663481468505434/697395007573186033351\ 48441*c_1100_1^3 - 4932013865160935885085328893/1394790015146372066\ 70296882*c_1100_1^2 + 2621797494920122565964394599/1394790015146372\ 06670296882*c_1100_1 - 748309364309558512591843185/1394790015146372\ 06670296882, c_0110_11 - 4836884662936542761634528/69739500757318603335148441*c_1100\ _1^11 - 11173887459491009788182720/69739500757318603335148441*c_110\ 0_1^10 - 160718598683160829319158665/139479001514637206670296882*c_\ 1100_1^9 - 287733283218851766401276919/139479001514637206670296882*\ c_1100_1^8 + 1244158436311758074746825491/1394790015146372066702968\ 82*c_1100_1^7 - 3081003381783202227255527747/1394790015146372066702\ 96882*c_1100_1^6 - 1097739172815628257774390752/6973950075731860333\ 5148441*c_1100_1^5 + 3802174470058707315489861953/69739500757318603\ 335148441*c_1100_1^4 + 1132605369447332109682019985/139479001514637\ 206670296882*c_1100_1^3 - 1970385882951119875565695384/697395007573\ 18603335148441*c_1100_1^2 + 997601337787614789640298399/69739500757\ 318603335148441*c_1100_1 - 552519837133098312058968611/139479001514\ 637206670296882, c_1001_5 + 4080681215286350919760976/69739500757318603335148441*c_1100_\ 1^11 + 8803850144079803802468526/69739500757318603335148441*c_1100_\ 1^10 + 66124882055331764952481282/69739500757318603335148441*c_1100\ _1^9 + 110270963376627500657084411/69739500757318603335148441*c_110\ 0_1^8 - 547903025016996154948183131/69739500757318603335148441*c_11\ 00_1^7 + 1368823160742984688079316677/69739500757318603335148441*c_\ 1100_1^6 + 747685471815868900228190822/69739500757318603335148441*c\ _1100_1^5 - 3400444001138831988300490892/69739500757318603335148441\ *c_1100_1^4 - 82917620449464434666556146/69739500757318603335148441\ *c_1100_1^3 + 1814525056717687284300940648/697395007573186033351484\ 41*c_1100_1^2 - 984436312328736318302782868/69739500757318603335148\ 441*c_1100_1 + 356334591512304119552730616/697395007573186033351484\ 41, c_1100_1^12 + 19/8*c_1100_1^11 + 17*c_1100_1^10 + 63/2*c_1100_1^9 - 979/8*c_1100_1^8 + 2557/8*c_1100_1^7 + 1781/8*c_1100_1^6 - 5677/8*c_1100_1^5 - 631/8*c_1100_1^4 + 261*c_1100_1^3 - 285*c_1100_1^2 + 179/2*c_1100_1 - 187/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB