Magma V2.19-8 Tue Aug 20 2013 23:41:34 on localhost [Seed = 2101025226] Type ? for help. Type -D to quit. Loading file "K12n638__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n638 geometric_solution 10.42617280 oriented_manifold CS_known -0.0000000000000003 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 -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 -1 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 0 0 0.854975580795 0.807900525897 0 5 7 6 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 -1 0 1 0 0 0 0 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626759321194 0.203374664525 6 0 5 8 1302 0132 1302 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 -1 1 0 -1 0 0 1 0 0 0 0 -1 -10 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592338936209 0.371952764967 6 6 9 0 0132 1302 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 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.416260854817 0.664407481622 10 11 0 10 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 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 -10 0 10 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367825254523 0.847637589710 2 1 9 11 2031 0132 3201 1023 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 1 0 -1 -1 0 1 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730495272851 0.708893566349 3 2 1 3 0132 2031 0132 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 -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.746289420583 0.849420976103 11 11 8 1 2031 1023 3012 0132 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 0 0 0 0 0 0 11 0 0 -11 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819117712297 0.904349536001 10 7 2 9 1023 1230 0132 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 -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.613595555378 0.424608704361 5 8 10 3 2310 1302 1023 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 -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.494983252552 0.478100661975 4 8 9 4 0132 1023 1023 1023 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 0 0 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.949738300070 1.416208343395 7 4 7 5 1023 0132 1302 1023 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 -1 1 0 0 0 0 1 10 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.449814171469 0.607434427649 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0110_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0110_5'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), '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_10'], 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : negation(d['c_1100_0']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_11'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0110_11'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : d['c_0011_9'], '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_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_10'], '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_8'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} 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_9, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_8, c_0110_11, c_0110_5, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 620473170300242822/5952839777569233*c_1100_0^10 + 17376374613758731/5952839777569233*c_1100_0^9 - 9321012648533315896/5952839777569233*c_1100_0^8 + 23318968350733360751/5952839777569233*c_1100_0^7 - 75449140831768832747/5952839777569233*c_1100_0^6 + 62459070977212582154/5952839777569233*c_1100_0^5 + 66265491515853942386/5952839777569233*c_1100_0^4 + 320258939814469753744/5952839777569233*c_1100_0^3 - 33224413460448506848/5952839777569233*c_1100_0^2 + 19147576701621288668/5952839777569233*c_1100_0 + 5625099960521260604/5952839777569233, c_0011_0 - 1, c_0011_10 - 2728850699796/73491849105793*c_1100_0^10 + 5011954047849/73491849105793*c_1100_0^9 + 40795927073083/73491849105793*c_1100_0^8 - 179307102177450/73491849105793*c_1100_0^7 + 527800672935900/73491849105793*c_1100_0^6 - 902287854259375/73491849105793*c_1100_0^5 + 254073523284622/73491849105793*c_1100_0^4 - 873856823908416/73491849105793*c_1100_0^3 + 2742732601597185/73491849105793*c_1100_0^2 - 587121162230217/73491849105793*c_1100_0 + 91327731059835/73491849105793, c_0011_9 - 8126143763336/73491849105793*c_1100_0^10 + 1267257698202/73491849105793*c_1100_0^9 + 122473627070264/73491849105793*c_1100_0^8 - 327927492797808/73491849105793*c_1100_0^7 + 1038835472150461/73491849105793*c_1100_0^6 - 986039027553152/73491849105793*c_1100_0^5 - 763995079833672/73491849105793*c_1100_0^4 - 3983184109793450/73491849105793*c_1100_0^3 + 1232541527843520/73491849105793*c_1100_0^2 - 110158062055191/73491849105793*c_1100_0 - 15956009378166/73491849105793, c_0101_0 - 2058305155697/73491849105793*c_1100_0^10 + 1750769212185/73491849105793*c_1100_0^9 + 31059298566801/73491849105793*c_1100_0^8 - 104795191589713/73491849105793*c_1100_0^7 + 315569904359014/73491849105793*c_1100_0^6 - 423538576001070/73491849105793*c_1100_0^5 - 48427331460513/73491849105793*c_1100_0^4 - 850892183500125/73491849105793*c_1100_0^3 + 1118005524650458/73491849105793*c_1100_0^2 + 27226495610836/73491849105793*c_1100_0 + 46917617571360/73491849105793, c_0101_1 + 8126143763336/73491849105793*c_1100_0^10 - 1267257698202/73491849105793*c_1100_0^9 - 122473627070264/73491849105793*c_1100_0^8 + 327927492797808/73491849105793*c_1100_0^7 - 1038835472150461/73491849105793*c_1100_0^6 + 986039027553152/73491849105793*c_1100_0^5 + 763995079833672/73491849105793*c_1100_0^4 + 3983184109793450/73491849105793*c_1100_0^3 - 1232541527843520/73491849105793*c_1100_0^2 + 110158062055191/73491849105793*c_1100_0 + 15956009378166/73491849105793, c_0101_10 + 11646693436563/73491849105793*c_1100_0^10 - 702438209040/73491849105793*c_1100_0^9 - 175298586482246/73491849105793*c_1100_0^8 + 452917785435224/73491849105793*c_1100_0^7 - 1450888776078198/73491849105793*c_1100_0^6 + 1287755921579926/73491849105793*c_1100_0^5 + 1173471626179750/73491849105793*c_1100_0^4 + 5888552781262851/73491849105793*c_1100_0^3 - 1159869113818889/73491849105793*c_1100_0^2 + 274908647053007/73491849105793*c_1100_0 + 48701592242347/73491849105793, c_0101_3 + 3871021999642/73491849105793*c_1100_0^10 - 240451687154/73491849105793*c_1100_0^9 - 58195157244501/73491849105793*c_1100_0^8 + 150370042280830/73491849105793*c_1100_0^7 - 483793671279663/73491849105793*c_1100_0^6 + 435324024727520/73491849105793*c_1100_0^5 + 372465807576671/73491849105793*c_1100_0^4 + 1986027108473990/73491849105793*c_1100_0^3 - 375978515002787/73491849105793*c_1100_0^2 + 105028227133434/73491849105793*c_1100_0 - 15902761772697/73491849105793, c_0101_8 + 14488297583469/73491849105793*c_1100_0^10 + 227120700755/73491849105793*c_1100_0^9 - 217780156104923/73491849105793*c_1100_0^8 + 546813601549730/73491849105793*c_1100_0^7 - 1766963616480504/73491849105793*c_1100_0^6 + 1479446392896144/73491849105793*c_1100_0^5 + 1530904631578554/73491849105793*c_1100_0^4 + 7488016389774909/73491849105793*c_1100_0^3 - 897366209158694/73491849105793*c_1100_0^2 + 413989477795003/73491849105793*c_1100_0 + 70591234070956/73491849105793, c_0110_11 - 12563773864854/73491849105793*c_1100_0^10 + 1624443562190/73491849105793*c_1100_0^9 + 188163476847229/73491849105793*c_1100_0^8 - 502284591087340/73491849105793*c_1100_0^7 + 1610204760905354/73491849105793*c_1100_0^6 - 1525783717560815/73491849105793*c_1100_0^5 - 1071861692112136/73491849105793*c_1100_0^4 - 6319855779903414/73491849105793*c_1100_0^3 + 1691751766928135/73491849105793*c_1100_0^2 - 773479607560071/73491849105793*c_1100_0 + 43151171118235/73491849105793, c_0110_5 + 4879864778631/73491849105793*c_1100_0^10 - 1337399335660/73491849105793*c_1100_0^9 - 73654411917807/73491849105793*c_1100_0^8 + 205968992041940/73491849105793*c_1100_0^7 - 642549721367964/73491849105793*c_1100_0^6 + 657581311304194/73491849105793*c_1100_0^5 + 416338729180209/73491849105793*c_1100_0^4 + 2303057944956190/73491849105793*c_1100_0^3 - 1124880084708040/73491849105793*c_1100_0^2 - 66271479354509/73491849105793*c_1100_0 - 22981420958465/73491849105793, c_1001_0 - 4879864778631/73491849105793*c_1100_0^10 + 1337399335660/73491849105793*c_1100_0^9 + 73654411917807/73491849105793*c_1100_0^8 - 205968992041940/73491849105793*c_1100_0^7 + 642549721367964/73491849105793*c_1100_0^6 - 657581311304194/73491849105793*c_1100_0^5 - 416338729180209/73491849105793*c_1100_0^4 - 2303057944956190/73491849105793*c_1100_0^3 + 1124880084708040/73491849105793*c_1100_0^2 + 66271479354509/73491849105793*c_1100_0 + 22981420958465/73491849105793, c_1100_0^11 - 15*c_1100_0^9 + 38*c_1100_0^8 - 123*c_1100_0^7 + 105*c_1100_0^6 + 101*c_1100_0^5 + 516*c_1100_0^4 - 66*c_1100_0^3 + 44*c_1100_0^2 + 5*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.210 Total time: 2.419 seconds, Total memory usage: 32.09MB