Magma V2.19-8 Tue Aug 20 2013 23:46:00 on localhost [Seed = 1124411064] Type ? for help. Type -D to quit. Loading file "K14n1009__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n1009 geometric_solution 10.50740298 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 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 0 -1 1 0 0 0 0 0 -9 0 9 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722052488549 1.043903580941 0 5 3 2 0132 0132 3012 3120 0 0 0 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 -9 9 0 0 1 -1 0 1 0 -1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326659442921 0.421332448413 1 0 5 4 3120 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 -1 0 1 8 0 -9 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.893594466624 0.761096228003 4 1 6 0 1230 1230 0132 0132 0 0 0 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 0 0 0 0 0 8 0 -8 -1 9 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.789609329819 0.751399835109 2 3 0 7 3012 3012 0132 0132 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 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540272305159 1.449601144332 8 1 9 2 0132 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 0 0 0 0 -1 1 8 -8 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378163910015 0.741224482099 10 8 11 3 0132 1230 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 0 0 0 0 0 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009360477361 0.416162229668 11 10 4 11 1023 3201 0132 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 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.525239301780 0.408375880795 5 9 6 11 0132 3120 3012 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850712513224 0.516243037848 10 8 10 5 3201 3120 3012 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 0 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.088344278709 0.309550389892 6 9 7 9 0132 1230 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.490037423978 1.404289055691 8 7 7 6 3120 1023 0132 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 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.714160183116 1.528407360992 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : negation(d['c_0101_5']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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_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_0101_7'], 'c_1100_8' : negation(d['c_0101_11']), 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_7'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : negation(d['c_0011_11']), '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' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : 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_0101_5'], 'c_0110_10' : d['c_0101_5'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_10']})} 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_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_5, c_0101_7, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 10669228599629502129105884393/141125632880060882951542649375*c_1100\ _0^15 - 419432970921337079741666952233/5645025315202435318061705975\ 00*c_1100_0^14 - 2003565035438596510815626718573/564502531520243531\ 806170597500*c_1100_0^13 - 435746194130988704089705505523/403216093\ 94303109414726471250*c_1100_0^12 - 3198951566681012332695766432628/141125632880060882951542649375*c_11\ 00_0^11 - 18948806990744933405732644462257/564502531520243531806170\ 597500*c_1100_0^10 - 19612039020128230714806493340033/5645025315202\ 43531806170597500*c_1100_0^9 - 1639701987376412218997335330211/8064\ 3218788606218829452942500*c_1100_0^8 + 219813566701952567426988388787/28225126576012176590308529875*c_1100\ _0^7 + 73826023772049368465114070937/2258010126080974127224682390*c\ _1100_0^6 + 320286181305950762948226750517/806432187886062188294529\ 42500*c_1100_0^5 - 64291262468356366439300529086299/564502531520243\ 531806170597500*c_1100_0^4 - 122061723280800540084312806969233/5645\ 02531520243531806170597500*c_1100_0^3 - 8252821344562978461673088160121/56450253152024353180617059750*c_110\ 0_0^2 + 10816626471232032855495508614/5645025315202435318061705975*\ c_1100_0 + 23644695707050088775896747123/64514575030884975063562354\ 0, c_0011_0 - 1, c_0011_10 + 795797922971567/261036484613595500*c_1100_0^15 + 2002056757327792/65259121153398875*c_1100_0^14 + 35158608216755873/261036484613595500*c_1100_0^13 + 92647059369837187/261036484613595500*c_1100_0^12 + 154711185329661087/261036484613595500*c_1100_0^11 + 148865955311535157/261036484613595500*c_1100_0^10 + 52961814032333693/261036484613595500*c_1100_0^9 - 23223342031252227/65259121153398875*c_1100_0^8 - 50312016149813577/52207296922719100*c_1100_0^7 - 4381338931378109/5220729692271910*c_1100_0^6 + 85671983305654179/65259121153398875*c_1100_0^5 + 1613303873817695079/261036484613595500*c_1100_0^4 + 1115649387274233773/261036484613595500*c_1100_0^3 - 50688625410595556/13051824230679775*c_1100_0^2 - 18214035032745481/5220729692271910*c_1100_0 + 3438846681545237/1044145938454382, c_0011_11 + 292748146499217/130518242306797750*c_1100_0^15 + 3442222398925161/261036484613595500*c_1100_0^14 + 9889924941105571/261036484613595500*c_1100_0^13 + 4303622187395656/65259121153398875*c_1100_0^12 + 3670841904693656/65259121153398875*c_1100_0^11 + 3321563266728839/261036484613595500*c_1100_0^10 - 7391229608977689/261036484613595500*c_1100_0^9 - 36818121085421941/261036484613595500*c_1100_0^8 - 2350801242238081/13051824230679775*c_1100_0^7 - 516216113293573/5220729692271910*c_1100_0^6 + 149366553762562607/261036484613595500*c_1100_0^5 + 27441910843081633/261036484613595500*c_1100_0^4 - 282005754590086479/261036484613595500*c_1100_0^3 + 73602188192558/13051824230679775*c_1100_0^2 + 9614429478242957/5220729692271910*c_1100_0 - 3060465377700407/2088291876908764, c_0011_3 + 65044112665637/261036484613595500*c_1100_0^15 + 574305823491833/261036484613595500*c_1100_0^14 + 1517836560976643/261036484613595500*c_1100_0^13 + 197484650862947/261036484613595500*c_1100_0^12 - 2542177920703802/65259121153398875*c_1100_0^11 - 34909175726051813/261036484613595500*c_1100_0^10 - 60135576969969417/261036484613595500*c_1100_0^9 - 33600593790637249/130518242306797750*c_1100_0^8 - 963203624308967/5220729692271910*c_1100_0^7 + 544896388371921/5220729692271910*c_1100_0^6 + 59370791104565413/130518242306797750*c_1100_0^5 + 37527803456964081/65259121153398875*c_1100_0^4 - 111219979667233051/130518242306797750*c_1100_0^3 - 94962873953169271/52207296922719100*c_1100_0^2 - 5549573951342351/10441459384543820*c_1100_0 + 1029101259666941/2088291876908764, c_0011_4 - 21753558239942/13051824230679775*c_1100_0^15 - 641130990421359/52207296922719100*c_1100_0^14 - 110448100580431/2610364846135955*c_1100_0^13 - 4626738139996921/52207296922719100*c_1100_0^12 - 224282054960413/2088291876908764*c_1100_0^11 - 559714786179593/10441459384543820*c_1100_0^10 + 2158528025214471/52207296922719100*c_1100_0^9 + 9601264240331129/52207296922719100*c_1100_0^8 + 3760877797638002/13051824230679775*c_1100_0^7 + 1461448972771121/10441459384543820*c_1100_0^6 - 16026781073229157/26103648461359550*c_1100_0^5 - 14547285772380723/13051824230679775*c_1100_0^4 + 34572226259782049/52207296922719100*c_1100_0^3 + 49172002485159017/52207296922719100*c_1100_0^2 - 225965935163976/522072969227191*c_1100_0 - 12090202746364/522072969227191, c_0101_1 + 83386749105293/26103648461359550*c_1100_0^15 + 313410821290041/13051824230679775*c_1100_0^14 + 4436824145694869/52207296922719100*c_1100_0^13 + 2382364546094559/13051824230679775*c_1100_0^12 + 11922749666968651/52207296922719100*c_1100_0^11 + 6528670173848361/52207296922719100*c_1100_0^10 - 3073740758511941/52207296922719100*c_1100_0^9 - 14518876315204679/52207296922719100*c_1100_0^8 - 4161047044252517/10441459384543820*c_1100_0^7 - 22096288250559/522072969227191*c_1100_0^6 + 81963692900060713/52207296922719100*c_1100_0^5 + 35574615123287258/13051824230679775*c_1100_0^4 - 14832603491471373/26103648461359550*c_1100_0^3 - 33606035611169151/10441459384543820*c_1100_0^2 + 827345912470519/10441459384543820*c_1100_0 + 1428723545914603/1044145938454382, c_0101_10 + 672638080781052/65259121153398875*c_1100_0^15 + 10196745252820501/130518242306797750*c_1100_0^14 + 18882339761800583/65259121153398875*c_1100_0^13 + 176398920415402693/261036484613595500*c_1100_0^12 + 130269059645842029/130518242306797750*c_1100_0^11 + 230385478432629113/261036484613595500*c_1100_0^10 + 76696104739847827/261036484613595500*c_1100_0^9 - 191185149741122887/261036484613595500*c_1100_0^8 - 80285171640903309/52207296922719100*c_1100_0^7 - 2052732768945903/2088291876908764*c_1100_0^6 + 259277422344935746/65259121153398875*c_1100_0^5 + 2373779209116100481/261036484613595500*c_1100_0^4 + 449110570832936971/130518242306797750*c_1100_0^3 - 28919033601543217/5220729692271910*c_1100_0^2 - 29828418174354931/10441459384543820*c_1100_0 + 8170742022845655/2088291876908764, c_0101_11 + 56835267526709/26103648461359550*c_1100_0^15 + 246513565543539/13051824230679775*c_1100_0^14 + 2016418799078779/26103648461359550*c_1100_0^13 + 10320223974447459/52207296922719100*c_1100_0^12 + 4337312268144688/13051824230679775*c_1100_0^11 + 18795777025565837/52207296922719100*c_1100_0^10 + 12318592032281791/52207296922719100*c_1100_0^9 - 1539667455362951/52207296922719100*c_1100_0^8 - 18246633780507271/52207296922719100*c_1100_0^7 - 686499684144703/2088291876908764*c_1100_0^6 + 20805537946132607/26103648461359550*c_1100_0^5 + 139108665478481153/52207296922719100*c_1100_0^4 + 879318323003484/522072969227191*c_1100_0^3 - 35986153027846357/26103648461359550*c_1100_0^2 - 8362785515487311/10441459384543820*c_1100_0 + 1999212845643461/2088291876908764, c_0101_2 - 79655148484459/26103648461359550*c_1100_0^15 - 288189436243099/13051824230679775*c_1100_0^14 - 2083584879840359/26103648461359550*c_1100_0^13 - 9697434507678119/52207296922719100*c_1100_0^12 - 3712807824473423/13051824230679775*c_1100_0^11 - 15742414128167477/52207296922719100*c_1100_0^10 - 11515374491095231/52207296922719100*c_1100_0^9 + 344312206371691/52207296922719100*c_1100_0^8 + 11303241332153231/52207296922719100*c_1100_0^7 + 275706700572583/2088291876908764*c_1100_0^6 - 29787988436558357/26103648461359550*c_1100_0^5 - 103600817522101173/52207296922719100*c_1100_0^4 - 1960910365373109/2610364846135955*c_1100_0^3 + 7566657918953927/26103648461359550*c_1100_0^2 - 664557124229969/10441459384543820*c_1100_0 - 1117972964745905/2088291876908764, c_0101_5 - 3497693177239/7677543665105750*c_1100_0^15 + 13622334068663/15355087330211500*c_1100_0^14 + 59187145998042/3838771832552875*c_1100_0^13 + 460611903022121/7677543665105750*c_1100_0^12 + 2059142025811817/15355087330211500*c_1100_0^11 + 641871223425878/3838771832552875*c_1100_0^10 + 481548044581147/3838771832552875*c_1100_0^9 + 359560627388568/3838771832552875*c_1100_0^8 - 87302849408367/3071017466042300*c_1100_0^7 - 9757085020752/153550873302115*c_1100_0^6 + 120777061897839/3838771832552875*c_1100_0^5 + 21639238629466039/15355087330211500*c_1100_0^4 + 24531684902047743/15355087330211500*c_1100_0^3 - 3714269071638389/3071017466042300*c_1100_0^2 - 785201676752917/614203493208460*c_1100_0 + 259557602140541/122840698641692, c_0101_7 + 101322566641663/130518242306797750*c_1100_0^15 + 47608187808276/65259121153398875*c_1100_0^14 - 1580008163238453/130518242306797750*c_1100_0^13 - 15138561534719189/261036484613595500*c_1100_0^12 - 9016502331221566/65259121153398875*c_1100_0^11 - 43020675938582979/261036484613595500*c_1100_0^10 - 21587422955773021/261036484613595500*c_1100_0^9 + 4670152080319401/261036484613595500*c_1100_0^8 + 11257657481306069/52207296922719100*c_1100_0^7 + 3171851523078917/10441459384543820*c_1100_0^6 + 27349504932390149/130518242306797750*c_1100_0^5 - 449020098549738563/261036484613595500*c_1100_0^4 - 141036963199006264/65259121153398875*c_1100_0^3 + 26589609378250039/26103648461359550*c_1100_0^2 + 13053013143123557/10441459384543820*c_1100_0 - 3369693791667579/2088291876908764, c_1100_0^16 + 9*c_1100_0^15 + 39*c_1100_0^14 + 106*c_1100_0^13 + 191*c_1100_0^12 + 226*c_1100_0^11 + 159*c_1100_0^10 - 4*c_1100_0^9 - 200*c_1100_0^8 - 250*c_1100_0^7 + 323*c_1100_0^6 + 1477*c_1100_0^5 + 1579*c_1100_0^4 - 165*c_1100_0^3 - 1000*c_1100_0^2 + 125*c_1100_0 + 625 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.550 Total time: 1.760 seconds, Total memory usage: 32.09MB