Magma V2.19-8 Tue Aug 20 2013 23:41:35 on localhost [Seed = 3583226211] Type ? for help. Type -D to quit. Loading file "K12n640__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n640 geometric_solution 11.65039248 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -12 -1 13 0 0 0 0 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500523974226 1.020678132145 0 5 6 4 0132 0132 0132 2031 0 0 0 0 0 0 0 0 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 0 0 0 0 0 13 -13 -12 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734544278691 0.839053750834 7 0 3 8 0132 0132 1302 0132 0 0 0 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 12 -12 0 0 0 -1 1 -13 12 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366127529865 0.862201117390 2 9 10 0 2031 0132 0132 0132 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 -1 0 1 12 0 -12 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.057751801190 0.824544524934 11 1 0 8 0132 1302 0132 0213 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 13 -13 0 0 0 0 0 1 0 0 -1 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553866559402 0.842142746629 9 1 7 11 0213 0132 0132 3012 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 13 0 0 -13 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.780711532338 1.155161487197 11 8 10 1 3120 1023 2103 0132 0 0 0 0 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 0 0 13 0 0 -13 -12 12 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568035130424 0.490404063883 2 9 10 5 0132 0213 0213 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -13 0 13 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422337416866 0.877344740284 6 10 2 4 1023 0213 0132 0213 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 -12 12 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737834522792 0.775348985905 5 3 7 11 0213 0132 0213 3201 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 1 0 -1 -13 0 13 0 0 1 0 -1 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.196119792842 1.397369666958 6 7 8 3 2103 0213 0213 0132 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 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118130894755 0.856065721550 4 9 5 6 0132 2310 1230 3120 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 13 -13 -12 0 0 12 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521304046481 0.567670530627 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0101_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_11']), 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_1001_11']), 's_3_11' : 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' : 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_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_1100_5' : negation(d['c_1001_11']), 'c_1100_4' : d['c_1010_8'], 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_1010_8'], 'c_1100_3' : d['c_1010_8'], 'c_1100_2' : d['c_0101_3'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_6']), 'c_1100_10' : d['c_1010_8'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_1001_11']), 'c_1010_8' : d['c_1010_8'], 'c_1100_8' : d['c_0101_3'], '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_6'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_11'], '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 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_1001_0, c_1001_11, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1704684965702048/6642642931*c_1010_8^11 + 76096352665537780/6642642931*c_1010_8^10 - 601669655847066580/6642642931*c_1010_8^9 + 2205185226480100093/6642642931*c_1010_8^8 - 4746495742841068790/6642642931*c_1010_8^7 + 6755291815188954427/6642642931*c_1010_8^6 - 6722186223036378082/6642642931*c_1010_8^5 + 4609874352707006383/6642642931*c_1010_8^4 - 2044550321648956233/6642642931*c_1010_8^3 + 557391626247919759/6642642931*c_1010_8^2 - 89692434801359290/6642642931*c_1010_8 + 6042816588952075/6642642931, c_0011_0 - 1, c_0011_10 - 19924548370/6642642931*c_1010_8^11 + 894648088643/6642642931*c_1010_8^10 - 7263499026991/6642642931*c_1010_8^9 + 27523798626961/6642642931*c_1010_8^8 - 61512034993339/6642642931*c_1010_8^7 + 90970265114374/6642642931*c_1010_8^6 - 94129217947369/6642642931*c_1010_8^5 + 67644354628080/6642642931*c_1010_8^4 - 31753837335290/6642642931*c_1010_8^3 + 8978098278530/6642642931*c_1010_8^2 - 1404843170131/6642642931*c_1010_8 + 91975721916/6642642931, c_0011_11 - 5975814856/6642642931*c_1010_8^11 + 266731850071/6642642931*c_1010_8^10 - 2107292561970/6642642931*c_1010_8^9 + 7689374667731/6642642931*c_1010_8^8 - 16371412955212/6642642931*c_1010_8^7 + 22839617473123/6642642931*c_1010_8^6 - 22037670294219/6642642931*c_1010_8^5 + 14377464976498/6642642931*c_1010_8^4 - 5781634876011/6642642931*c_1010_8^3 + 1328605079112/6642642931*c_1010_8^2 - 209684154756/6642642931*c_1010_8 + 19634632368/6642642931, c_0011_3 + 3470232483/6642642931*c_1010_8^11 - 157028055998/6642642931*c_1010_8^10 + 1319365929045/6642642931*c_1010_8^9 - 5235397828643/6642642931*c_1010_8^8 + 12377363870907/6642642931*c_1010_8^7 - 19512291614161/6642642931*c_1010_8^6 + 21709327950293/6642642931*c_1010_8^5 - 17126245973091/6642642931*c_1010_8^4 + 9192514184662/6642642931*c_1010_8^3 - 3129168368061/6642642931*c_1010_8^2 + 599914661990/6642642931*c_1010_8 - 44540212350/6642642931, c_0011_6 + 1717486458/6642642931*c_1010_8^11 - 75927101505/6642642931*c_1010_8^10 + 572801107152/6642642931*c_1010_8^9 - 1946201484523/6642642931*c_1010_8^8 + 3722373649766/6642642931*c_1010_8^7 - 4425503580443/6642642931*c_1010_8^6 + 3293929906046/6642642931*c_1010_8^5 - 1150268298070/6642642931*c_1010_8^4 - 319199102200/6642642931*c_1010_8^3 + 417432969207/6642642931*c_1010_8^2 - 107349042997/6642642931*c_1010_8 + 11048459673/6642642931, c_0101_0 + 3362824413/6642642931*c_1010_8^11 - 147501942181/6642642931*c_1010_8^10 + 1071524247827/6642642931*c_1010_8^9 - 3482818088439/6642642931*c_1010_8^8 + 6376546287305/6642642931*c_1010_8^7 - 7329531856024/6642642931*c_1010_8^6 + 5334439489155/6642642931*c_1010_8^5 - 1858863716959/6642642931*c_1010_8^4 - 343689731217/6642642931*c_1010_8^3 + 481223582857/6642642931*c_1010_8^2 - 123699778930/6642642931*c_1010_8 + 13661450116/6642642931, c_0101_1 - 3221713057/6642642931*c_1010_8^11 + 143249630524/6642642931*c_1010_8^10 - 1112365790659/6642642931*c_1010_8^9 + 3990875041512/6642642931*c_1010_8^8 - 8395439955211/6642642931*c_1010_8^7 + 11674883182624/6642642931*c_1010_8^6 - 11336201086120/6642642931*c_1010_8^5 + 7544329918054/6642642931*c_1010_8^4 - 3228071662420/6642642931*c_1010_8^3 + 856889528804/6642642931*c_1010_8^2 - 140426365406/6642642931*c_1010_8 + 6121986898/6642642931, c_0101_11 - 4258328398/6642642931*c_1010_8^11 + 190804748566/6642642931*c_1010_8^10 - 1534491454818/6642642931*c_1010_8^9 + 5743173183208/6642642931*c_1010_8^8 - 12649039305446/6642642931*c_1010_8^7 + 18414113892680/6642642931*c_1010_8^6 - 18743740388173/6642642931*c_1010_8^5 + 13227196678428/6642642931*c_1010_8^4 - 6100833978211/6642642931*c_1010_8^3 + 1746038048319/6642642931*c_1010_8^2 - 310390554822/6642642931*c_1010_8 + 24040449110/6642642931, c_0101_3 + 11879178847/6642642931*c_1010_8^11 - 530861934344/6642642931*c_1010_8^10 + 4217457208194/6642642931*c_1010_8^9 - 15517871351512/6642642931*c_1010_8^8 + 33438671310498/6642642931*c_1010_8^7 - 47430113020728/6642642931*c_1010_8^6 + 46793063944655/6642642931*c_1010_8^5 - 31560813385868/6642642931*c_1010_8^4 + 13473538378856/6642642931*c_1010_8^3 - 3380154059599/6642642931*c_1010_8^2 + 500905580314/6642642931*c_1010_8 - 34947698276/6642642931, c_1001_0 - 7692215459/6642642931*c_1010_8^11 + 343127416091/6642642931*c_1010_8^10 - 2703425482403/6642642931*c_1010_8^9 + 9844377708924/6642642931*c_1010_8^8 - 20950265655363/6642642931*c_1010_8^7 + 29257026784026/6642642931*c_1010_8^6 - 28228481956061/6642642931*c_1010_8^5 + 18316383933204/6642642931*c_1010_8^4 - 7187932817269/6642642931*c_1010_8^3 + 1423752753291/6642642931*c_1010_8^2 - 92164654968/6642642931*c_1010_8 - 4537779541/6642642931, c_1001_11 + 11554949806/6642642931*c_1010_8^11 - 519207761128/6642642931*c_1010_8^10 + 4229169237686/6642642931*c_1010_8^9 - 16105178440265/6642642931*c_1010_8^8 + 36217192951990/6642642931*c_1010_8^7 - 53907730215808/6642642931*c_1010_8^6 + 56105184531613/6642642931*c_1010_8^5 - 40548646905360/6642642931*c_1010_8^4 + 19120829975546/6642642931*c_1010_8^3 - 5356075326813/6642642931*c_1010_8^2 + 791468161292/6642642931*c_1010_8 - 48152956552/6642642931, c_1010_8^12 - 45*c_1010_8^11 + 369*c_1010_8^10 - 1419*c_1010_8^9 + 3237*c_1010_8^8 - 4920*c_1010_8^7 + 5281*c_1010_8^6 - 4010*c_1010_8^5 + 2073*c_1010_8^4 - 702*c_1010_8^3 + 152*c_1010_8^2 - 19*c_1010_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.930 Total time: 1.139 seconds, Total memory usage: 64.12MB