Magma V2.19-8 Wed Aug 21 2013 00:54:56 on localhost [Seed = 829893452] Type ? for help. Type -D to quit. Loading file "L12n767__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n767 geometric_solution 12.35550472 oriented_manifold CS_known -0.0000000000000004 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 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 -2 1 0 0 1 -1 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.521674387764 1.359792244611 0 5 4 6 0132 0132 0132 0132 0 1 1 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 2 -1 -1 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535325317487 0.569737421048 7 0 9 8 0132 0132 0132 0132 0 1 1 1 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 -1 0 0 1 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.698205192599 0.794894480180 9 10 11 0 1230 0132 0132 0132 0 1 1 0 0 1 0 -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 -2 0 2 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.319464992706 0.477821537619 5 7 0 1 0132 0132 0132 0132 0 1 1 1 0 0 1 -1 0 0 0 0 0 1 0 -1 -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 2 0 -2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.027452152430 1.345918757957 4 1 12 12 0132 0132 0132 3120 0 1 1 1 0 1 0 -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 -2 0 2 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.517230734108 0.539887661640 9 10 1 11 0213 2031 0132 0132 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 -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.713917644380 0.675389545586 2 4 10 11 0132 0132 0321 2310 0 1 1 1 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 -1 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.435788895078 0.700229359976 9 11 2 12 2103 2103 0132 0132 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 0 0 0 0 0 -1 1 0 0 -1 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 1.209788946737 1.198026334639 6 3 8 2 0213 3012 2103 0132 0 1 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 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486662420816 0.605877466782 6 3 7 12 1302 0132 0321 3201 0 1 0 1 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 2 0 -2 1 0 -2 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.461709654538 0.732918504438 7 8 6 3 3201 2103 0132 0132 0 1 0 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 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.688755781079 0.927122905877 5 10 8 5 3120 2310 0132 0132 0 1 1 0 0 0 0 0 0 0 0 0 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 1 -1 0 1 0 -1 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.920358411132 1.029249758761 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0110_10']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : negation(d['c_0011_12']), 'c_1001_0' : d['c_0011_11'], 'c_1001_3' : negation(d['c_1001_12']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : negation(d['c_0110_10']), 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : negation(d['c_1001_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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_6']), '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_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' : 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_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_12']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : d['c_0011_11'], 'c_1010_2' : d['c_0011_11'], 'c_1010_1' : negation(d['c_0110_10']), 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : d['c_1001_12'], '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'], 'c_1100_12' : negation(d['c_0101_12']), '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_11'], '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' : d['c_0101_3'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0011_6'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0011_9'], 'c_1100_9' : negation(d['c_0101_12']), 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_11']), 'c_1100_8' : negation(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_6, c_0011_9, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0110_10, c_1001_12, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 6187786955501913891/6997892826158084*c_1100_0^11 + 19810185214878927909/13995785652316168*c_1100_0^10 + 27735273440011237311/27991571304632336*c_1100_0^9 - 91656028968124254241/55983142609264672*c_1100_0^8 - 88232782130787950839/27991571304632336*c_1100_0^7 + 230237727993032071073/55983142609264672*c_1100_0^6 + 18252617312516074081/13995785652316168*c_1100_0^5 - 200377773910000401759/55983142609264672*c_1100_0^4 + 73467508418643137597/55983142609264672*c_1100_0^3 + 41414431183595603353/55983142609264672*c_1100_0^2 - 10871158501592598519/13995785652316168*c_1100_0 + 1170271017251575815/13995785652316168, c_0011_0 - 1, c_0011_10 - 655215520815/34889679647*c_1100_0^11 + 2067677600685/69779359294*c_1100_0^10 + 2664128590639/139558718588*c_1100_0^9 - 8861997467017/279117437176*c_1100_0^8 - 2275914970247/34889679647*c_1100_0^7 + 23743547749121/279117437176*c_1100_0^6 + 3104596435663/139558718588*c_1100_0^5 - 19178946305675/279117437176*c_1100_0^4 + 7333302539259/279117437176*c_1100_0^3 + 3037394746719/279117437176*c_1100_0^2 - 1881087237917/139558718588*c_1100_0 + 203394387793/69779359294, c_0011_11 - 1, c_0011_12 - 178606587573/34889679647*c_1100_0^11 + 773811246663/69779359294*c_1100_0^10 + 640805766333/139558718588*c_1100_0^9 - 4227651314587/279117437176*c_1100_0^8 - 1289767406551/69779359294*c_1100_0^7 + 9691557983779/279117437176*c_1100_0^6 + 931828814903/139558718588*c_1100_0^5 - 8265746390505/279117437176*c_1100_0^4 + 3320805230965/279117437176*c_1100_0^3 + 1392942674097/279117437176*c_1100_0^2 - 940205452909/139558718588*c_1100_0 + 94017517325/69779359294, c_0011_6 - 7914873068/34889679647*c_1100_0^11 + 614292031450/104669038941*c_1100_0^10 - 2238115425359/314007116823*c_1100_0^9 - 4723179905179/628014233646*c_1100_0^8 + 4028604112157/628014233646*c_1100_0^7 + 13948123571783/628014233646*c_1100_0^6 - 12150705644525/628014233646*c_1100_0^5 - 851673804679/69779359294*c_1100_0^4 + 5199364577416/314007116823*c_1100_0^3 - 603438833186/314007116823*c_1100_0^2 - 1782075692519/628014233646*c_1100_0 + 491758021370/314007116823, c_0011_9 - 419607903846/34889679647*c_1100_0^11 + 740465459153/34889679647*c_1100_0^10 + 2293362632593/209338077882*c_1100_0^9 - 10543898656871/418676155764*c_1100_0^8 - 1390737101639/34889679647*c_1100_0^7 + 26751714917267/418676155764*c_1100_0^6 + 755356362781/69779359294*c_1100_0^5 - 7414873371003/139558718588*c_1100_0^4 + 10242742717673/418676155764*c_1100_0^3 + 3678345190717/418676155764*c_1100_0^2 - 2732648002829/209338077882*c_1100_0 + 129168485882/34889679647, c_0101_1 + 227256857790/34889679647*c_1100_0^11 - 488976363049/34889679647*c_1100_0^10 - 592445794721/209338077882*c_1100_0^9 + 6735657034399/418676155764*c_1100_0^8 + 1335789042515/69779359294*c_1100_0^7 - 17556813470263/418676155764*c_1100_0^6 + 98700881560/34889679647*c_1100_0^5 + 4269004087783/139558718588*c_1100_0^4 - 8786504514895/418676155764*c_1100_0^3 - 498490467935/418676155764*c_1100_0^2 + 868860926774/104669038941*c_1100_0 - 80170064928/34889679647, c_0101_11 - 230889524134/34889679647*c_1100_0^11 + 1372716103451/104669038941*c_1100_0^10 + 2142066003115/628014233646*c_1100_0^9 - 19459454839597/1256028467292*c_1100_0^8 - 5565432945394/314007116823*c_1100_0^7 + 51092834282873/1256028467292*c_1100_0^6 - 2229136616971/628014233646*c_1100_0^5 - 4605389113483/139558718588*c_1100_0^4 + 28674355193711/1256028467292*c_1100_0^3 + 4589936725367/1256028467292*c_1100_0^2 - 6341211802255/628014233646*c_1100_0 + 1121199905557/314007116823, c_0101_12 + 278882022267/34889679647*c_1100_0^11 - 1002333192081/69779359294*c_1100_0^10 - 636830595931/139558718588*c_1100_0^9 + 4213543397629/279117437176*c_1100_0^8 + 780440014317/34889679647*c_1100_0^7 - 11954181447245/279117437176*c_1100_0^6 + 460161300841/139558718588*c_1100_0^5 + 9187199174959/279117437176*c_1100_0^4 - 6358964289295/279117437176*c_1100_0^3 - 894024508787/279117437176*c_1100_0^2 + 1271027288549/139558718588*c_1100_0 - 195971811279/69779359294, c_0101_3 - 6508092897/34889679647*c_1100_0^11 - 8440239765/69779359294*c_1100_0^10 + 255442427881/139558718588*c_1100_0^9 - 264650389711/279117437176*c_1100_0^8 - 211374839735/69779359294*c_1100_0^7 - 15142104881/279117437176*c_1100_0^6 + 792455908231/139558718588*c_1100_0^5 - 611608151885/279117437176*c_1100_0^4 - 973102985287/279117437176*c_1100_0^3 + 741040474765/279117437176*c_1100_0^2 - 52586958453/139558718588*c_1100_0 - 49730207483/69779359294, c_0110_10 + 324564285780/34889679647*c_1100_0^11 - 510698289318/34889679647*c_1100_0^10 - 240603725249/34889679647*c_1100_0^9 + 978667697295/69779359294*c_1100_0^8 + 968164138663/34889679647*c_1100_0^7 - 2972397025157/69779359294*c_1100_0^6 - 34422483385/34889679647*c_1100_0^5 + 2280378514879/69779359294*c_1100_0^4 - 1355437710729/69779359294*c_1100_0^3 - 370768396641/69779359294*c_1100_0^2 + 265678183901/34889679647*c_1100_0 - 51613430957/34889679647, c_1001_12 - 896393073861/69779359294*c_1100_0^11 + 3355637364831/139558718588*c_1100_0^10 + 2773775080565/279117437176*c_1100_0^9 - 17066798081811/558234874352*c_1100_0^8 - 1414121907110/34889679647*c_1100_0^7 + 42197839060379/558234874352*c_1100_0^6 + 2240107932081/279117437176*c_1100_0^5 - 36322298829305/558234874352*c_1100_0^4 + 17006626190465/558234874352*c_1100_0^3 + 5846076207837/558234874352*c_1100_0^2 - 4236103822747/279117437176*c_1100_0 + 516616184251/139558718588, c_1100_0^12 - 13/6*c_1100_0^11 - 5/36*c_1100_0^10 + 19/8*c_1100_0^9 + 29/12*c_1100_0^8 - 157/24*c_1100_0^7 + 13/9*c_1100_0^6 + 329/72*c_1100_0^5 - 283/72*c_1100_0^4 + 7/24*c_1100_0^3 + 23/18*c_1100_0^2 - 2/3*c_1100_0 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.250 Total time: 0.470 seconds, Total memory usage: 32.09MB