Magma V2.19-8 Tue Aug 20 2013 17:56:07 on localhost [Seed = 3347476482] Type ? for help. Type -D to quit. Loading file "11_486__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_486 geometric_solution 8.56716138 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 1302 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 1 -1 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.243782809233 0.712919867099 0 4 6 5 0132 0132 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 -1 -7 0 8 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.069298066577 0.864754105713 0 0 8 7 2031 0132 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 -1 1 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 1.429433395764 1.255837523570 6 7 0 8 2310 0321 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.013066316011 1.323135510148 5 1 8 8 0213 0132 1023 2031 0 0 0 0 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 0 0 0 1 0 0 -1 -8 1 0 7 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804709624608 1.060533425110 4 7 1 7 0213 0132 0132 1230 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 0 0 0 8 0 0 -8 -1 1 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.138664187532 0.769368867686 9 9 3 1 0132 2310 3201 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.277321505429 0.855361911029 5 5 2 3 3012 0132 0132 0321 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.645762360748 0.576812724017 3 4 4 2 3012 1302 1023 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.167938345050 0.911996957995 6 9 9 6 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.852963019608 0.620129189876 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : d['c_0011_5'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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' : negation(d['1']), 's_0_5' : negation(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' : negation(d['c_0011_6']), 'c_1100_8' : d['c_1001_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_2'], 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : d['c_0011_8'], 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_5']), '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_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_5'], '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_0011_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], '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_5']), 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0011_8, c_0101_1, c_0101_2, c_0101_7, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1293010092623698148745/7646406563199899507*c_1001_2^20 - 1701253555601927124024/7646406563199899507*c_1001_2^19 + 205992403977834328/2022323872837847*c_1001_2^18 - 34921657570107746702802/7646406563199899507*c_1001_2^17 + 50451226174863630761818/7646406563199899507*c_1001_2^16 - 9535603335184754151523/449788621364699971*c_1001_2^15 + 208980047727050500782268/7646406563199899507*c_1001_2^14 - 424468784684236923699650/7646406563199899507*c_1001_2^13 + 27897174963990616843517/449788621364699971*c_1001_2^12 - 719573073266150775247958/7646406563199899507*c_1001_2^11 + 38249669556600084886176/402442450694731553*c_1001_2^10 - 879808389914112102591436/7646406563199899507*c_1001_2^9 + 766341360782215228519100/7646406563199899507*c_1001_2^8 - 727906105742929086843579/7646406563199899507*c_1001_2^7 + 572377510643588291537717/7646406563199899507*c_1001_2^6 - 440550273593873772549236/7646406563199899507*c_1001_2^5 + 280995111831474347601279/7646406563199899507*c_1001_2^4 - 128944276310473413463750/7646406563199899507*c_1001_2^3 + 3495177662363539338870/449788621364699971*c_1001_2^2 - 776069042380702745046/449788621364699971*c_1001_2 + 3872631419647728130237/7646406563199899507, c_0011_0 - 1, c_0011_3 - 35454638783929/1154953668097*c_1001_2^20 - 89031937346108/1154953668097*c_1001_2^19 - 63918557242314/1154953668097*c_1001_2^18 - 991059039406222/1154953668097*c_1001_2^17 + 216215366348968/1154953668097*c_1001_2^16 - 3603296592219050/1154953668097*c_1001_2^15 + 1012278723125503/1154953668097*c_1001_2^14 - 8077248358305900/1154953668097*c_1001_2^13 + 1606676305494503/1154953668097*c_1001_2^12 - 12138990106258544/1154953668097*c_1001_2^11 + 1710358368890552/1154953668097*c_1001_2^10 - 13026267883907704/1154953668097*c_1001_2^9 + 31794327856626/1154953668097*c_1001_2^8 - 9507515453125964/1154953668097*c_1001_2^7 - 745929331566457/1154953668097*c_1001_2^6 - 4818960924621555/1154953668097*c_1001_2^5 - 1573584964075568/1154953668097*c_1001_2^4 - 821027903720440/1154953668097*c_1001_2^3 - 653672269423523/1154953668097*c_1001_2^2 - 14526155878074/1154953668097*c_1001_2 - 74909348063436/1154953668097, c_0011_5 - 11573101031897/1154953668097*c_1001_2^20 - 7534702639435/1154953668097*c_1001_2^19 + 22782864643338/1154953668097*c_1001_2^18 - 305707807525604/1154953668097*c_1001_2^17 + 663858843249212/1154953668097*c_1001_2^16 - 1594485471737726/1154953668097*c_1001_2^15 + 2722830573002868/1154953668097*c_1001_2^14 - 4411275994463632/1154953668097*c_1001_2^13 + 6295701499288941/1154953668097*c_1001_2^12 - 7740266146357121/1154953668097*c_1001_2^11 + 9775735425146334/1154953668097*c_1001_2^10 - 9770994360948059/1154953668097*c_1001_2^9 + 10618092105734678/1154953668097*c_1001_2^8 - 8285369669055716/1154953668097*c_1001_2^7 + 8067821233600501/1154953668097*c_1001_2^6 - 5169135704885167/1154953668097*c_1001_2^5 + 4174811971732775/1154953668097*c_1001_2^4 - 1600430385914436/1154953668097*c_1001_2^3 + 942544146812108/1154953668097*c_1001_2^2 - 173559533696381/1154953668097*c_1001_2 + 68142415499351/1154953668097, c_0011_6 + 25485014429201/1154953668097*c_1001_2^20 + 73357268228560/1154953668097*c_1001_2^19 + 63853287764359/1154953668097*c_1001_2^18 + 717414424112017/1154953668097*c_1001_2^17 + 100840744633431/1154953668097*c_1001_2^16 + 2379079164200183/1154953668097*c_1001_2^15 + 319789828291440/1154953668097*c_1001_2^14 + 4932541369890062/1154953668097*c_1001_2^13 + 1387869116524615/1154953668097*c_1001_2^12 + 6861254488959538/1154953668097*c_1001_2^11 + 2833998566430315/1154953668097*c_1001_2^10 + 6641259700208193/1154953668097*c_1001_2^9 + 4658451614009860/1154953668097*c_1001_2^8 + 4249971796018301/1154953668097*c_1001_2^7 + 4174784406406321/1154953668097*c_1001_2^6 + 1669935018514141/1154953668097*c_1001_2^5 + 3176690923039541/1154953668097*c_1001_2^4 - 96059206722771/1154953668097*c_1001_2^3 + 945673944290810/1154953668097*c_1001_2^2 - 76725710639047/1154953668097*c_1001_2 + 87633770234546/1154953668097, c_0011_8 - 150050107768/1154953668097*c_1001_2^20 + 22778778138294/1154953668097*c_1001_2^19 + 46563667539414/1154953668097*c_1001_2^18 + 14580925677412/1154953668097*c_1001_2^17 + 638666874137760/1154953668097*c_1001_2^16 - 468476916174642/1154953668097*c_1001_2^15 + 2576533412879385/1154953668097*c_1001_2^14 - 1954297544794239/1154953668097*c_1001_2^13 + 6212923054788631/1154953668097*c_1001_2^12 - 4138510718494341/1154953668097*c_1001_2^11 + 9918257939489764/1154953668097*c_1001_2^10 - 6024695711936967/1154953668097*c_1001_2^9 + 11404281657097457/1154953668097*c_1001_2^8 - 5644356507818097/1154953668097*c_1001_2^7 + 8926431465514969/1154953668097*c_1001_2^6 - 3907607366525809/1154953668097*c_1001_2^5 + 5026854884869559/1154953668097*c_1001_2^4 - 1442577561537959/1154953668097*c_1001_2^3 + 1232670890826429/1154953668097*c_1001_2^2 - 182103921746396/1154953668097*c_1001_2 + 97872450311577/1154953668097, c_0101_1 - 5244373487832/1154953668097*c_1001_2^20 - 13726283710359/1154953668097*c_1001_2^19 - 10163180372924/1154953668097*c_1001_2^18 - 146082411627134/1154953668097*c_1001_2^17 + 17086189952413/1154953668097*c_1001_2^16 - 510856237486992/1154953668097*c_1001_2^15 + 82667063363377/1154953668097*c_1001_2^14 - 1108427180549663/1154953668097*c_1001_2^13 + 67396261523475/1154953668097*c_1001_2^12 - 1609220747275922/1154953668097*c_1001_2^11 - 24250199363435/1154953668097*c_1001_2^10 - 1656010593187092/1154953668097*c_1001_2^9 - 321157779064292/1154953668097*c_1001_2^8 - 1141280986476803/1154953668097*c_1001_2^7 - 360959210121660/1154953668097*c_1001_2^6 - 532558899813182/1154953668097*c_1001_2^5 - 375165322582471/1154953668097*c_1001_2^4 - 46352341786639/1154953668097*c_1001_2^3 - 125521740897655/1154953668097*c_1001_2^2 + 4768688176426/1154953668097*c_1001_2 - 12385861629611/1154953668097, c_0101_2 + 1556266584298/1154953668097*c_1001_2^20 + 3997582766857/1154953668097*c_1001_2^19 + 2849748767233/1154953668097*c_1001_2^18 + 43229099383284/1154953668097*c_1001_2^17 - 7297215847493/1154953668097*c_1001_2^16 + 152529065726059/1154953668097*c_1001_2^15 - 33656309548869/1154953668097*c_1001_2^14 + 332761708792528/1154953668097*c_1001_2^13 - 42180923429498/1154953668097*c_1001_2^12 + 484970275003521/1154953668097*c_1001_2^11 - 28606550161235/1154953668097*c_1001_2^10 + 501029837159791/1154953668097*c_1001_2^9 + 53288518216017/1154953668097*c_1001_2^8 + 346102032471772/1154953668097*c_1001_2^7 + 73798175444345/1154953668097*c_1001_2^6 + 163134817311188/1154953668097*c_1001_2^5 + 91792189272047/1154953668097*c_1001_2^4 + 16222155836890/1154953668097*c_1001_2^3 + 32163515884540/1154953668097*c_1001_2^2 - 1230699981558/1154953668097*c_1001_2 + 3237536734695/1154953668097, c_0101_7 - 885049598261/1154953668097*c_1001_2^20 - 1293482182935/1154953668097*c_1001_2^19 + 346364977060/1154953668097*c_1001_2^18 - 23828115838467/1154953668097*c_1001_2^17 + 31110391221105/1154953668097*c_1001_2^16 - 106407683037951/1154953668097*c_1001_2^15 + 127893200159680/1154953668097*c_1001_2^14 - 272184926598698/1154953668097*c_1001_2^13 + 285381684223989/1154953668097*c_1001_2^12 - 452279824386847/1154953668097*c_1001_2^11 + 431173846834711/1154953668097*c_1001_2^10 - 541956225685589/1154953668097*c_1001_2^9 + 442925125767314/1154953668097*c_1001_2^8 - 437964556170077/1154953668097*c_1001_2^7 + 322420356989788/1154953668097*c_1001_2^6 - 258312713791933/1154953668097*c_1001_2^5 + 148742102098698/1154953668097*c_1001_2^4 - 69513913907692/1154953668097*c_1001_2^3 + 26532278246527/1154953668097*c_1001_2^2 - 6350069903291/1154953668097*c_1001_2 + 401312916201/1154953668097, c_0101_8 + 9462659588226/1154953668097*c_1001_2^20 + 31623717758938/1154953668097*c_1001_2^19 + 33124123323473/1154953668097*c_1001_2^18 + 271281384613915/1154953668097*c_1001_2^17 + 159031848036845/1154953668097*c_1001_2^16 + 812210492364583/1154953668097*c_1001_2^15 + 601554920517596/1154953668097*c_1001_2^14 + 1519260079840964/1154953668097*c_1001_2^13 + 1671102508578654/1154953668097*c_1001_2^12 + 1885978259527740/1154953668097*c_1001_2^11 + 2894566002986975/1154953668097*c_1001_2^10 + 1499534924999210/1154953668097*c_1001_2^9 + 3843296235365867/1154953668097*c_1001_2^8 + 686570425389417/1154953668097*c_1001_2^7 + 3215827961052429/1154953668097*c_1001_2^6 + 3128505176988/1154953668097*c_1001_2^5 + 2118952689273430/1154953668097*c_1001_2^4 - 251944285098087/1154953668097*c_1001_2^3 + 593783391350626/1154953668097*c_1001_2^2 - 55393551141527/1154953668097*c_1001_2 + 53723537335545/1154953668097, c_1001_2^21 + 2*c_1001_2^20 + c_1001_2^19 + 28*c_1001_2^18 - 20*c_1001_2^17 + 118*c_1001_2^16 - 90*c_1001_2^15 + 296*c_1001_2^14 - 202*c_1001_2^13 + 495*c_1001_2^12 - 309*c_1001_2^11 + 599*c_1001_2^10 - 314*c_1001_2^9 + 507*c_1001_2^8 - 234*c_1001_2^7 + 312*c_1001_2^6 - 107*c_1001_2^5 + 106*c_1001_2^4 - 24*c_1001_2^3 + 17*c_1001_2^2 - 2*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.270 seconds, Total memory usage: 32.09MB