Magma V2.19-8 Wed Aug 21 2013 00:59:53 on localhost [Seed = 1393903736] Type ? for help. Type -D to quit. Loading file "L13n787__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n787 geometric_solution 12.07406134 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 0 0 -1 -2 3 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 -1 2 1 0 0 -1 -11 1 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702737824826 0.784824479958 0 3 6 5 0132 2103 0132 0132 0 1 0 1 0 0 -1 1 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 -1 1 -1 0 1 0 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367508877415 0.537008624224 4 0 8 7 1023 0132 0132 0132 0 0 0 1 0 1 -1 0 -2 0 2 0 0 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 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.277183876331 0.929699480961 5 1 4 0 0132 2103 2103 0132 0 1 0 1 0 0 -2 2 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 -1 1 0 0 0 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541841121311 0.455132343391 3 2 0 9 2103 1023 0132 0132 0 1 0 1 0 2 -3 1 0 0 0 0 2 0 0 -2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0 1 -1 1 0 0 -1 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.957580189991 1.340779659686 3 10 1 11 0132 0132 0132 0132 0 1 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 0 0 0 0 0 1 -1 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.508864537657 1.289812144568 11 9 9 1 0132 0321 3201 0132 0 1 1 1 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 -1 0 1 0 0 1 -1 0 -11 0 11 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555268733379 1.045581828126 8 8 2 12 0321 3120 0132 0132 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 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.294509259323 0.987810363125 7 7 10 2 0321 3120 0132 0132 0 0 1 0 0 0 -1 1 0 0 2 -2 0 0 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 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.294509259323 0.987810363125 6 10 4 6 2310 2031 0132 0321 0 1 1 0 0 0 -1 1 0 0 0 0 0 -1 0 1 0 -2 2 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 -1 -10 0 11 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555268733379 1.045581828126 9 5 12 8 1302 0132 0132 0132 0 0 0 1 0 -1 0 1 2 0 0 -2 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 -1 0 1 1 0 0 -1 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344211495603 0.633340313144 6 12 5 12 0132 0132 0132 1230 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 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.475753347912 0.526540268986 11 11 7 10 3012 0132 0132 0132 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 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.949585938676 0.953740445617 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : negation(d['c_1001_0']), 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_1001_0']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 'c_0101_12' : negation(d['c_0011_8']), 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : negation(d['c_0011_9']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_9']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : negation(d['c_0101_9']), 'c_1100_7' : d['c_1100_10'], 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : negation(d['c_0011_9']), 'c_1100_0' : negation(d['c_0101_9']), 'c_1100_3' : negation(d['c_0101_9']), 'c_1100_2' : d['c_1100_10'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : d['c_1100_10'], 's_3_10' : negation(d['1']), 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0011_7']), 'c_1100_8' : d['c_1100_10'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 'c_1100_12' : d['c_1100_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_12' : negation(d['c_0011_9']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_7']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : negation(d['c_0011_7']), '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_0101_7'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['1']})} 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_7, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_7, c_0101_9, c_1001_0, c_1001_10, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 4204819652761042923565311/3077817683705861081273466880*c_1100_10^8 - 871195097329659917988049727/3077817683705861081273466880*c_1100_10^\ 7 - 24061188304093748401720961/23675520643891239086718976*c_1100_10\ ^6 - 1321323833069096474976727263/3077817683705861081273466880*c_11\ 00_10^5 + 67258455062189538030482369/24045450653952039697448960*c_1\ 100_10^4 - 266059828706963559099150221/12022725326976019848724480*c\ _1100_10^3 - 1675875896149848115771673801/4809090130790407939489792\ 0*c_1100_10^2 - 199852567574961632260749241/60113626634880099243622\ 40*c_1100_10 - 78884363984606481967868497/3005681331744004962181120\ , c_0011_0 - 1, c_0011_10 - 601246907877173/34862221997587512320*c_1100_10^8 + 125808290280054341/34862221997587512320*c_1100_10^7 + 1454908903164507/268170938442980864*c_1100_10^6 - 315346628978836411/34862221997587512320*c_1100_10^5 + 5209571759701389/2178888874849219520*c_1100_10^4 + 792128235495408273/2178888874849219520*c_1100_10^3 - 99003144454196371/272361109356152440*c_1100_10^2 + 29318885313304663/68090277339038110*c_1100_10 + 19909070552575721/34045138669519055, c_0011_11 + 2753364875578019/139448887990350049280*c_1100_10^8 - 574569368217864723/139448887990350049280*c_1100_10^7 - 9160664141198533/1072683753771923456*c_1100_10^6 + 586088803905126813/139448887990350049280*c_1100_10^5 + 75876290153129403/8715555499396878080*c_1100_10^4 - 214605012148003609/544722218712304880*c_1100_10^3 + 73797236295844271/2178888874849219520*c_1100_10^2 - 220687815727407459/272361109356152440*c_1100_10 - 65030427548864833/136180554678076220, c_0011_7 + 797110371685691/34862221997587512320*c_1100_10^8 - 164221595725475947/34862221997587512320*c_1100_10^7 - 6063121873870637/268170938442980864*c_1100_10^6 - 474371243122335803/34862221997587512320*c_1100_10^5 + 170006664914269127/2178888874849219520*c_1100_10^4 - 151508763529910849/544722218712304880*c_1100_10^3 - 599612293436134151/544722218712304880*c_1100_10^2 - 758404275042633/34045138669519055*c_1100_10 - 30278005390290847/34045138669519055, c_0011_8 - 797110371685691/34862221997587512320*c_1100_10^8 + 164221595725475947/34862221997587512320*c_1100_10^7 + 6063121873870637/268170938442980864*c_1100_10^6 + 474371243122335803/34862221997587512320*c_1100_10^5 - 170006664914269127/2178888874849219520*c_1100_10^4 + 151508763529910849/544722218712304880*c_1100_10^3 + 599612293436134151/544722218712304880*c_1100_10^2 + 758404275042633/34045138669519055*c_1100_10 + 30278005390290847/34045138669519055, c_0011_9 + 34763397098791/871555549939687808*c_1100_10^8 - 14508224682778503/1743111099879375616*c_1100_10^7 - 2334111714802395/134085469221490432*c_1100_10^6 + 11722628153253133/435777774969843904*c_1100_10^5 + 133607793523031025/1743111099879375616*c_1100_10^4 - 349149901904744147/435777774969843904*c_1100_10^3 + 991546720045005/13618055467807622*c_1100_10^2 - 1629478884734371/27236110935615244*c_1100_10 - 2173340049557501/6809027733903811, c_0101_0 + 5682498014317/136180554678076220*c_1100_10^8 - 38005699093145023/4357777749698439040*c_1100_10^7 - 1018652116464007/67042734610745216*c_1100_10^6 + 7611826100829961/544722218712304880*c_1100_10^5 + 148150069795376563/4357777749698439040*c_1100_10^4 - 1730010581963138957/2178888874849219520*c_1100_10^3 + 28149794616119481/68090277339038110*c_1100_10^2 - 57174654527593146/34045138669519055*c_1100_10 + 15377984076349251/34045138669519055, c_0101_1 - 1, c_0101_7 - 63437998146359/1089444437424609760*c_1100_10^8 + 106110958184059779/8715555499396878080*c_1100_10^7 + 2725864344999185/134085469221490432*c_1100_10^6 - 156993628935122287/4357777749698439040*c_1100_10^5 - 749840063455348339/8715555499396878080*c_1100_10^4 + 2478609020934846733/2178888874849219520*c_1100_10^3 - 167501977119647941/272361109356152440*c_1100_10^2 + 24075976458751173/68090277339038110*c_1100_10 - 13408073056005304/34045138669519055, c_0101_9 + 48692592612919/6972444399517502464*c_1100_10^8 - 10277901626960243/6972444399517502464*c_1100_10^7 + 119030511440049/268170938442980864*c_1100_10^6 + 105937582403018081/6972444399517502464*c_1100_10^5 + 6349371477047975/1743111099879375616*c_1100_10^4 - 91593182054520129/435777774969843904*c_1100_10^3 + 19738386738861625/108944443742460976*c_1100_10^2 + 7289666172535965/13618055467807622*c_1100_10 + 701106629673439/6809027733903811, c_1001_0 - 63437998146359/1089444437424609760*c_1100_10^8 + 106110958184059779/8715555499396878080*c_1100_10^7 + 2725864344999185/134085469221490432*c_1100_10^6 - 156993628935122287/4357777749698439040*c_1100_10^5 - 749840063455348339/8715555499396878080*c_1100_10^4 + 2478609020934846733/2178888874849219520*c_1100_10^3 - 167501977119647941/272361109356152440*c_1100_10^2 + 92166253797789283/68090277339038110*c_1100_10 - 13408073056005304/34045138669519055, c_1001_10 + 77188730577967/17431110998793756160*c_1100_10^8 - 17692251150903449/17431110998793756160*c_1100_10^7 + 143094215141891/8380341826343152*c_1100_10^6 + 629160256633824709/17431110998793756160*c_1100_10^5 - 311300717489854003/8715555499396878080*c_1100_10^4 - 332487582185388219/2178888874849219520*c_1100_10^3 + 437949102550364083/272361109356152440*c_1100_10^2 - 108618797040355263/136180554678076220*c_1100_10 + 55413853649795437/34045138669519055, c_1100_10^9 - 209*c_1100_10^8 - 366*c_1100_10^7 + 447*c_1100_10^6 + 1168*c_1100_10^5 - 19200*c_1100_10^4 + 8768*c_1100_10^3 - 29184*c_1100_10^2 + 9216*c_1100_10 - 16384 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB