Magma V2.19-8 Tue Aug 20 2013 23:47:30 on localhost [Seed = 3751392647] Type ? for help. Type -D to quit. Loading file "L10n43__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L10n43 geometric_solution 10.86122877 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 0 1 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 1 -1 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 0 0.151266951995 0.893944602271 0 5 3 3 0132 0132 2103 0321 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 0 1 -1 -1 0 0 1 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.841160599523 1.415958881343 6 0 8 7 0132 0132 0132 0132 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 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.073675224971 1.326743204382 1 1 5 0 2103 0321 0132 0132 1 0 1 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 1 0 -1 0 0 -1 1 -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.841160599523 1.415958881343 6 9 0 10 3012 0132 0132 0132 1 0 1 0 0 0 0 0 1 0 -1 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 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265790893701 0.987987759624 6 1 7 3 1023 0132 0213 0132 1 0 0 1 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 -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.151266951995 0.893944602271 2 5 11 4 0132 1023 0132 1230 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 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.380928867332 0.404836387103 11 5 2 10 1302 0213 0132 0213 1 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 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.358869759510 0.744668174509 9 11 10 2 0321 3201 0213 0132 1 1 0 1 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 -1 0 1 0 0 1 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213141525700 0.570337815607 8 4 11 10 0321 0132 3201 2310 1 1 0 1 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 0 1 0 -1 -4 0 -1 5 0 0 0 0 1 -5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399718476245 0.676118187225 9 8 4 7 3201 0213 0132 0213 1 0 1 1 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 1 -1 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.902100281341 0.661581055305 9 7 8 6 2310 2031 2310 0132 0 1 1 1 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 1 -1 0 -4 0 4 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.119695706015 0.884284186652 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0110_10']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_0110_10']), 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : d['c_1010_10'], '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_8'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_1100_8' : d['c_1010_10'], 'c_1100_5' : d['c_1010_7'], 'c_1100_4' : d['c_1010_7'], 'c_1100_7' : d['c_1010_10'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1010_7'], 'c_1100_3' : d['c_1010_7'], 'c_1100_2' : d['c_1010_10'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : d['c_1010_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0110_10']), 'c_1010_9' : negation(d['c_0110_10']), 'c_1010_8' : negation(d['c_0110_10']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : negation(d['c_0011_3']), 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : negation(d['c_0110_10']), 'c_0110_6' : d['c_0011_4']})} 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_3, c_0011_4, c_0011_7, c_0011_8, c_0101_1, c_0101_11, c_0110_10, c_1001_0, c_1010_10, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 1650860666965539720475/61293516584366857076*c_1010_10^9 - 5812018123707953325/5572137871306077916*c_1010_10^8 + 44355802607658655645/1178721472776285713*c_1010_10^7 + 9849450665876030275689/61293516584366857076*c_1010_10^6 + 38086282870236464425645/61293516584366857076*c_1010_10^5 + 3608162961221752923884/15323379146091714269*c_1010_10^4 + 1834576145132678838144/15323379146091714269*c_1010_10^3 + 4653826027801369574492/15323379146091714269*c_1010_10^2 + 4818296336727353976673/30646758292183428538*c_1010_10 - 1219456252797541515147/61293516584366857076, c_0011_0 - 1, c_0011_10 - 9513427166815525/107156497525116883*c_1010_10^9 - 10607462996894700/107156497525116883*c_1010_10^8 - 15553957277688310/107156497525116883*c_1010_10^7 - 71028530506372101/107156497525116883*c_1010_10^6 - 289471879623794515/107156497525116883*c_1010_10^5 - 345108083952199982/107156497525116883*c_1010_10^4 - 204018261704346814/107156497525116883*c_1010_10^3 - 176956472880089573/107156497525116883*c_1010_10^2 - 193520084951523807/107156497525116883*c_1010_10 - 24827805178080530/107156497525116883, c_0011_3 + 16307284451302225/107156497525116883*c_1010_10^9 - 5343355531235050/107156497525116883*c_1010_10^8 + 24045448389169415/107156497525116883*c_1010_10^7 + 92656051354151294/107156497525116883*c_1010_10^6 + 352930282907147366/107156497525116883*c_1010_10^5 + 42103878403974610/107156497525116883*c_1010_10^4 + 77160602967960266/107156497525116883*c_1010_10^3 + 210618758124527499/107156497525116883*c_1010_10^2 + 127203166306147964/107156497525116883*c_1010_10 - 48739873908448378/107156497525116883, c_0011_4 - 40546291094846325/107156497525116883*c_1010_10^9 - 19996014411222100/107156497525116883*c_1010_10^8 - 38573365630548555/107156497525116883*c_1010_10^7 - 279139508835098243/107156497525116883*c_1010_10^6 - 1033536672467196960/107156497525116883*c_1010_10^5 - 762765515434646940/107156497525116883*c_1010_10^4 - 5901811846117255/107156497525116883*c_1010_10^3 - 505282453625123312/107156497525116883*c_1010_10^2 - 288445318769882188/107156497525116883*c_1010_10 + 18940500168547717/107156497525116883, c_0011_7 - 35573507328581950/107156497525116883*c_1010_10^9 + 754633995436875/107156497525116883*c_1010_10^8 - 61161256984325530/107156497525116883*c_1010_10^7 - 211460862774379678/107156497525116883*c_1010_10^6 - 836496528569436366/107156497525116883*c_1010_10^5 - 398295352191769091/107156497525116883*c_1010_10^4 - 406829854633915819/107156497525116883*c_1010_10^3 - 470817515516766862/107156497525116883*c_1010_10^2 - 217940382883910452/107156497525116883*c_1010_10 - 112804115446634804/107156497525116883, c_0011_8 - 47555071427133525/107156497525116883*c_1010_10^9 - 11781317595598175/107156497525116883*c_1010_10^8 - 55536829465775085/107156497525116883*c_1010_10^7 - 314276186774201361/107156497525116883*c_1010_10^6 - 1155991586957448474/107156497525116883*c_1010_10^5 - 687391801999606398/107156497525116883*c_1010_10^4 - 141652421771432974/107156497525116883*c_1010_10^3 - 737098105716714626/107156497525116883*c_1010_10^2 - 358278060586762395/107156497525116883*c_1010_10 + 26189426694990045/107156497525116883, c_0101_1 - 1, c_0101_11 + 16611684091366200/107156497525116883*c_1010_10^9 - 20667709784729850/107156497525116883*c_1010_10^8 + 28757728012623505/107156497525116883*c_1010_10^7 + 71733394407786308/107156497525116883*c_1010_10^6 + 268284457263593822/107156497525116883*c_1010_10^5 - 286391308930229361/107156497525116883*c_1010_10^4 + 10427903483141996/107156497525116883*c_1010_10^3 + 166513567038828894/107156497525116883*c_1010_10^2 - 95537069409886566/107156497525116883*c_1010_10 - 55480203006200835/107156497525116883, c_0110_10 - 35573507328581950/107156497525116883*c_1010_10^9 + 754633995436875/107156497525116883*c_1010_10^8 - 61161256984325530/107156497525116883*c_1010_10^7 - 211460862774379678/107156497525116883*c_1010_10^6 - 836496528569436366/107156497525116883*c_1010_10^5 - 398295352191769091/107156497525116883*c_1010_10^4 - 406829854633915819/107156497525116883*c_1010_10^3 - 470817515516766862/107156497525116883*c_1010_10^2 - 217940382883910452/107156497525116883*c_1010_10 - 112804115446634804/107156497525116883, c_1001_0 - 3504914232407075/107156497525116883*c_1010_10^9 - 120583912551175/107156497525116883*c_1010_10^8 - 2551195955427530/107156497525116883*c_1010_10^7 - 18238695309563328/107156497525116883*c_1010_10^6 - 81947477268611828/107156497525116883*c_1010_10^5 - 15644134878461758/107156497525116883*c_1010_10^4 + 58155007474707994/107156497525116883*c_1010_10^3 + 31443286542009054/107156497525116883*c_1010_10^2 - 3775696165341169/107156497525116883*c_1010_10 - 36097672662209339/107156497525116883, c_1010_10^10 + 7/5*c_1010_10^8 + 151/25*c_1010_10^7 + 582/25*c_1010_10^6 + 243/25*c_1010_10^5 + 124/25*c_1010_10^4 + 296/25*c_1010_10^3 + 6*c_1010_10^2 + 1/25*c_1010_10 + 11/25, c_1010_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB