Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 1309659787] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0436 geometric_solution 4.48658045 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 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 -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.947995046627 0.520051529874 0 4 3 3 0132 0132 3201 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409668816140 0.627188037884 5 0 0 5 0132 0132 1023 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 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 1.165115273937 0.179079420648 1 1 0 4 2310 1302 0132 1023 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 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 0 0 0.409668816140 0.627188037884 4 1 4 3 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 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 0 0 -1 1 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.409668816140 0.627188037884 2 6 6 2 0132 0132 3201 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 0 0 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.117378992250 0.071494608727 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.340181677008 0.083821805964 ==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_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' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(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_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 2315996262935326749/39214121959484423*c_0101_6^20 + 1568420332368009694/5602017422783489*c_0101_6^19 - 33379873607420217385/39214121959484423*c_0101_6^18 - 237028413788966217011/39214121959484423*c_0101_6^17 - 3317500670074092763/5602017422783489*c_0101_6^16 + 1492406768054618723413/39214121959484423*c_0101_6^15 + 1219300280668958224290/39214121959484423*c_0101_6^14 - 3804841321796783797386/39214121959484423*c_0101_6^13 - 4622772450187397053861/39214121959484423*c_0101_6^12 + 4460383535351321175525/39214121959484423*c_0101_6^11 + 7814184561921046821248/39214121959484423*c_0101_6^10 - 2195448406025906425438/39214121959484423*c_0101_6^9 - 7153831981576281541500/39214121959484423*c_0101_6^8 - 43122696764751935/39214121959484423*c_0101_6^7 + 3732651373575288801752/39214121959484423*c_0101_6^6 + 395434669230609656549/39214121959484423*c_0101_6^5 - 1058047903818601475975/39214121959484423*c_0101_6^4 - 124876009433797612807/39214121959484423*c_0101_6^3 + 129318667942914599623/39214121959484423*c_0101_6^2 + 1435466227985484507/5602017422783489*c_0101_6 - 754030719690263629/39214121959484423, c_0011_0 - 1, c_0011_3 - 52747824875938309/5602017422783489*c_0101_6^20 - 262222957875620511/5602017422783489*c_0101_6^19 + 715682148271413825/5602017422783489*c_0101_6^18 + 5630131660487851194/5602017422783489*c_0101_6^17 + 1565204843488318254/5602017422783489*c_0101_6^16 - 35088538208656535179/5602017422783489*c_0101_6^15 - 35260345187150503105/5602017422783489*c_0101_6^14 + 87969021901397742450/5602017422783489*c_0101_6^13 + 128454817348606115481/5602017422783489*c_0101_6^12 - 97056010129390954809/5602017422783489*c_0101_6^11 - 215161334710845140268/5602017422783489*c_0101_6^10 + 34043858741048987990/5602017422783489*c_0101_6^9 + 197190130791732355804/5602017422783489*c_0101_6^8 + 19055311299323702056/5602017422783489*c_0101_6^7 - 104477759621223789138/5602017422783489*c_0101_6^6 - 19101383820944147247/5602017422783489*c_0101_6^5 + 31122469188766647723/5602017422783489*c_0101_6^4 + 5022480107903536545/5602017422783489*c_0101_6^3 - 4310139698073491564/5602017422783489*c_0101_6^2 - 327810281873532216/5602017422783489*c_0101_6 + 95931052563938644/5602017422783489, c_0101_0 - 79640260481643064/5602017422783489*c_0101_6^20 - 366591613916202616/5602017422783489*c_0101_6^19 + 1210166621432781159/5602017422783489*c_0101_6^18 + 8047959852602448147/5602017422783489*c_0101_6^17 - 440708492890307912/5602017422783489*c_0101_6^16 - 52546947794882222179/5602017422783489*c_0101_6^15 - 35603251886884165608/5602017422783489*c_0101_6^14 + 142665998886943439865/5602017422783489*c_0101_6^13 + 149634170765207354004/5602017422783489*c_0101_6^12 - 186146301135984287498/5602017422783489*c_0101_6^11 - 272986133457450042105/5602017422783489*c_0101_6^10 + 115325199060946797453/5602017422783489*c_0101_6^9 + 268136964624341829672/5602017422783489*c_0101_6^8 - 22834905102660362207/5602017422783489*c_0101_6^7 - 148586199554468630699/5602017422783489*c_0101_6^6 - 7806953522371856627/5602017422783489*c_0101_6^5 + 44343571798114591000/5602017422783489*c_0101_6^4 + 3935593872104588772/5602017422783489*c_0101_6^3 - 5836408000945407838/5602017422783489*c_0101_6^2 - 402152362405650906/5602017422783489*c_0101_6 + 124753012035458366/5602017422783489, c_0101_1 + 128882278671347641/5602017422783489*c_0101_6^20 + 610212527059784579/5602017422783489*c_0101_6^19 - 1880160857125544953/5602017422783489*c_0101_6^18 - 13274332401903670436/5602017422783489*c_0101_6^17 - 973779287088948033/5602017422783489*c_0101_6^16 + 85014972097744577039/5602017422783489*c_0101_6^15 + 68164582273474377064/5602017422783489*c_0101_6^14 - 223167059677137001957/5602017422783489*c_0101_6^13 - 268396389458750712643/5602017422783489*c_0101_6^12 + 271961143805796035659/5602017422783489*c_0101_6^11 + 470797763600289630415/5602017422783489*c_0101_6^10 - 139346302491544839242/5602017422783489*c_0101_6^9 - 446126174821944392399/5602017422783489*c_0101_6^8 - 1840670943826467163/5602017422783489*c_0101_6^7 + 239352245062921562232/5602017422783489*c_0101_6^6 + 28676865943245692457/5602017422783489*c_0101_6^5 - 69864122459594272294/5602017422783489*c_0101_6^4 - 9083199148447601598/5602017422783489*c_0101_6^3 + 9157418167107452368/5602017422783489*c_0101_6^2 + 681572404728582060/5602017422783489*c_0101_6 - 192085548143904995/5602017422783489, c_0101_2 + 45971986067165328/5602017422783489*c_0101_6^20 + 211690105359215016/5602017422783489*c_0101_6^19 - 699397361355364936/5602017422783489*c_0101_6^18 - 4652724302616430715/5602017422783489*c_0101_6^17 + 262981019557248557/5602017422783489*c_0101_6^16 + 30460469283733094834/5602017422783489*c_0101_6^15 + 20633083340763216629/5602017422783489*c_0101_6^14 - 83124656500470011429/5602017422783489*c_0101_6^13 - 87277535095259905400/5602017422783489*c_0101_6^12 + 109382070921221869876/5602017422783489*c_0101_6^11 + 160532899239903343777/5602017422783489*c_0101_6^10 - 68680866484423536258/5602017422783489*c_0101_6^9 - 159464058799449548187/5602017422783489*c_0101_6^8 + 13888486901012148856/5602017422783489*c_0101_6^7 + 89796421517688248800/5602017422783489*c_0101_6^6 + 4884979652679486113/5602017422783489*c_0101_6^5 - 27440544648801492902/5602017422783489*c_0101_6^4 - 2576551486531748850/5602017422783489*c_0101_6^3 + 3731318073292690836/5602017422783489*c_0101_6^2 + 274428035374094294/5602017422783489*c_0101_6 - 77261760232218436/5602017422783489, c_0101_5 - 27802161090553704/5602017422783489*c_0101_6^20 - 128098387853610968/5602017422783489*c_0101_6^19 + 423301584437220539/5602017422783489*c_0101_6^18 + 2817142046942828419/5602017422783489*c_0101_6^17 - 164930465471143682/5602017422783489*c_0101_6^16 - 18472399995606446213/5602017422783489*c_0101_6^15 - 12451102533166705483/5602017422783489*c_0101_6^14 + 50591890213661973656/5602017422783489*c_0101_6^13 + 52715151951603076652/5602017422783489*c_0101_6^12 - 67025879579289066625/5602017422783489*c_0101_6^11 - 97094115273774636510/5602017422783489*c_0101_6^10 + 42833130147051111051/5602017422783489*c_0101_6^9 + 96674139590520464984/5602017422783489*c_0101_6^8 - 9575305830484751440/5602017422783489*c_0101_6^7 - 54580696591285205681/5602017422783489*c_0101_6^6 - 2303330336654474314/5602017422783489*c_0101_6^5 + 16689951209151504546/5602017422783489*c_0101_6^4 + 1371572380162660572/5602017422783489*c_0101_6^3 - 2245621418839419909/5602017422783489*c_0101_6^2 - 152598170103608204/5602017422783489*c_0101_6 + 40369968644381839/5602017422783489, c_0101_6^21 + 4*c_0101_6^20 - 18*c_0101_6^19 - 92*c_0101_6^18 + 67*c_0101_6^17 + 659*c_0101_6^16 + 47*c_0101_6^15 - 2079*c_0101_6^14 - 798*c_0101_6^13 + 3526*c_0101_6^12 + 2034*c_0101_6^11 - 3606*c_0101_6^10 - 2537*c_0101_6^9 + 2405*c_0101_6^8 + 1745*c_0101_6^7 - 1081*c_0101_6^6 - 647*c_0101_6^5 + 307*c_0101_6^4 + 111*c_0101_6^3 - 43*c_0101_6^2 - 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB