Magma V2.19-8 Tue Aug 20 2013 23:51:57 on localhost [Seed = 1460747359] Type ? for help. Type -D to quit. Loading file "L13n109__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n109 geometric_solution 11.00260872 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 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 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.715968206556 0.649935978942 0 0 5 4 0132 1302 0132 0132 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 1 -1 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.234280918634 0.695098436194 6 0 4 3 0132 0132 1302 1230 1 1 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 1 0 0 0 0 0 0 0 0 0 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564573577747 1.291885941672 2 3 3 0 3012 3201 2310 0132 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.810661181720 0.524199062371 2 7 1 6 2031 0132 0132 0321 1 1 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 0 0 0 -1 0 1 0 6 0 0 -6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826573871953 1.608598226954 8 8 7 1 0132 1230 1023 0132 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 1 0 0 -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.103410649960 0.694604628260 2 4 7 9 0132 0321 1230 0132 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 -5 6 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645908735712 0.505077129428 9 4 5 6 0213 0132 1023 3012 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 -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.771226789356 1.200457348977 5 9 5 10 0132 0321 3012 0132 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 -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.790314119249 1.408450515562 7 11 6 8 0213 0132 0132 0321 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 1 0 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.790314119249 1.408450515562 11 11 8 11 3012 0213 0132 2310 1 1 0 1 0 0 0 0 0 0 0 0 -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 -1 0 1 1 0 -1 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.350931342691 0.408593204571 10 9 10 10 3201 0132 0213 1230 1 0 1 1 0 0 0 0 -2 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 1 -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.350931342691 0.408593204571 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_4']), 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_11' : d['c_0101_10'], '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' : negation(d['1']), 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_2_11' : negation(d['1']), 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_1100_5' : d['c_1001_6'], 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : negation(d['c_1001_6']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : d['c_1001_6'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_5']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : d['c_1001_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : d['c_0101_1'], 's_1_11' : negation(d['1']), 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0011_5'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_5']), 'c_0011_10' : d['c_0011_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_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_1001_10, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 103705034843505794717998393720361374561779/334652292964330799378293\ 005253660047703293248*c_1001_6^13 + 464218106925252023122902307410843964889845/167326146482165399689146\ 502626830023851646624*c_1001_6^12 - 1146227848934154743017489235982071996765567/83663073241082699844573\ 251313415011925823312*c_1001_6^11 + 1025500857687632873822904702190268136804535/20915768310270674961143\ 312828353752981455828*c_1001_6^10 - 25684300218631041541070699806246610751631237/1673261464821653996891\ 46502626830023851646624*c_1001_6^9 + 570517567438870510081654963626520071408385/144246678001866723869953\ 8815748534688376264*c_1001_6^8 - 6507308410670423772497823292476186\ 3640930009/83663073241082699844573251313415011925823312*c_1001_6^7 + 13621544947590398390595286728425792105658749/1045788415513533748057\ 1656414176876490727914*c_1001_6^6 - 771522668253667643891087885073232944235333611/334652292964330799378\ 293005253660047703293248*c_1001_6^5 + 609864468877920161646071035782985496233369321/167326146482165399689\ 146502626830023851646624*c_1001_6^4 - 331221534475144672541654148808329021652589571/836630732410826998445\ 73251313415011925823312*c_1001_6^3 + 206247354246052502987531430825161477346747279/836630732410826998445\ 73251313415011925823312*c_1001_6^2 - 215446752727785133966702294858495170201861379/334652292964330799378\ 293005253660047703293248*c_1001_6 - 12684176942392345058850005748561066713502909/1673261464821653996891\ 46502626830023851646624, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 - 47141727305896938208140/6445293530339151944559689*c_1001_6^\ 13 + 380118558411669572420622/6445293530339151944559689*c_1001_6^12 - 1766400113598845127505428/6445293530339151944559689*c_1001_6^11 + 6059449865523467286460370/6445293530339151944559689*c_1001_6^10 - 18796404876184416868316752/6445293530339151944559689*c_1001_6^9 + 46408206276560598597265595/6445293530339151944559689*c_1001_6^8 - 86318403051792471436635744/6445293530339151944559689*c_1001_6^7 + 144902236852674734097805760/6445293530339151944559689*c_1001_6^6 - 267773615485837902826898360/6445293530339151944559689*c_1001_6^5 + 394177595888569563469772320/6445293530339151944559689*c_1001_6^4 - 389029557922273802779599980/6445293530339151944559689*c_1001_6^3 + 243921316813191219221790487/6445293530339151944559689*c_1001_6^2 - 116909776048630004691856660/6445293530339151944559689*c_1001_6 + 31605066534503469124403907/6445293530339151944559689, c_0011_3 - 16434322149004266058522/6445293530339151944559689*c_1001_6^1\ 3 + 135959165936598722042308/6445293530339151944559689*c_1001_6^12 - 644586518396575832322564/6445293530339151944559689*c_1001_6^11 + 2240835826891355988962312/6445293530339151944559689*c_1001_6^10 - 6965941113574562779576634/6445293530339151944559689*c_1001_6^9 + 17401278581934819606271508/6445293530339151944559689*c_1001_6^8 - 32986222290228884384641663/6445293530339151944559689*c_1001_6^7 + 55139820045702564832550652/6445293530339151944559689*c_1001_6^6 - 99608907606211480603127614/6445293530339151944559689*c_1001_6^5 + 150585257229114821966146768/6445293530339151944559689*c_1001_6^4 - 154427278941261077365448773/6445293530339151944559689*c_1001_6^3 + 88131590177556312140134188/6445293530339151944559689*c_1001_6^2 - 26958744508417595131334298/6445293530339151944559689*c_1001_6 + 2597891452148504012347936/6445293530339151944559689, c_0011_4 - 12559011469568164274958/6445293530339151944559689*c_1001_6^1\ 3 + 100238395993930398918741/6445293530339151944559689*c_1001_6^12 - 455854179984168634234800/6445293530339151944559689*c_1001_6^11 + 1527230322063360095088919/6445293530339151944559689*c_1001_6^10 - 4664799109939927629377624/6445293530339151944559689*c_1001_6^9 + 11267817371623691714115793/6445293530339151944559689*c_1001_6^8 - 19911373996141184728260264/6445293530339151944559689*c_1001_6^7 + 31883421585103004769923356/6445293530339151944559689*c_1001_6^6 - 60229092404395314628259902/6445293530339151944559689*c_1001_6^5 + 85963202104279309411407020/6445293530339151944559689*c_1001_6^4 - 69488862085189797218591196/6445293530339151944559689*c_1001_6^3 + 21665673004724376113472852/6445293530339151944559689*c_1001_6^2 - 2289072486934339761228446/6445293530339151944559689*c_1001_6 - 4186387097010392978309849/6445293530339151944559689, c_0011_5 + 28742640685898610369883/6445293530339151944559689*c_1001_6^1\ 3 - 263097535862040992606748/6445293530339151944559689*c_1001_6^12 + 1329080766167411789468664/6445293530339151944559689*c_1001_6^11 - 4855081634198280068432724/6445293530339151944559689*c_1001_6^10 + 15384897430863046880870484/6445293530339151944559689*c_1001_6^9 - 40348098146685288109250796/6445293530339151944559689*c_1001_6^8 + 81987763450152985581846652/6445293530339151944559689*c_1001_6^7 - 141357672265150162013898928/6445293530339151944559689*c_1001_6^6 + 248858838920594585009748443/6445293530339151944559689*c_1001_6^5 - 400015830703020726930227184/6445293530339151944559689*c_1001_6^4 + 469349077399984735863644164/6445293530339151944559689*c_1001_6^3 - 349350206281020167426359308/6445293530339151944559689*c_1001_6^2 + 153503594693958141597709923/6445293530339151944559689*c_1001_6 - 45338790780005125121045024/6445293530339151944559689, c_0101_0 + 5972510464852126949396/6445293530339151944559689*c_1001_6^13 - 59243259874925612862180/6445293530339151944559689*c_1001_6^12 + 307062259549112589056462/6445293530339151944559689*c_1001_6^11 - 1148262415988255023095888/6445293530339151944559689*c_1001_6^10 + 3671412070207395369256291/6445293530339151944559689*c_1001_6^9 - 9883193792786284040382900/6445293530339151944559689*c_1001_6^8 + 20549129228936951603935462/6445293530339151944559689*c_1001_6^7 - 36064325213689868826403936/6445293530339151944559689*c_1001_6^6 + 64068574703673892206042057/6445293530339151944559689*c_1001_6^5 - 104534733995747806088329132/6445293530339151944559689*c_1001_6^4 + 127120441061221185252053246/6445293530339151944559689*c_1001_6^3 - 110997361962098453144620324/6445293530339151944559689*c_1001_6^2 + 58417884747990684230155263/6445293530339151944559689*c_1001_6 - 18655942606473205217893896/6445293530339151944559689, c_0101_1 - 12559011469568164274958/6445293530339151944559689*c_1001_6^1\ 3 + 100238395993930398918741/6445293530339151944559689*c_1001_6^12 - 455854179984168634234800/6445293530339151944559689*c_1001_6^11 + 1527230322063360095088919/6445293530339151944559689*c_1001_6^10 - 4664799109939927629377624/6445293530339151944559689*c_1001_6^9 + 11267817371623691714115793/6445293530339151944559689*c_1001_6^8 - 19911373996141184728260264/6445293530339151944559689*c_1001_6^7 + 31883421585103004769923356/6445293530339151944559689*c_1001_6^6 - 60229092404395314628259902/6445293530339151944559689*c_1001_6^5 + 85963202104279309411407020/6445293530339151944559689*c_1001_6^4 - 69488862085189797218591196/6445293530339151944559689*c_1001_6^3 + 21665673004724376113472852/6445293530339151944559689*c_1001_6^2 - 2289072486934339761228446/6445293530339151944559689*c_1001_6 - 4186387097010392978309849/6445293530339151944559689, c_0101_10 - 6323108083617787821658/6445293530339151944559689*c_1001_6^1\ 3 + 36264554930564341704222/6445293530339151944559689*c_1001_6^12 - 127315713387400176404080/6445293530339151944559689*c_1001_6^11 + 331724223339770710704910/6445293530339151944559689*c_1001_6^10 - 950850561159531109863404/6445293530339151944559689*c_1001_6^9 + 1435976138069246483007573/6445293530339151944559689*c_1001_6^8 - 406995453530000657207020/6445293530339151944559689*c_1001_6^7 + 478483898679277207663408/6445293530339151944559689*c_1001_6^6 - 5027948285099915674595102/6445293530339151944559689*c_1001_6^5 - 7251868390443403286864756/6445293530339151944559689*c_1001_6^4 + 27383958839454073288829696/6445293530339151944559689*c_1001_6^3 - 25860524399296601951036351/6445293530339151944559689*c_1001_6^2 + 1138656818696486944627142/6445293530339151944559689*c_1001_6 - 7678036715879226688515903/6445293530339151944559689, c_0101_3 - 23485637959116744630883/6445293530339151944559689*c_1001_6^1\ 3 + 195444706938530515993340/6445293530339151944559689*c_1001_6^12 - 926368025509993208503080/6445293530339151944559689*c_1001_6^11 + 3234490746625351099401656/6445293530339151944559689*c_1001_6^10 - 10103244705625570313142892/6445293530339151944559689*c_1001_6^9 + 25431021533628012844868456/6445293530339151944559689*c_1001_6^8 - 48613360335551388119249366/6445293530339151944559689*c_1001_6^7 + 82792312451053143708460948/6445293530339151944559689*c_1001_6^6 - 151458730145221618792388334/6445293530339151944559689*c_1001_6^5 + 228905620370983051098240092/6445293530339151944559689*c_1001_6^4 - 240722726883160588992211880/6445293530339151944559689*c_1001_6^3 + 171944938827423558287499728/6445293530339151944559689*c_1001_6^2 - 90644071862798481012151919/6445293530339151944559689*c_1001_6 + 27198217789735313523221944/6445293530339151944559689, c_1001_10 + 53464835389514726029798/6445293530339151944559689*c_1001_6^\ 13 - 416383113342233914124844/6445293530339151944559689*c_1001_6^12 + 1893715826986245303909508/6445293530339151944559689*c_1001_6^11 - 6391174088863237997165280/6445293530339151944559689*c_1001_6^10 + 19747255437343947978180156/6445293530339151944559689*c_1001_6^9 - 47844182414629845080273168/6445293530339151944559689*c_1001_6^8 + 86725398505322472093842764/6445293530339151944559689*c_1001_6^7 - 145380720751354011305469168/6445293530339151944559689*c_1001_6^6 + 272801563770937818501493462/6445293530339151944559689*c_1001_6^5 - 386925727498126160182907564/6445293530339151944559689*c_1001_6^4 + 361645599082819729490770284/6445293530339151944559689*c_1001_6^3 - 218060792413894617270754136/6445293530339151944559689*c_1001_6^2 + 115771119229933517747229518/6445293530339151944559689*c_1001_6 - 23927029818624242435888004/6445293530339151944559689, c_1001_6^14 - 10*c_1001_6^13 + 54*c_1001_6^12 - 208*c_1001_6^11 + 678*c_1001_6^10 - 1856*c_1001_6^9 + 4040*c_1001_6^8 - 7328*c_1001_6^7 + 12833*c_1001_6^6 - 21298*c_1001_6^5 + 28198*c_1001_6^4 - 26060*c_1001_6^3 + 16009*c_1001_6^2 - 6502*c_1001_6 + 1682 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB