Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 2934911892] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2404 geometric_solution 5.76286492 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600037784752 0.943634886733 0 5 6 4 0132 0132 0132 0321 0 0 0 0 0 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 -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.062098660643 0.809795056289 4 0 6 3 3012 0132 0321 1230 0 0 0 0 0 1 -1 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 0 1 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.780307073130 0.583803187218 2 3 3 0 3012 1230 3012 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 1.561592686370 1.074210262031 6 1 0 2 1230 0321 0132 1230 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 1 0 -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 -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.404593675872 0.453966392793 6 1 5 5 0132 0132 2031 1302 0 0 0 0 0 -1 0 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 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.394496432591 0.415684616905 5 4 2 1 0132 3012 0321 0132 0 0 0 0 0 -1 1 0 -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 0 0 1 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.062098660643 0.809795056289 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_1001_2'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0101_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_1001_2']})} 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_0011_4, c_0101_1, c_0101_2, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 2287462677323136503/28134754713534920*c_1001_2^17 - 164808235616688299/2557704973957720*c_1001_2^16 + 395585319395678768/319713121744715*c_1001_2^15 + 28764797662903358647/28134754713534920*c_1001_2^14 - 19782921654554700823/2813475471353492*c_1001_2^13 - 169418387741815308699/28134754713534920*c_1001_2^12 + 10225210539294223161/511540994791544*c_1001_2^11 + 480779498971812535367/28134754713534920*c_1001_2^10 - 181468922386742379701/5626950942706984*c_1001_2^9 - 752915826009643046529/28134754713534920*c_1001_2^8 + 433429046458807027571/14067377356767460*c_1001_2^7 + 686816476940316231541/28134754713534920*c_1001_2^6 - 480381104617269563561/28134754713534920*c_1001_2^5 - 45322466153280816627/3516844339191865*c_1001_2^4 + 3491239332943191557/703368867838373*c_1001_2^3 + 50784421623947490197/14067377356767460*c_1001_2^2 - 1565327396163978723/2813475471353492*c_1001_2 - 1407909518734097149/3516844339191865, c_0011_0 - 1, c_0011_3 + 6297778468406547/63942624348943*c_1001_2^17 + 6456103619740949/127885248697886*c_1001_2^16 - 193491374538720129/127885248697886*c_1001_2^15 - 106471477906653327/127885248697886*c_1001_2^14 + 1116464905306442065/127885248697886*c_1001_2^13 + 326010951660600010/63942624348943*c_1001_2^12 - 3240607809174522001/127885248697886*c_1001_2^11 - 948895488973221978/63942624348943*c_1001_2^10 + 5328268454015561543/127885248697886*c_1001_2^9 + 3016793766689381403/127885248697886*c_1001_2^8 - 5152597161656358003/127885248697886*c_1001_2^7 - 2777057462720235771/127885248697886*c_1001_2^6 + 1432533194108998003/63942624348943*c_1001_2^5 + 1476205567043772979/127885248697886*c_1001_2^4 - 415886456738106097/63942624348943*c_1001_2^3 - 207038943715786099/63942624348943*c_1001_2^2 + 47194015190212961/63942624348943*c_1001_2 + 22615576631463087/63942624348943, c_0011_4 + 5650258963463749/63942624348943*c_1001_2^17 + 3439137046706105/63942624348943*c_1001_2^16 - 85944433595717746/63942624348943*c_1001_2^15 - 55179517444410011/63942624348943*c_1001_2^14 + 488354830052827816/63942624348943*c_1001_2^13 + 327052872885139677/63942624348943*c_1001_2^12 - 1388583991131005600/63942624348943*c_1001_2^11 - 919613603653262059/63942624348943*c_1001_2^10 + 2234126951241321160/63942624348943*c_1001_2^9 + 1409212294642350787/63942624348943*c_1001_2^8 - 2117304924301915374/63942624348943*c_1001_2^7 - 1247168952621886224/63942624348943*c_1001_2^6 + 1157088084844773035/63942624348943*c_1001_2^5 + 636433530034899537/63942624348943*c_1001_2^4 - 331421539003662600/63942624348943*c_1001_2^3 - 172075692605481498/63942624348943*c_1001_2^2 + 37365487957522238/63942624348943*c_1001_2 + 18336263687815820/63942624348943, c_0101_1 + 4220517707043329/63942624348943*c_1001_2^17 + 1923450330047763/63942624348943*c_1001_2^16 - 64421567669224680/63942624348943*c_1001_2^15 - 31880220101194416/63942624348943*c_1001_2^14 + 368364788272960718/63942624348943*c_1001_2^13 + 195259857084740030/63942624348943*c_1001_2^12 - 1057321137597188566/63942624348943*c_1001_2^11 - 562338027567464084/63942624348943*c_1001_2^10 + 1716406170685773747/63942624348943*c_1001_2^9 + 880581316149229503/63942624348943*c_1001_2^8 - 1636216477546600262/63942624348943*c_1001_2^7 - 799649827086967867/63942624348943*c_1001_2^6 + 895777622031232342/63942624348943*c_1001_2^5 + 422453273168346721/63942624348943*c_1001_2^4 - 256285577750369856/63942624348943*c_1001_2^3 - 118895168191119987/63942624348943*c_1001_2^2 + 28751753005590972/63942624348943*c_1001_2 + 13135359282523057/63942624348943, c_0101_2 - 4641735656783140/63942624348943*c_1001_2^17 - 2169989421132769/63942624348943*c_1001_2^16 + 70688766048993993/63942624348943*c_1001_2^15 + 35739686248114078/63942624348943*c_1001_2^14 - 402740585974604671/63942624348943*c_1001_2^13 - 217218232933742724/63942624348943*c_1001_2^12 + 1150104673278057517/63942624348943*c_1001_2^11 + 619969234103241431/63942624348943*c_1001_2^10 - 1855308095627827805/63942624348943*c_1001_2^9 - 960678984958637530/63942624348943*c_1001_2^8 + 1754610650878110256/63942624348943*c_1001_2^7 + 861218781290284078/63942624348943*c_1001_2^6 - 950301988829929485/63942624348943*c_1001_2^5 - 447585977649379011/63942624348943*c_1001_2^4 + 267839034609469201/63942624348943*c_1001_2^3 + 123326306926586494/63942624348943*c_1001_2^2 - 29420887671649879/63942624348943*c_1001_2 - 13261578431969836/63942624348943, c_0101_3 + 19283137795407539/127885248697886*c_1001_2^17 + 10740572352278853/127885248697886*c_1001_2^16 - 147307435208952677/63942624348943*c_1001_2^15 - 175161118146380887/127885248697886*c_1001_2^14 + 1685781999860600283/127885248697886*c_1001_2^13 + 1058585552384709693/127885248697886*c_1001_2^12 - 2419115247626507623/63942624348943*c_1001_2^11 - 1519272150248135136/63942624348943*c_1001_2^10 + 3927900095394875001/63942624348943*c_1001_2^9 + 4757685509107750913/127885248697886*c_1001_2^8 - 3749847544119006745/63942624348943*c_1001_2^7 - 2152808583980761790/63942624348943*c_1001_2^6 + 2058428056298539657/63942624348943*c_1001_2^5 + 2245389888028775089/127885248697886*c_1001_2^4 - 589865197987764912/63942624348943*c_1001_2^3 - 308713907284026604/63942624348943*c_1001_2^2 + 66037411275619303/63942624348943*c_1001_2 + 33107321630851733/63942624348943, c_1001_2^18 + 22/17*c_1001_2^17 - 253/17*c_1001_2^16 - 346/17*c_1001_2^15 + 1376/17*c_1001_2^14 + 2031/17*c_1001_2^13 - 3597/17*c_1001_2^12 - 5838/17*c_1001_2^11 + 5001/17*c_1001_2^10 + 9346/17*c_1001_2^9 - 3585/17*c_1001_2^8 - 8743/17*c_1001_2^7 + 872/17*c_1001_2^6 + 4716/17*c_1001_2^5 + 412/17*c_1001_2^4 - 1336/17*c_1001_2^3 - 288/17*c_1001_2^2 + 148/17*c_1001_2 + 44/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB