Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 762098161] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0884 geometric_solution 4.78565856 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 0 -1 1 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 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.010753369706 1.082490953152 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 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 -1 0 1 1 0 -1 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.094272005195 0.680121444035 0 2 2 0 3201 3201 2310 0132 0 0 0 0 0 1 0 -1 1 0 -1 0 1 0 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.550761400935 0.096002508343 4 1 5 4 2310 0132 0132 2031 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 1 0 -1 1 0 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248624779175 0.775336594790 5 3 3 1 2310 1302 3201 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 -1 1 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.248624779175 0.775336594790 6 6 4 3 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265921019885 0.898538519846 5 6 5 6 0132 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.940079622611 1.258636648660 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 118862670027/35374457*c_0101_3^19 - 379898715087/35374457*c_0101_3^18 - 10873261623764/35374457*c_0101_3^17 - 5187054828743/35374457*c_0101_3^16 + 59163600535381/35374457*c_0101_3^15 + 69562611102030/35374457*c_0101_3^14 - 101506844270929/35374457*c_0101_3^13 - 220395933628604/35374457*c_0101_3^12 - 4525135488803/35374457*c_0101_3^11 + 276340841961457/35374457*c_0101_3^10 + 190715108578991/35374457*c_0101_3^9 - 111220995364506/35374457*c_0101_3^8 - 196151241297866/35374457*c_0101_3^7 - 46038008643436/35374457*c_0101_3^6 + 63621977816760/35374457*c_0101_3^5 + 45571412516195/35374457*c_0101_3^4 + 2451228928547/35374457*c_0101_3^3 - 7885944500115/35374457*c_0101_3^2 - 3103493476566/35374457*c_0101_3 - 373462460350/35374457, c_0011_0 - 1, c_0011_2 + 39069835393/35374457*c_0101_3^19 - 135932932569/35374457*c_0101_3^18 - 3529100004097/35374457*c_0101_3^17 - 731811708599/35374457*c_0101_3^16 + 19088248745387/35374457*c_0101_3^15 + 17659445606354/35374457*c_0101_3^14 - 35338781225507/35374457*c_0101_3^13 - 61247684324085/35374457*c_0101_3^12 + 9376074809543/35374457*c_0101_3^11 + 81798555387709/35374457*c_0101_3^10 + 44686493807410/35374457*c_0101_3^9 - 38737318211298/35374457*c_0101_3^8 - 52150593017719/35374457*c_0101_3^7 - 7482548004522/35374457*c_0101_3^6 + 18562827449446/35374457*c_0101_3^5 + 11058630190732/35374457*c_0101_3^4 - 54094633932/35374457*c_0101_3^3 - 2073635231971/35374457*c_0101_3^2 - 731670987740/35374457*c_0101_3 - 82403505247/35374457, c_0011_4 - 62588308666/35374457*c_0101_3^19 + 215320506084/35374457*c_0101_3^18 + 5663460724103/35374457*c_0101_3^17 + 1386514720866/35374457*c_0101_3^16 - 30664816782746/35374457*c_0101_3^15 - 29432405482671/35374457*c_0101_3^14 + 56210840158263/35374457*c_0101_3^13 + 100586708047555/35374457*c_0101_3^12 - 12697194791856/35374457*c_0101_3^11 - 133072359544593/35374457*c_0101_3^10 - 75488828661903/35374457*c_0101_3^9 + 61650275517700/35374457*c_0101_3^8 + 86244011113195/35374457*c_0101_3^7 + 13619594115250/35374457*c_0101_3^6 - 30266879688832/35374457*c_0101_3^5 - 18562870629285/35374457*c_0101_3^4 - 94854064644/35374457*c_0101_3^3 + 3434323098090/35374457*c_0101_3^2 + 1234281351130/35374457*c_0101_3 + 140833466191/35374457, c_0011_5 - 85119712519/35374457*c_0101_3^19 + 294437754078/35374457*c_0101_3^18 + 7695771674742/35374457*c_0101_3^17 + 1744515416169/35374457*c_0101_3^16 - 41652571406217/35374457*c_0101_3^15 - 39268941513941/35374457*c_0101_3^14 + 76731971058393/35374457*c_0101_3^13 + 135158326613337/35374457*c_0101_3^12 - 18845548518054/35374457*c_0101_3^11 - 179639421342256/35374457*c_0101_3^10 - 100037916087121/35374457*c_0101_3^9 + 84135877010179/35374457*c_0101_3^8 + 115478465893186/35374457*c_0101_3^7 + 17419604216965/35374457*c_0101_3^6 - 40805096208641/35374457*c_0101_3^5 - 24673914848984/35374457*c_0101_3^4 - 9134336209/35374457*c_0101_3^3 + 4593707479044/35374457*c_0101_3^2 + 1637259871194/35374457*c_0101_3 + 185889135475/35374457, c_0101_0 - 30952751778/35374457*c_0101_3^19 + 109494775138/35374457*c_0101_3^18 + 2788957963495/35374457*c_0101_3^17 + 419457764868/35374457*c_0101_3^16 - 15096694904249/35374457*c_0101_3^15 - 13117097652062/35374457*c_0101_3^14 + 28486317811011/35374457*c_0101_3^13 + 46699216056864/35374457*c_0101_3^12 - 9578487020017/35374457*c_0101_3^11 - 63547828575417/35374457*c_0101_3^10 - 32078606695235/35374457*c_0101_3^9 + 31491163537689/35374457*c_0101_3^8 + 39199551863981/35374457*c_0101_3^7 + 4314587277738/35374457*c_0101_3^6 - 14426701424954/35374457*c_0101_3^5 - 8001176703096/35374457*c_0101_3^4 + 262128837365/35374457*c_0101_3^3 + 1553203188594/35374457*c_0101_3^2 + 517713147658/35374457*c_0101_3 + 55636158891/35374457, c_0101_1 - 78245157525/35374457*c_0101_3^19 + 269768201155/35374457*c_0101_3^18 + 7077897659385/35374457*c_0101_3^17 + 1681699458873/35374457*c_0101_3^16 - 38321761709800/35374457*c_0101_3^15 - 36514535541609/35374457*c_0101_3^14 + 70396656996198/35374457*c_0101_3^13 + 125151051108564/35374457*c_0101_3^12 - 16486945896862/35374457*c_0101_3^11 - 165894906344234/35374457*c_0101_3^10 - 93385763307008/35374457*c_0101_3^9 + 77213612930153/35374457*c_0101_3^8 + 107155120641006/35374457*c_0101_3^7 + 16605671311512/35374457*c_0101_3^6 - 37714432376144/35374457*c_0101_3^5 - 22995317439293/35374457*c_0101_3^4 - 73126309474/35374457*c_0101_3^3 + 4265538140868/35374457*c_0101_3^2 + 1528068063184/35374457*c_0101_3 + 174053310780/35374457, c_0101_3^20 - 3*c_0101_3^19 - 92*c_0101_3^18 - 62*c_0101_3^17 + 480*c_0101_3^16 + 686*c_0101_3^15 - 690*c_0101_3^14 - 2002*c_0101_3^13 - 507*c_0101_3^12 + 2213*c_0101_3^11 + 2144*c_0101_3^10 - 450*c_0101_3^9 - 1811*c_0101_3^8 - 827*c_0101_3^7 + 386*c_0101_3^6 + 510*c_0101_3^5 + 133*c_0101_3^4 - 54*c_0101_3^3 - 44*c_0101_3^2 - 11*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB