Magma V2.19-8 Tue Aug 20 2013 23:45:16 on localhost [Seed = 3170556270] Type ? for help. Type -D to quit. Loading file "K13n2491__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2491 geometric_solution 11.26746584 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 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 -1 -1 0 1 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317408313280 1.109526336883 0 5 7 6 0132 0132 0132 0132 0 0 0 0 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 -1 0 0 -7 0 7 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346626837233 0.517892818385 8 0 10 9 0132 0132 0132 0132 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 6 -6 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315109450023 1.051499458777 8 5 11 0 1023 1023 0132 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 1 0 -1 0 0 1 -1 1 -7 0 6 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592328220402 0.756253313584 10 11 0 6 0132 1023 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 -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.559962834318 0.628103750970 3 1 9 6 1023 0132 0213 2031 0 0 0 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 0 0 0 -1 0 1 0 7 -7 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.309586751342 1.029411844370 7 5 1 4 1302 1302 0132 2103 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 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.067651856911 0.995005770552 8 6 10 1 3120 2031 3120 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 -1 0 0 1 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822086192554 1.228388023306 2 3 9 7 0132 1023 0132 3120 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 -1 1 1 -1 0 0 -6 7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317671631882 0.725096017391 11 5 2 8 1302 0213 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 0 0 -1 0 0 1 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.129993499451 1.140793349714 4 11 7 2 0132 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923308918197 0.833724669206 4 9 10 3 1023 2031 3012 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 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 1.006065750044 0.955264185061 ==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_0110_6'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_11'], 'c_1001_7' : negation(d['c_0110_6']), 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : d['c_0011_9'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : d['c_0110_5'], 'c_1001_8' : d['c_0101_3'], 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : d['c_0101_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_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' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0110_6']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0110_6']), 'c_1100_3' : negation(d['c_0110_6']), 'c_1100_2' : negation(d['c_0101_7']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_0110_5'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : negation(d['c_0011_7']), 'c_1100_8' : negation(d['c_0101_7']), '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_7']), 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_7']), 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} 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_6, c_0011_7, c_0011_9, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_7, c_0110_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 2869632948337479/12018985142500*c_0110_6^13 - 15587464819353811/12018985142500*c_0110_6^12 + 251666244988481/858498938750*c_0110_6^11 + 9759503775982069/2403797028500*c_0110_6^10 - 138364854509526417/12018985142500*c_0110_6^9 + 17937181585598531/3004746285625*c_0110_6^8 + 255048794766805377/12018985142500*c_0110_6^7 - 444829265330433311/12018985142500*c_0110_6^6 + 158579539578991633/12018985142500*c_0110_6^5 + 221677044212068719/12018985142500*c_0110_6^4 - 21440679259536021/858498938750*c_0110_6^3 + 171476237961111637/12018985142500*c_0110_6^2 - 9639165192373001/2403797028500*c_0110_6 - 10447751018627403/6009492571250, c_0011_0 - 1, c_0011_10 - 14485537767/1716997877500*c_0110_6^13 - 23534560082/429249469375*c_0110_6^12 - 36369164859/858498938750*c_0110_6^11 + 50930566487/343399575500*c_0110_6^10 - 56748744554/429249469375*c_0110_6^9 + 27936884363/429249469375*c_0110_6^8 + 1242260081521/1716997877500*c_0110_6^7 - 112674612457/429249469375*c_0110_6^6 + 310725141709/1716997877500*c_0110_6^5 - 157560752269/858498938750*c_0110_6^4 - 314828822203/429249469375*c_0110_6^3 + 1349798978701/1716997877500*c_0110_6^2 + 72592302631/171699787750*c_0110_6 - 79117684847/429249469375, c_0011_6 + 7737938043/858498938750*c_0110_6^13 + 45564284187/858498938750*c_0110_6^12 - 1587862264/429249469375*c_0110_6^11 - 43316170373/171699787750*c_0110_6^10 + 233873726039/858498938750*c_0110_6^9 - 13265120554/429249469375*c_0110_6^8 - 1436737605709/858498938750*c_0110_6^7 + 976148415187/858498938750*c_0110_6^6 + 240610910039/858498938750*c_0110_6^5 - 1960822915673/858498938750*c_0110_6^4 + 728109135724/429249469375*c_0110_6^3 - 313523665579/858498938750*c_0110_6^2 - 100594604993/171699787750*c_0110_6 - 4565033674/429249469375, c_0011_7 + 14005506229/429249469375*c_0110_6^13 + 93758030811/429249469375*c_0110_6^12 + 89746925141/429249469375*c_0110_6^11 - 37076718669/85849893875*c_0110_6^10 + 455528442917/429249469375*c_0110_6^9 + 370893019251/429249469375*c_0110_6^8 - 1373950347502/429249469375*c_0110_6^7 + 844219583686/429249469375*c_0110_6^6 + 914008101492/429249469375*c_0110_6^5 - 1580997568969/429249469375*c_0110_6^4 + 444892889294/429249469375*c_0110_6^3 + 203048371613/429249469375*c_0110_6^2 - 46304616774/85849893875*c_0110_6 + 1282058931/429249469375, c_0011_9 + 55426834317/1716997877500*c_0110_6^13 + 89881887407/429249469375*c_0110_6^12 + 122715906309/858498938750*c_0110_6^11 - 218834814237/343399575500*c_0110_6^10 + 323408332279/429249469375*c_0110_6^9 + 277878348012/429249469375*c_0110_6^8 - 5808388212371/1716997877500*c_0110_6^7 + 491814858032/429249469375*c_0110_6^6 + 5258724374641/1716997877500*c_0110_6^5 - 1528201823681/858498938750*c_0110_6^4 - 213495131572/429249469375*c_0110_6^3 + 1226628121549/1716997877500*c_0110_6^2 + 29085612959/171699787750*c_0110_6 - 99106694928/429249469375, c_0101_1 - 4054614883/171699787750*c_0110_6^13 - 28390355487/171699787750*c_0110_6^12 - 18266957481/85849893875*c_0110_6^11 + 6167453393/34339957550*c_0110_6^10 - 135436631959/171699787750*c_0110_6^9 - 76831627961/85849893875*c_0110_6^8 + 262232617859/171699787750*c_0110_6^7 - 142458150437/171699787750*c_0110_6^6 - 317481058589/171699787750*c_0110_6^5 + 240234444453/171699787750*c_0110_6^4 + 56643249286/85849893875*c_0110_6^3 - 143924081761/171699787750*c_0110_6^2 - 1597074289/34339957550*c_0110_6 - 1169418521/85849893875, c_0101_10 - 35395184293/1716997877500*c_0110_6^13 - 116003804031/858498938750*c_0110_6^12 - 108412277861/858498938750*c_0110_6^11 + 76093041873/343399575500*c_0110_6^10 - 581228355207/858498938750*c_0110_6^9 - 104726146848/429249469375*c_0110_6^8 + 2356562073459/1716997877500*c_0110_6^7 - 980351937031/858498938750*c_0110_6^6 - 657874950289/1716997877500*c_0110_6^5 + 156351062387/429249469375*c_0110_6^4 - 23892354612/429249469375*c_0110_6^3 + 358466142579/1716997877500*c_0110_6^2 - 29474435933/85849893875*c_0110_6 - 155755146038/429249469375, c_0101_11 - 8248421719/1716997877500*c_0110_6^13 - 2470411549/429249469375*c_0110_6^12 + 136406133537/858498938750*c_0110_6^11 + 105802023259/343399575500*c_0110_6^10 - 227129275703/429249469375*c_0110_6^9 + 106318211691/429249469375*c_0110_6^8 + 2256148541697/1716997877500*c_0110_6^7 - 1200985220049/429249469375*c_0110_6^6 - 1688479160087/1716997877500*c_0110_6^5 + 2312680243417/858498938750*c_0110_6^4 - 438932216946/429249469375*c_0110_6^3 - 1047506913043/1716997877500*c_0110_6^2 + 25946486867/171699787750*c_0110_6 - 104228995404/429249469375, c_0101_3 + 25853305023/858498938750*c_0110_6^13 + 165348169057/858498938750*c_0110_6^12 + 61961499371/429249469375*c_0110_6^11 - 69697658003/171699787750*c_0110_6^10 + 863248116579/858498938750*c_0110_6^9 + 96258443831/429249469375*c_0110_6^8 - 2298110997299/858498938750*c_0110_6^7 + 1550523437807/858498938750*c_0110_6^6 + 642328307929/858498938750*c_0110_6^5 - 1869174282003/858498938750*c_0110_6^4 + 417335969764/429249469375*c_0110_6^3 + 609389503181/858498938750*c_0110_6^2 - 77612104133/171699787750*c_0110_6 + 91314654111/429249469375, c_0101_7 - 647181682/429249469375*c_0110_6^13 - 3516291951/858498938750*c_0110_6^12 + 14732526797/429249469375*c_0110_6^11 + 8244681627/85849893875*c_0110_6^10 - 21278528147/858498938750*c_0110_6^9 + 76182170392/429249469375*c_0110_6^8 + 115979605366/429249469375*c_0110_6^7 - 216029940701/858498938750*c_0110_6^6 + 78049988589/429249469375*c_0110_6^5 + 177071858379/858498938750*c_0110_6^4 + 86646254023/429249469375*c_0110_6^3 + 368608768546/429249469375*c_0110_6^2 + 23013493319/171699787750*c_0110_6 + 120984347352/429249469375, c_0110_5 + 1735905134/85849893875*c_0110_6^13 + 17593975307/171699787750*c_0110_6^12 - 8563189994/85849893875*c_0110_6^11 - 9805019969/17169978775*c_0110_6^10 + 147495706139/171699787750*c_0110_6^9 - 34981728999/85849893875*c_0110_6^8 - 225818550162/85849893875*c_0110_6^7 + 505492461907/171699787750*c_0110_6^6 + 80390966827/85849893875*c_0110_6^5 - 513069336643/171699787750*c_0110_6^4 + 75572423509/85849893875*c_0110_6^3 + 51848982038/85849893875*c_0110_6^2 - 18419325377/34339957550*c_0110_6 + 25644218346/85849893875, c_0110_6^14 + 6*c_0110_6^13 + 2*c_0110_6^12 - 17*c_0110_6^11 + 38*c_0110_6^10 - 95*c_0110_6^8 + 98*c_0110_6^7 + 21*c_0110_6^6 - 80*c_0110_6^5 + 44*c_0110_6^4 - 11*c_0110_6^3 + 4*c_0110_6^2 + 4*c_0110_6 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.990 Total time: 1.199 seconds, Total memory usage: 32.09MB