Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 3364443310] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s743 geometric_solution 5.27099017 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1302 2031 0132 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 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.508651352686 0.478891102361 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 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 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.558284579485 0.681250710636 4 3 0 1 2310 3201 0132 1302 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 -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.558284579485 0.681250710636 1 5 2 5 0132 0132 2310 1023 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 -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.859660020441 1.253193327274 4 1 2 4 3201 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831285034699 0.743159092405 5 3 5 3 2031 0132 1302 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 1 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466834048201 0.190223583608 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_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_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_1, c_0101_2, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 221268734444/30651113*c_0110_5^18 - 3682160600717/91953339*c_0110_5^17 + 1646908802005/91953339*c_0110_5^16 + 27982418152715/91953339*c_0110_5^15 - 126055236909050/91953339*c_0110_5^14 + 386146958230706/91953339*c_0110_5^13 - 762376140611489/91953339*c_0110_5^12 + 910642793067130/91953339*c_0110_5^11 - 250828149922457/30651113*c_0110_5^10 + 5762774909338/859377*c_0110_5^9 - 164217590699097/30651113*c_0110_5\ ^8 + 104197032504608/91953339*c_0110_5^7 + 319973317749890/91953339*c_0110_5^6 - 119389659066351/30651113*c_0110_5^5 + 124016776554914/91953339*c_0110_5^4 + 31268502438691/91953339*c_0110_5^3 - 40196926145071/91953339*c_0110_5^2 + 12728934812597/91953339*c_0110_5 - 1439519959837/91953339, c_0011_0 - 1, c_0011_1 + 6365470251/286459*c_0110_5^18 - 35152841115/286459*c_0110_5^17 + 15040001403/286459*c_0110_5^16 + 268163025949/286459*c_0110_5^15 - 1202314240423/286459*c_0110_5^14 + 3677971793066/286459*c_0110_5^13 - 7238042227273/286459*c_0110_5^12 + 8606274245737/286459*c_0110_5^11 - 7093882867849/286459*c_0110_5^10 + 5823866106447/286459*c_0110_5^9 - 4641473926283/286459*c_0110_5^8 + 941170466766/286459*c_0110_5^7 + 3052509924161/286459*c_0110_5^6 - 3373569416756/286459*c_0110_5^5 + 1151877247997/286459*c_0110_5^4 + 301513553213/286459*c_0110_5^3 - 377913498027/286459*c_0110_5^2 + 118754496946/286459*c_0110_5 - 13340391474/286459, c_0101_1 + 6974921223/286459*c_0110_5^18 - 38524037478/286459*c_0110_5^17 + 16509114852/286459*c_0110_5^16 + 293833025888/286459*c_0110_5^15 - 1317664551694/286459*c_0110_5^14 + 4031095471143/286459*c_0110_5^13 - 7933959132423/286459*c_0110_5^12 + 9435725370220/286459*c_0110_5^11 - 7778931880654/286459*c_0110_5^10 + 6385797488582/286459*c_0110_5^9 - 5089556425954/286459*c_0110_5^8 + 1034189778055/286459*c_0110_5^7 + 3344880655471/286459*c_0110_5^6 - 3699277787849/286459*c_0110_5^5 + 1264283234963/286459*c_0110_5^4 + 330088427298/286459*c_0110_5^3 - 414485049628/286459*c_0110_5^2 + 130330404305/286459*c_0110_5 - 14649417794/286459, c_0101_2 - 343251072473/30651113*c_0110_5^18 + 1889871629662/30651113*c_0110_5^17 - 782884976091/30651113*c_0110_5^16 - 14457174739513/30651113*c_0110_5^15 + 64594890955570/30651113*c_0110_5^14 - 197394266938186/30651113*c_0110_5^13 + 387562331420445/30651113*c_0110_5^12 - 459223880030395/30651113*c_0110_5^11 + 377705584338500/30651113*c_0110_5^10 - 2902446412121/286459*c_0110_5^9 + 247144662196614/30651113*c_0110_5\ ^8 - 48462756241861/30651113*c_0110_5^7 - 164080698469238/30651113*c_0110_5^6 + 179483461030903/30651113*c_0110_5^5 - 60535113599749/30651113*c_0110_5^4 - 16347777653178/30651113*c_0110_5^3 + 20052132468027/30651113*c_0110_5^2 - 6259183921986/30651113*c_0110_5 + 699545882524/30651113, c_0101_4 - 231058887450/30651113*c_0110_5^18 + 1287367679324/30651113*c_0110_5^17 - 603628375003/30651113*c_0110_5^16 - 9732859452098/30651113*c_0110_5^15 + 44121989964063/30651113*c_0110_5^14 - 135438690575646/30651113*c_0110_5^13 + 268435404246934/30651113*c_0110_5^12 - 322772408384053/30651113*c_0110_5^11 + 268223213017843/30651113*c_0110_5^10 - 2049096871903/286459*c_0110_5^9 + 175350518274469/30651113*c_0110_5\ ^8 - 39371982721188/30651113*c_0110_5^7 - 111461207454437/30651113*c_0110_5^6 + 127625520223552/30651113*c_0110_5^5 - 45522855066072/30651113*c_0110_5^4 - 10559492452305/30651113*c_0110_5^3 + 14434660236730/30651113*c_0110_5^2 - 4663858993068/30651113*c_0110_5 + 536735565156/30651113, c_0110_5^19 - 6*c_0110_5^18 + 5*c_0110_5^17 + 41*c_0110_5^16 - 209*c_0110_5^15 + 668*c_0110_5^14 - 1413*c_0110_5^13 + 1895*c_0110_5^12 - 1760*c_0110_5^11 + 1447*c_0110_5^10 - 1166*c_0110_5^9 + 496*c_0110_5^8 + 409*c_0110_5^7 - 759*c_0110_5^6 + 434*c_0110_5^5 - 39*c_0110_5^4 - 82*c_0110_5^3 + 47*c_0110_5^2 - 11*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB