Magma V2.19-8 Tue Aug 20 2013 23:53:27 on localhost [Seed = 1074146231] Type ? for help. Type -D to quit. Loading file "L13n5951__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5951 geometric_solution 11.06241842 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 0132 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 1 0 -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.101305106247 1.300680719553 0 0 5 4 0132 1230 0132 0132 1 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 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.379153308478 0.447793618040 6 0 8 7 0132 0132 0132 0132 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 -1 4 -3 1 0 0 -1 -1 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667590003923 0.347472401019 9 8 0 6 0132 3201 0132 1023 1 1 1 1 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 0 0 0 0 0 1 -1 -4 0 0 4 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405534677007 0.923262632086 9 9 1 10 1230 2310 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.208199657210 1.104580802227 10 6 11 1 1302 0213 0132 0132 1 1 1 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 3 0 -3 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.207806801472 1.021386493800 2 7 5 3 0132 2103 0213 1023 1 1 1 0 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 4 -4 -1 0 0 1 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457389370839 0.598311495092 10 6 2 11 3012 2103 0132 3012 1 1 1 0 0 0 -1 1 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 3 -3 0 0 1 -1 -3 0 0 3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696345702857 0.957303877121 8 8 3 2 1302 2031 2310 0132 1 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 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674518867053 0.482254061315 3 4 11 4 0132 3012 2103 3201 0 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 0 -1 1 4 0 0 -4 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.835212836479 0.874260504162 11 5 4 7 1023 2031 0132 1230 1 1 0 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 0 0 0 -3 0 0 3 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.529924654533 0.673076655446 9 10 7 5 2103 1023 1230 0132 1 1 0 1 0 -1 0 1 0 0 1 -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 3 1 -4 0 0 -3 3 1 0 0 -1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.364744635273 1.464142851181 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_0101_1']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : d['c_0011_8'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : d['c_0011_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_0011_3'], 'c_1100_5' : d['c_0110_7'], 'c_1100_4' : d['c_0110_7'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_1001_1'], 'c_1100_1' : d['c_0110_7'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : d['c_0110_7'], 'c_1100_10' : d['c_0110_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : negation(d['c_0101_0']), 'c_1010_8' : d['c_0011_8'], '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_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0011_7'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : negation(d['c_0011_8']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_11'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_2']})} 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_5, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0110_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1980026294232962893528209810751/978998984548335245651463225*c_1001_\ 1^13 + 17367212200814196517842594997846/978998984548335245651463225\ *c_1001_1^12 - 28765272253394004071487017785531/3263329948494450818\ 83821075*c_1001_1^11 + 293365413305669949294746603268374/9789989845\ 48335245651463225*c_1001_1^10 - 2108603135301089211609564524674/275\ 7743618446014776482995*c_1001_1^9 + 1482262151601200099837507086626866/978998984548335245651463225*c_10\ 01_1^8 - 770699466696091388488880566975477/326332994849445081883821\ 075*c_1001_1^7 + 2833922653907279079024577149636004/978998984548335\ 245651463225*c_1001_1^6 - 2693529542753313220148546829624433/978998\ 984548335245651463225*c_1001_1^5 + 1939107801713454208342537179120866/978998984548335245651463225*c_10\ 01_1^4 - 6664124056381202273861072519491/6398686173518531017329825*\ c_1001_1^3 + 123206292293356089977544873313516/32633299484944508188\ 3821075*c_1001_1^2 - 27637863292627130133751621223659/3263329948494\ 45081883821075*c_1001_1 + 8721521802107170574757949243706/978998984\ 548335245651463225, c_0011_0 - 1, c_0011_10 + 61792641554275993322/974558966986666517*c_1001_1^13 - 546464475274116799945/974558966986666517*c_1001_1^12 + 2730314246267635770556/974558966986666517*c_1001_1^11 - 9334179661469062123366/974558966986666517*c_1001_1^10 + 23948236199671963180147/974558966986666517*c_1001_1^9 - 47708349893327747201268/974558966986666517*c_1001_1^8 + 74922064154212594035659/974558966986666517*c_1001_1^7 - 92577122057395180732361/974558966986666517*c_1001_1^6 + 88868885088453214276291/974558966986666517*c_1001_1^5 - 64785896080512755959567/974558966986666517*c_1001_1^4 + 34616831021308775534241/974558966986666517*c_1001_1^3 - 12811980191230975753194/974558966986666517*c_1001_1^2 + 2951995784242892337820/974558966986666517*c_1001_1 - 320757100212901089896/974558966986666517, c_0011_3 + 19071464799249601127/974558966986666517*c_1001_1^13 - 171339223895463696807/974558966986666517*c_1001_1^12 + 865655404655934732100/974558966986666517*c_1001_1^11 - 2992525194140341879301/974558966986666517*c_1001_1^10 + 7761557687702652449413/974558966986666517*c_1001_1^9 - 15642921868102022566627/974558966986666517*c_1001_1^8 + 24881769504338782180844/974558966986666517*c_1001_1^7 - 31200791802065519338844/974558966986666517*c_1001_1^6 + 30473305787780298804032/974558966986666517*c_1001_1^5 - 22670636673167556158424/974558966986666517*c_1001_1^4 + 12401005680319348096185/974558966986666517*c_1001_1^3 - 4710278328136869471646/974558966986666517*c_1001_1^2 + 1114321544583176172608/974558966986666517*c_1001_1 - 124857429111613080015/974558966986666517, c_0011_5 - 45914148353043236795/974558966986666517*c_1001_1^13 + 397580105035220477526/974558966986666517*c_1001_1^12 - 1957214326581786053161/974558966986666517*c_1001_1^11 + 6590960672780191653113/974558966986666517*c_1001_1^10 - 16660546714285347801625/974558966986666517*c_1001_1^9 + 32655901402534547649050/974558966986666517*c_1001_1^8 - 50361007946995315331425/974558966986666517*c_1001_1^7 + 60908220229489868333495/974558966986666517*c_1001_1^6 - 56971278843802549417450/974558966986666517*c_1001_1^5 + 40234827623385841604674/974558966986666517*c_1001_1^4 - 20676690202246551599881/974558966986666517*c_1001_1^3 + 7295471298783846440748/974558966986666517*c_1001_1^2 - 1580507962098204330393/974558966986666517*c_1001_1 + 156642937085965003136/974558966986666517, c_0011_7 - 80178143435161088953/974558966986666517*c_1001_1^13 + 702833187321887941008/974558966986666517*c_1001_1^12 - 3483734721799743497175/974558966986666517*c_1001_1^11 + 11807298363387492790725/974558966986666517*c_1001_1^10 - 30005820069301608814654/974558966986666517*c_1001_1^9 + 59114239647570042013626/974558966986666517*c_1001_1^8 - 91584463081024187299856/974558966986666517*c_1001_1^7 + 111228378360311039534415/974558966986666517*c_1001_1^6 - 104353805898224760925100/974558966986666517*c_1001_1^5 + 73745031373601278585572/974558966986666517*c_1001_1^4 - 37753469152003778455663/974558966986666517*c_1001_1^3 + 13175287817363795610531/974558966986666517*c_1001_1^2 - 2803974003498422609863/974558966986666517*c_1001_1 + 273844216192355344444/974558966986666517, c_0011_8 + 10229832220221560586/974558966986666517*c_1001_1^13 - 87271144995612784113/974558966986666517*c_1001_1^12 + 426895326915054019662/974558966986666517*c_1001_1^11 - 1429105091280360125081/974558966986666517*c_1001_1^10 + 3598217742744139487827/974558966986666517*c_1001_1^9 - 7028210995606937990006/974558966986666517*c_1001_1^8 + 10814181811151547377841/974558966986666517*c_1001_1^7 - 13061922486989817315859/974558966986666517*c_1001_1^6 + 12227327028876619819748/974558966986666517*c_1001_1^5 - 8667286682435907389151/974558966986666517*c_1001_1^4 + 4491285486847529047422/974558966986666517*c_1001_1^3 - 1608768618476595814535/974558966986666517*c_1001_1^2 + 357693754313978217414/974558966986666517*c_1001_1 - 37551640302432440337/974558966986666517, c_0101_0 - 76445383002212579117/974558966986666517*c_1001_1^13 + 682392548930852923176/974558966986666517*c_1001_1^12 - 3425568750818143472895/974558966986666517*c_1001_1^11 + 11760397341303264562315/974558966986666517*c_1001_1^10 - 30267499601267920533585/974558966986666517*c_1001_1^9 + 60459425856098952780963/974558966986666517*c_1001_1^8 - 95129874105230034930564/974558966986666517*c_1001_1^7 + 117672679195540381223457/974558966986666517*c_1001_1^6 - 112890916062407426944216/974558966986666517*c_1001_1^5 + 82004291663874703505273/974558966986666517*c_1001_1^4 - 43431526593411631095662/974558966986666517*c_1001_1^3 + 15789088081181331858345/974558966986666517*c_1001_1^2 - 3522017147595655309199/974558966986666517*c_1001_1 + 361855370694160771099/974558966986666517, c_0101_1 - 1, c_0101_11 - 37593520941971968978/974558966986666517*c_1001_1^13 + 328489273403534362259/974558966986666517*c_1001_1^12 - 1625798448210371805797/974558966986666517*c_1001_1^11 + 5503436479705596206742/974558966986666517*c_1001_1^10 - 13975552484630873088920/974558966986666517*c_1001_1^9 + 27521559974655715309159/974558966986666517*c_1001_1^8 - 42643455897322215711591/974558966986666517*c_1001_1^7 + 51834481817974292537567/974558966986666517*c_1001_1^6 - 48739811033593003803955/974558966986666517*c_1001_1^5 + 34606529132171182833743/974558966986666517*c_1001_1^4 - 17879942969871769994254/974558966986666517*c_1001_1^3 + 6346975514039573826308/974558966986666517*c_1001_1^2 - 1391498568003908647673/974558966986666517*c_1001_1 + 143250351103571466632/974558966986666517, c_0101_2 - 18714162519665347930/974558966986666517*c_1001_1^13 + 162515059303972781560/974558966986666517*c_1001_1^12 - 803668343667907164731/974558966986666517*c_1001_1^11 + 2720122535174100847957/974558966986666517*c_1001_1^10 - 6918378352264652939280/974558966986666517*c_1001_1^9 + 13659840164081206060527/974558966986666517*c_1001_1^8 - 21260295459219603442260/974558966986666517*c_1001_1^7 + 26016416132541618705399/974558966986666517*c_1001_1^6 - 24718647445278839188543/974558966986666517*c_1001_1^5 + 17823454789617578683550/974558966986666517*c_1001_1^4 - 9416011590985557008580/974558966986666517*c_1001_1^3 + 3445086767018344938753/974558966986666517*c_1001_1^2 - 783687744792475911322/974558966986666517*c_1001_1 + 84287780866140905443/974558966986666517, c_0110_7 + 29940094004992073503/974558966986666517*c_1001_1^13 - 266136353986638640912/974558966986666517*c_1001_1^12 + 1331573772673905033843/974558966986666517*c_1001_1^11 - 4555436874649400383618/974558966986666517*c_1001_1^10 + 11680621633474363889451/974558966986666517*c_1001_1^9 - 23232119391219068751977/974558966986666517*c_1001_1^8 + 36366609331663783551985/974558966986666517*c_1001_1^7 - 44691090987079678589985/974558966986666517*c_1001_1^6 + 42504003410778407906928/974558966986666517*c_1001_1^5 - 30508430564585337518811/974558966986666517*c_1001_1^4 + 15886749309966646303382/974558966986666517*c_1001_1^3 - 5636270669404448596196/974558966986666517*c_1001_1^2 + 1213617512026483665560/974558966986666517*c_1001_1 - 118296824849902088796/974558966986666517, c_1001_1^14 - 410/43*c_1001_1^13 + 2161/43*c_1001_1^12 - 7793/43*c_1001_1^11 + 21078/43*c_1001_1^10 - 44463/43*c_1001_1^9 + 74450/43*c_1001_1^8 - 2308*c_1001_1^7 + 104552/43*c_1001_1^6 - 85719/43*c_1001_1^5 + 53396/43*c_1001_1^4 - 24375/43*c_1001_1^3 + 7692/43*c_1001_1^2 - 1502/43*c_1001_1 + 137/43 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.310 seconds, Total memory usage: 32.09MB