Magma V2.19-8 Tue Aug 20 2013 23:47:03 on localhost [Seed = 543574545] Type ? for help. Type -D to quit. Loading file "K14n71__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n71 geometric_solution 10.45141002 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.878533121323 0.574577947749 0 4 4 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.192010555853 0.440372936324 5 0 3 6 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 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.805220341219 0.371000216927 2 7 8 0 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 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.057318069997 0.567026189568 5 1 1 7 3120 0132 1023 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 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.012091057264 0.458160488046 2 6 7 4 0132 3120 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389868435840 0.388920349185 9 5 2 9 0132 3120 0132 2031 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 0 -1 1 1 0 0 -1 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.723695013089 1.083874291053 4 3 5 10 3012 0132 3120 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928802058826 0.988545492271 11 11 10 3 0132 1302 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 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.859227568238 1.072260853109 6 6 11 10 0132 1302 3012 2103 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 1 0 -1 -1 0 0 1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573925602165 0.638129429576 8 11 7 9 2031 1230 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.137417778122 0.836763207521 8 9 10 8 0132 1230 3012 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.120363560592 0.916806881487 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0101_11'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_0101_4']), 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : d['c_0101_11'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_10']), 'c_1100_10' : negation(d['c_0101_5']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_0101_10'], '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_0']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_4'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_11'], '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' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : negation(d['c_0011_11'])})} 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_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_4, c_0101_5, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 497104596631660831007/59596557297543822051405*c_1001_10^11 - 32050025011110987454/8513793899649117435915*c_1001_10^10 - 9492492275164821499607/59596557297543822051405*c_1001_10^9 - 831931972309420891694/59596557297543822051405*c_1001_10^8 - 28422190365869931805442/19865519099181274017135*c_1001_10^7 + 6518285910340550347553/19865519099181274017135*c_1001_10^6 - 58639724424131881093754/8513793899649117435915*c_1001_10^5 + 3458478392143199901456/1324367939945418267809*c_1001_10^4 - 949025637456695443690711/59596557297543822051405*c_1001_10^3 + 42359853942073645721517/6621839699727091339045*c_1001_10^2 - 720678465557566033078783/59596557297543822051405*c_1001_10 + 204642193503418598982533/59596557297543822051405, c_0011_0 - 1, c_0011_10 - 92275288066303/93131989869816807*c_1001_10^11 - 9957323714252/13304569981402401*c_1001_10^10 - 1058958202863961/93131989869816807*c_1001_10^9 - 28402323559807/93131989869816807*c_1001_10^8 - 1706824696481262/31043996623272269*c_1001_10^7 + 1253917879151745/31043996623272269*c_1001_10^6 + 338479637049029/13304569981402401*c_1001_10^5 + 4432362044953483/31043996623272269*c_1001_10^4 + 83082182550609007/93131989869816807*c_1001_10^3 + 1423450380923227/31043996623272269*c_1001_10^2 + 111902263868436448/93131989869816807*c_1001_10 - 76157978201687699/93131989869816807, c_0011_11 - 150943283620669/93131989869816807*c_1001_10^11 - 16779968732084/13304569981402401*c_1001_10^10 - 2718266717038858/93131989869816807*c_1001_10^9 - 933960501565426/93131989869816807*c_1001_10^8 - 7727260416637173/31043996623272269*c_1001_10^7 + 390736759929058/31043996623272269*c_1001_10^6 - 14581190628599542/13304569981402401*c_1001_10^5 + 10151913571566462/31043996623272269*c_1001_10^4 - 209975423955728189/93131989869816807*c_1001_10^3 + 40737249409198910/31043996623272269*c_1001_10^2 - 111718627703956526/93131989869816807*c_1001_10 + 111883600891014031/93131989869816807, c_0011_3 - 230359358045669/93131989869816807*c_1001_10^11 - 33011325962014/13304569981402401*c_1001_10^10 - 4347766207051898/93131989869816807*c_1001_10^9 - 2124412162969958/93131989869816807*c_1001_10^8 - 12448071485014894/31043996623272269*c_1001_10^7 - 805094204634703/31043996623272269*c_1001_10^6 - 23783401988534549/13304569981402401*c_1001_10^5 + 12611993228472880/31043996623272269*c_1001_10^4 - 344184314253629644/93131989869816807*c_1001_10^3 + 52584267641351837/31043996623272269*c_1001_10^2 - 224438580582128905/93131989869816807*c_1001_10 + 99959575578358109/93131989869816807, c_0101_0 + 5676452/17381133609*c_1001_10^11 - 3596090/2483019087*c_1001_10^10 + 57439538/17381133609*c_1001_10^9 - 409951687/17381133609*c_1001_10^8 + 115775347/5793711203*c_1001_10^7 - 1099823486/5793711203*c_1001_10^6 + 52140911/2483019087*c_1001_10^5 - 3857666079/5793711203*c_1001_10^4 - 6470703518/17381133609*c_1001_10^3 - 4821835968/5793711203*c_1001_10^2 - 17703131168/17381133609*c_1001_10 + 4094096689/17381133609, c_0101_1 + 2460119356459/93131989869816807*c_1001_10^11 + 23226668904053/13304569981402401*c_1001_10^10 + 483344350405327/93131989869816807*c_1001_10^9 + 2818207869573745/93131989869816807*c_1001_10^8 + 2014704598376538/31043996623272269*c_1001_10^7 + 7194634130349693/31043996623272269*c_1001_10^6 + 5181887889150613/13304569981402401*c_1001_10^5 + 24897521103581687/31043996623272269*c_1001_10^4 + 101664918255571859/93131989869816807*c_1001_10^3 + 43795236132838811/31043996623272269*c_1001_10^2 + 39389284931063342/93131989869816807*c_1001_10 + 106971207796647029/93131989869816807, c_0101_10 - 16706565163399/93131989869816807*c_1001_10^11 + 81828415378477/13304569981402401*c_1001_10^10 + 170191861947239/93131989869816807*c_1001_10^9 + 9190425157927523/93131989869816807*c_1001_10^8 + 328760552193051/31043996623272269*c_1001_10^7 + 23998065727113670/31043996623272269*c_1001_10^6 - 700967607095131/13304569981402401*c_1001_10^5 + 90625570247688067/31043996623272269*c_1001_10^4 - 13955818583882102/93131989869816807*c_1001_10^3 + 141925690132847123/31043996623272269*c_1001_10^2 - 21345497123338394/93131989869816807*c_1001_10 + 292856840084593552/93131989869816807, c_0101_11 + 132657207490081/93131989869816807*c_1001_10^11 + 23511605546609/13304569981402401*c_1001_10^10 + 2489117429311834/93131989869816807*c_1001_10^9 + 2555357440166005/93131989869816807*c_1001_10^8 + 7254957366790580/31043996623272269*c_1001_10^7 + 5644041677875100/31043996623272269*c_1001_10^6 + 13754951895255556/13304569981402401*c_1001_10^5 + 25718894503331691/31043996623272269*c_1001_10^4 + 185636513163733460/93131989869816807*c_1001_10^3 + 57227259550276122/31043996623272269*c_1001_10^2 + 50393674189422173/93131989869816807*c_1001_10 + 98742089629217123/93131989869816807, c_0101_4 + 318689993259748/93131989869816807*c_1001_10^11 + 39617813791622/13304569981402401*c_1001_10^10 + 5772477693058897/93131989869816807*c_1001_10^9 + 2832588622610308/93131989869816807*c_1001_10^8 + 16403093569358071/31043996623272269*c_1001_10^7 + 2988628417245416/31043996623272269*c_1001_10^6 + 30867966769256098/13304569981402401*c_1001_10^5 + 3713921974507674/31043996623272269*c_1001_10^4 + 430266209548643567/93131989869816807*c_1001_10^3 + 4308113638192828/31043996623272269*c_1001_10^2 + 290355126384609683/93131989869816807*c_1001_10 + 26013374724726260/93131989869816807, c_0101_5 + 106616711344667/93131989869816807*c_1001_10^11 - 125148984917/13304569981402401*c_1001_10^10 + 1653860773734023/93131989869816807*c_1001_10^9 - 913220478960229/93131989869816807*c_1001_10^8 + 4427325134189770/31043996623272269*c_1001_10^7 - 3851244225193445/31043996623272269*c_1001_10^6 + 7910803514065535/13304569981402401*c_1001_10^5 - 19544892871917599/31043996623272269*c_1001_10^4 + 110420806087008652/93131989869816807*c_1001_10^3 - 41072127679930367/31043996623272269*c_1001_10^2 + 127241499317015131/93131989869816807*c_1001_10 - 84652740217146785/93131989869816807, c_1001_0 + 5676452/17381133609*c_1001_10^11 - 3596090/2483019087*c_1001_10^10 + 57439538/17381133609*c_1001_10^9 - 409951687/17381133609*c_1001_10^8 + 115775347/5793711203*c_1001_10^7 - 1099823486/5793711203*c_1001_10^6 + 52140911/2483019087*c_1001_10^5 - 3857666079/5793711203*c_1001_10^4 - 6470703518/17381133609*c_1001_10^3 - 4821835968/5793711203*c_1001_10^2 - 17703131168/17381133609*c_1001_10 + 4094096689/17381133609, c_1001_10^12 + c_1001_10^11 + 20*c_1001_10^10 + 12*c_1001_10^9 + 185*c_1001_10^8 + 48*c_1001_10^7 + 919*c_1001_10^6 + 47*c_1001_10^5 + 2318*c_1001_10^4 - 203*c_1001_10^3 + 2504*c_1001_10^2 - 498*c_1001_10 + 1153 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.100 Total time: 2.299 seconds, Total memory usage: 32.09MB