Magma V2.19-8 Wed Aug 21 2013 01:05:12 on localhost [Seed = 1031480748] Type ? for help. Type -D to quit. Loading file "L14n25247__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n25247 geometric_solution 11.90304603 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 1 0 0 1 -1 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 -1 0 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.438085178106 0.792944018337 0 5 6 6 0132 0132 0213 0132 1 1 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 0 0 0 -1 1 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 0 0 0 0.283532189134 1.194520341328 7 0 9 8 0132 0132 0132 0132 0 0 1 1 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 -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.076854022674 0.804756415012 10 5 11 0 0132 1302 0132 0132 0 1 1 1 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 0 0 0 0 0 -1 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.764214527683 0.350660534765 11 7 0 9 2103 0213 0132 1302 0 1 0 1 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 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 1.454683044116 1.331684518838 7 1 10 3 1023 0132 3012 2031 1 0 1 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 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.125570413155 0.686474070689 11 1 1 12 0213 0213 0132 0132 1 1 1 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 -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.369274289056 0.615667086668 2 5 4 8 0132 1023 0213 1023 0 0 1 1 0 0 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 -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.842332394967 1.352925880768 11 10 2 7 1023 0213 0132 1023 0 0 1 1 0 0 0 0 -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 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 1.028036880481 0.923398177956 12 12 4 2 1230 2310 2031 0132 0 0 1 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 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 0.314160416003 0.725261809751 3 5 8 12 0132 1230 0213 2310 0 1 1 1 0 0 0 0 1 0 0 -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 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.476221292646 0.679759463770 6 8 4 3 0213 1023 2103 0132 0 1 1 1 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 -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.858005356562 0.366383673676 10 9 6 9 3201 3012 0132 3201 1 1 0 1 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 -1 1 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.497103118391 1.160973451443 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_4'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_5'], 'c_1001_2' : d['c_0101_5'], 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : d['c_0110_5'], 'c_1010_10' : d['c_0101_5'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_6'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_2_10' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_1010_4'], 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : negation(d['c_0011_9']), 'c_1100_0' : d['c_0101_9'], 'c_1100_3' : d['c_0101_9'], 'c_1100_2' : negation(d['c_1010_4']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_1010_4']), 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_0101_5'], 'c_1010_9' : d['c_0101_5'], 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : negation(d['c_1010_4']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_9']), 's_1_7' : d['1'], 's_1_6' : negation(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' : negation(d['1']), 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : negation(d['c_0101_5']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0011_11'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_4'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_12'], 'c_0110_8' : d['c_0110_5'], 'c_0110_1' : d['c_0011_11'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : d['c_0011_11'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_9']), 'c_0110_7' : d['c_0011_12'], 'c_0110_6' : d['c_0101_12']})} 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_11, c_0011_12, c_0011_4, c_0011_6, c_0011_9, c_0101_12, c_0101_5, c_0101_9, c_0110_5, c_1001_0, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 2134642071132546235018156168342933/2098489649236755203509001711978*\ c_1010_4^11 - 93315000319575047644292751214250515/33575834387788083\ 256144027391648*c_1010_4^10 - 95275923009678381062563581817604467/1\ 6787917193894041628072013695824*c_1010_4^9 + 1104214681752370556464485175321701429/16787917193894041628072013695\ 824*c_1010_4^8 + 144417992163602967910462712307675019/2098489649236\ 755203509001711978*c_1010_4^7 + 11310200989895810590094638408603163\ 871/33575834387788083256144027391648*c_1010_4^6 - 1750198366635026787622029237858931019/16787917193894041628072013695\ 824*c_1010_4^5 + 11335633292421019328136991440324020779/16787917193\ 894041628072013695824*c_1010_4^4 - 9364243965609435720248444137896497219/83939585969470208140360068479\ 12*c_1010_4^3 + 19066491126202789860586440106534763469/335758343877\ 88083256144027391648*c_1010_4^2 - 995416623931861559977774922958375\ 585/883574589152317980424842826096*c_1010_4 + 220639173229649932051117127683018851/104924482461837760175450085598\ 9, c_0011_0 - 1, c_0011_10 - 306738717871088744281135307/110446823644039747553105353262*\ c_1010_4^11 - 38759192487763691275723996519/53014475349139078825490\ 56956576*c_1010_4^10 - 14708816421611907141608815683/88357458915231\ 7980424842826096*c_1010_4^9 + 467196683896965064888374207157/265072\ 3767456953941274528478288*c_1010_4^8 + 9000192742396538545975786864/55223411822019873776552676631*c_1010_4\ ^7 + 1824596493589208475593252716873/176714917830463596084968565219\ 2*c_1010_4^6 - 688464025408367138867232934217/265072376745695394127\ 4528478288*c_1010_4^5 + 6097946555734169182677419669479/26507237674\ 56953941274528478288*c_1010_4^4 - 4818827534089267995751309412479/1\ 325361883728476970637264239144*c_1010_4^3 + 4459054713439277816697504666747/1767149178304635960849685652192*c_1\ 010_4^2 - 13772496921602886063549883800385/265072376745695394127452\ 8478288*c_1010_4 + 206856268483214919013879361101/22089364728807949\ 5106210706524, c_0011_11 - 5437352568299567868340821865/198804282559271545595589635871\ 6*c_1010_4^11 - 75627237926576225953704725525/106028950698278157650\ 98113913152*c_1010_4^10 - 65551632551661605383512708323/39760856511\ 85430911911792717432*c_1010_4^9 + 912368439029322150616538678005/53\ 01447534913907882549056956576*c_1010_4^8 + 403526065485613798366458655823/2650723767456953941274528478288*c_10\ 10_4^7 + 32750204637736345254892426445459/3180868520948344729529434\ 1739456*c_1010_4^6 - 1419018817369893983902382860081/79521713023708\ 61823823585434864*c_1010_4^5 + 38078434106196392477361627825721/159\ 04342604741723647647170869728*c_1010_4^4 - 1204333293145841680728513505307/331340470932119242659316059786*c_10\ 10_4^3 + 75403550840770837147350641855857/3180868520948344729529434\ 1739456*c_1010_4^2 - 6201148800067496107182602582173/13253618837284\ 76970637264239144*c_1010_4 + 585124600640931272941067706275/8835745\ 89152317980424842826096, c_0011_12 + 546797823935990548148031859/165670235466059621329658029893*\ c_1010_4^11 + 8321592486677163631307631415/883574589152317980424842\ 826096*c_1010_4^10 + 25137849913132214785199299985/1325361883728476\ 970637264239144*c_1010_4^9 - 94611253525474066954803573401/44178729\ 4576158990212421413048*c_1010_4^8 - 28143542467025582145975718879/110446823644039747553105353262*c_1010\ _4^7 - 2888388158856163740051930210161/2650723767456953941274528478\ 288*c_1010_4^6 + 454846592418752352082139386517/1325361883728476970\ 637264239144*c_1010_4^5 - 2625389357802306950307237556561/132536188\ 3728476970637264239144*c_1010_4^4 + 815200794892250872779225490525/220893647288079495106210706524*c_101\ 0_4^3 - 3884398567358439119522666151139/265072376745695394127452847\ 8288*c_1010_4^2 + 2042491158617880128876397066179/44178729457615899\ 0212421413048*c_1010_4 - 72136731389101923894296018268/552234118220\ 19873776552676631, c_0011_4 - 457086495909543417059557934/165670235466059621329658029893*c\ _1010_4^11 - 2634423672083314386190978699/4417872945761589902124214\ 13048*c_1010_4^10 - 7209401538646281204731065769/662680941864238485\ 318632119572*c_1010_4^9 + 41211880785582031860909331677/22089364728\ 8079495106210706524*c_1010_4^8 + 9099408308402847915961514461/11044\ 6823644039747553105353262*c_1010_4^7 + 1044891440012746323322109588021/1325361883728476970637264239144*c_1\ 010_4^6 - 490063534500727149923904241457/66268094186423848531863211\ 9572*c_1010_4^5 + 1345190121162720793594755990577/66268094186423848\ 5318632119572*c_1010_4^4 - 420789785548786048711366607769/110446823\ 644039747553105353262*c_1010_4^3 + 4231968057182397758483462400367/1325361883728476970637264239144*c_1\ 010_4^2 - 685592654816238939967096818277/22089364728807949510621070\ 6524*c_1010_4 + 66615434467422326497235582742/552234118220198737765\ 52676631, c_0011_6 + 8721889683525747814600667089/1988042825592715455955896358716\ *c_1010_4^11 + 113953687975255432643859167197/106028950698278157650\ 98113913152*c_1010_4^10 + 9961750739580230792181137350/497010706398\ 178863988974089679*c_1010_4^9 - 512989874881312645558173059719/1767\ 149178304635960849685652192*c_1010_4^8 - 562484999520363037335449673659/2650723767456953941274528478288*c_10\ 10_4^7 - 40835158427891423899824725284619/3180868520948344729529434\ 1739456*c_1010_4^6 + 5754567633706919158950349050415/79521713023708\ 61823823585434864*c_1010_4^5 - 48344929481899372367365381616953/159\ 04342604741723647647170869728*c_1010_4^4 + 1032773981226914394837885811747/220893647288079495106210706524*c_10\ 10_4^3 - 96369234217455061477929567162265/3180868520948344729529434\ 1739456*c_1010_4^2 + 207832534846384844305536865053/552234118220198\ 73776552676631*c_1010_4 - 139075039192829922315570403223/8835745891\ 52317980424842826096, c_0011_9 + 2527459537515159515802811673/1988042825592715455955896358716\ *c_1010_4^11 - 1918823974751998268186118505/35342983566092719216993\ 71304384*c_1010_4^10 - 21087010383697654201306174855/79521713023708\ 61823823585434864*c_1010_4^9 - 507339553778372156964573614737/53014\ 47534913907882549056956576*c_1010_4^8 + 516084020242582863326328423035/2650723767456953941274528478288*c_10\ 10_4^7 - 6599746081035072872552730496291/31808685209483447295294341\ 739456*c_1010_4^6 + 3947898641150134370365768711297/397608565118543\ 0911911792717432*c_1010_4^5 - 31731264944249341352921645500733/1590\ 4342604741723647647170869728*c_1010_4^4 + 3863914759822128242398225954235/1325361883728476970637264239144*c_1\ 010_4^3 - 142415537053748210627315085771857/31808685209483447295294\ 341739456*c_1010_4^2 + 6985647127801485341574469619939/265072376745\ 6953941274528478288*c_1010_4 - 361749159876333963839902126749/88357\ 4589152317980424842826096, c_0101_12 + 1999372266124746472434728537/198804282559271545595589635871\ 6*c_1010_4^11 + 46937005795662302142059039621/106028950698278157650\ 98113913152*c_1010_4^10 + 51395654539120102929938189807/79521713023\ 70861823823585434864*c_1010_4^9 - 119593810935203499820675999459/17\ 67149178304635960849685652192*c_1010_4^8 - 521017732745438250052871850097/2650723767456953941274528478288*c_10\ 10_4^7 - 6317927888778244446673750142755/31808685209483447295294341\ 739456*c_1010_4^6 - 121713111905375724582218720467/1988042825592715\ 455955896358716*c_1010_4^5 + 7423196412487321172089968038779/159043\ 42604741723647647170869728*c_1010_4^4 - 112976538591833831633493570757/441787294576158990212421413048*c_101\ 0_4^3 + 80358515147763650593709944704079/31808685209483447295294341\ 739456*c_1010_4^2 - 1556897067298205935839586437209/883574589152317\ 980424842826096*c_1010_4 + 274314366868959487108053245247/883574589\ 152317980424842826096, c_0101_5 - 732046114126065931112457553/165670235466059621329658029893*c\ _1010_4^11 - 9467681656566001145162443197/8835745891523179804248428\ 26096*c_1010_4^10 - 28059149202805620773701301711/13253618837284769\ 70637264239144*c_1010_4^9 + 128923811721679197030706641679/44178729\ 4576158990212421413048*c_1010_4^8 + 11528395885207352091035663206/55223411822019873776552676631*c_1010_\ 4^7 + 3672132529127550520972574036339/26507237674569539412745284782\ 88*c_1010_4^6 - 1093628181312161813786508607679/1325361883728476970\ 637264239144*c_1010_4^5 + 4155337474926757751579138658775/132536188\ 3728476970637264239144*c_1010_4^4 - 1234929869469343126006692118041/220893647288079495106210706524*c_10\ 10_4^3 + 10103055019112034398836375480753/2650723767456953941274528\ 478288*c_1010_4^2 - 2517538033481465084071160300373/441787294576158\ 990212421413048*c_1010_4 + 83116335447403308398834991935/5522341182\ 2019873776552676631, c_0101_9 - 772380533083094740847959700/165670235466059621329658029893*c\ _1010_4^11 - 2412310043915819016035729953/2208936472880794951062107\ 06524*c_1010_4^10 - 3070732040931192786138352118/165670235466059621\ 329658029893*c_1010_4^9 + 34787527253570360705875358077/11044682364\ 4039747553105353262*c_1010_4^8 + 10929011172518711045143601267/5522\ 3411822019873776552676631*c_1010_4^7 + 816792029218160624211651986539/662680941864238485318632119572*c_101\ 0_4^6 - 341204542445110751802365220289/3313404709321192426593160597\ 86*c_1010_4^5 + 996641040025761703746351720875/33134047093211924265\ 9316059786*c_1010_4^4 - 549223063169059890418372972683/110446823644\ 039747553105353262*c_1010_4^3 + 2181162658114240541442578768837/662\ 680941864238485318632119572*c_1010_4^2 - 349225964821474236133836648587/110446823644039747553105353262*c_101\ 0_4 + 21912924601376143977923751829/55223411822019873776552676631, c_0110_5 + 782526395143970720730512476/165670235466059621329658029893*c\ _1010_4^11 + 2950241888761510476659130155/2208936472880794951062107\ 06524*c_1010_4^10 + 4498440881384037952287446977/165670235466059621\ 329658029893*c_1010_4^9 - 33814942972135819815117573121/11044682364\ 4039747553105353262*c_1010_4^8 - 19822943357961193063289759716/5522\ 3411822019873776552676631*c_1010_4^7 - 1047263198272909975419796374665/662680941864238485318632119572*c_10\ 10_4^6 + 166037104679030986774003646705/331340470932119242659316059\ 786*c_1010_4^5 - 875296836258972283787126198047/3313404709321192426\ 59316059786*c_1010_4^4 + 599811984386459562545515562005/11044682364\ 4039747553105353262*c_1010_4^3 - 1193124855948601197068564109211/66\ 2680941864238485318632119572*c_1010_4^2 + 501117190444193276055980349329/110446823644039747553105353262*c_101\ 0_4 - 71103219891621779568967206103/55223411822019873776552676631, c_1001_0 - 1, c_1010_4^12 + 39/16*c_1010_4^11 + 19/4*c_1010_4^10 - 531/8*c_1010_4^9 - 195/4*c_1010_4^8 - 4955/16*c_1010_4^7 + 202*c_1010_4^6 - 5485/8*c_1010_4^5 + 2583/2*c_1010_4^4 - 13849/16*c_1010_4^3 + 4995/4*c_1010_4^2 - 2097/4*c_1010_4 + 36 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB