Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 2017059973] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2104 geometric_solution 5.60316124 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 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 -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.599954115176 0.141338799703 0 2 0 3 0132 0132 1023 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 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.802982054473 0.430913699154 3 1 4 5 3120 0132 0132 0132 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 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410786644121 0.561913624126 4 6 1 2 2310 0132 0132 3120 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 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.410786644121 0.561913624126 6 5 3 2 2031 3120 3201 0132 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 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.847869821591 1.159798184911 6 4 2 6 3120 3120 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848887758765 0.771033420794 5 3 4 5 3201 0132 1302 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132686834630 1.245738544340 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_0']), '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_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : d['c_0011_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_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 13685678859239735321659501/94963493148601345055746560*c_0101_4^16 + 3350694254735784150228623/13566213306943049293678080*c_0101_4^15 + 3770217803236872980998235/6330899543240089670383104*c_0101_4^14 - 58386235530185350407464521/94963493148601345055746560*c_0101_4^13 + 7577907492204496447208177/15827248858100224175957760*c_0101_4^12 + 10562870348581424502565753/9496349314860134505574656*c_0101_4^11 + 50398611119167591382995967/47481746574300672527873280*c_0101_4^10 - 1188853080986765999892607/753678517052391627426560*c_0101_4^9 + 206544824806472215849453153/94963493148601345055746560*c_0101_4^8 + 351980296995897740299719371/15827248858100224175957760*c_0101_4^7 - 924382589175371739794175611/94963493148601345055746560*c_0101_4^6 - 2176879633340968681437559987/94963493148601345055746560*c_0101_4^5 + 914269084461512446931114251/31654497716200448351915520*c_0101_4^4 + 663252428562235590581192293/47481746574300672527873280*c_0101_4^3 + 223298259880986823889110133/6783106653471524646839040*c_0101_4^2 - 37376715994680632656580713/565258887789293720569920*c_0101_4 + 1203412282213635799585880723/94963493148601345055746560, c_0011_0 - 1, c_0011_3 - 8492302519473359697/588811341447180958927*c_0101_4^16 + 11452603038250235576/588811341447180958927*c_0101_4^15 + 41123077644932431063/588811341447180958927*c_0101_4^14 - 25839359252811624796/588811341447180958927*c_0101_4^13 + 13072925004344288499/588811341447180958927*c_0101_4^12 + 80856213512345814124/588811341447180958927*c_0101_4^11 + 81459993915924457967/588811341447180958927*c_0101_4^10 - 53752068369998102670/588811341447180958927*c_0101_4^9 + 154742246887340561140/588811341447180958927*c_0101_4^8 + 1393451911745038264144/588811341447180958927*c_0101_4^7 - 69429044561051935093/588811341447180958927*c_0101_4^6 - 1515251754568604682008/588811341447180958927*c_0101_4^5 + 1399509776456662659706/588811341447180958927*c_0101_4^4 + 1560970611083472659307/588811341447180958927*c_0101_4^3 + 2267923188250787111658/588811341447180958927*c_0101_4^2 - 2233572384487017828513/588811341447180958927*c_0101_4 - 625524797279857840856/588811341447180958927, c_0011_4 - 337245675478490355/1177622682894361917854*c_0101_4^16 + 805214421068922511/588811341447180958927*c_0101_4^15 - 659578591554114490/588811341447180958927*c_0101_4^14 - 5667918625579160747/1177622682894361917854*c_0101_4^13 + 10167446918269784649/1177622682894361917854*c_0101_4^12 + 2480749888024057180/588811341447180958927*c_0101_4^11 - 5380310482691697321/1177622682894361917854*c_0101_4^10 - 9023410581008458509/1177622682894361917854*c_0101_4^9 + 65381987485188310683/1177622682894361917854*c_0101_4^8 + 50314853385507734136/588811341447180958927*c_0101_4^7 - 84375043051873706694/588811341447180958927*c_0101_4^6 + 217173880961108770467/1177622682894361917854*c_0101_4^5 + 319375568104708834430/588811341447180958927*c_0101_4^4 - 119219574620025214493/1177622682894361917854*c_0101_4^3 - 661294926395534951403/1177622682894361917854*c_0101_4^2 + 60595891649192002537/588811341447180958927*c_0101_4 + 501825767813932115077/588811341447180958927, c_0011_5 + 626621850094278448/588811341447180958927*c_0101_4^16 + 28831703667385909/588811341447180958927*c_0101_4^15 - 4557079651115448570/588811341447180958927*c_0101_4^14 - 3681327330262434656/588811341447180958927*c_0101_4^13 + 7497778767142096257/588811341447180958927*c_0101_4^12 + 830967199898568475/588811341447180958927*c_0101_4^11 - 24963789522541947510/588811341447180958927*c_0101_4^10 - 11018485557437800554/588811341447180958927*c_0101_4^9 + 396113444763954543/588811341447180958927*c_0101_4^8 - 166560992100115983387/588811341447180958927*c_0101_4^7 - 203315025104932074143/588811341447180958927*c_0101_4^6 + 199885023259926199770/588811341447180958927*c_0101_4^5 + 221520022780199320228/588811341447180958927*c_0101_4^4 - 516899283304579922333/588811341447180958927*c_0101_4^3 - 817442457184661225412/588811341447180958927*c_0101_4^2 + 213939925237658469635/588811341447180958927*c_0101_4 + 402946872074237240067/588811341447180958927, c_0101_0 - 7836848965711695340/588811341447180958927*c_0101_4^16 + 10028632637606179246/588811341447180958927*c_0101_4^15 + 36815128464575717959/588811341447180958927*c_0101_4^14 - 17088336785480971643/588811341447180958927*c_0101_4^13 + 20170110705185641454/588811341447180958927*c_0101_4^12 + 64665129891123764886/588811341447180958927*c_0101_4^11 + 69188264658298100517/588811341447180958927*c_0101_4^10 - 45209870874008528303/588811341447180958927*c_0101_4^9 + 92200481902874800121/588811341447180958927*c_0101_4^8 + 1220841357294725833953/588811341447180958927*c_0101_4^7 + 38342566735015332821/588811341447180958927*c_0101_4^6 - 1222923462727751897156/588811341447180958927*c_0101_4^5 + 1011694594271504097661/588811341447180958927*c_0101_4^4 + 957832826631054663111/588811341447180958927*c_0101_4^3 + 2341499819067327208941/588811341447180958927*c_0101_4^2 - 1891407831871925597902/588811341447180958927*c_0101_4 - 612992360277972271896/588811341447180958927, c_0101_1 + 9504225587922952980/588811341447180958927*c_0101_4^16 - 5947864656971564398/588811341447180958927*c_0101_4^15 - 49674434621144848852/588811341447180958927*c_0101_4^14 - 9050895626272897695/588811341447180958927*c_0101_4^13 - 20961465441271841727/588811341447180958927*c_0101_4^12 - 109119099391889086805/588811341447180958927*c_0101_4^11 - 179189583018871065668/588811341447180958927*c_0101_4^10 - 30651518082974596440/588811341447180958927*c_0101_4^9 - 146041152583408384120/588811341447180958927*c_0101_4^8 - 1633805075160435347058/588811341447180958927*c_0101_4^7 - 1045885283835264972599/588811341447180958927*c_0101_4^6 + 1063082258465726210766/588811341447180958927*c_0101_4^5 - 697970042013854750779/588811341447180958927*c_0101_4^4 - 2497827791579715375938/588811341447180958927*c_0101_4^3 - 3736911656680418928388/588811341447180958927*c_0101_4^2 + 1073983516400586737568/588811341447180958927*c_0101_4 + 856644579287319989601/588811341447180958927, c_0101_4^17 - c_0101_4^16 - 5*c_0101_4^15 + c_0101_4^14 - 2*c_0101_4^13 - 10*c_0101_4^12 - 14*c_0101_4^11 + 2*c_0101_4^10 - 13*c_0101_4^9 - 166*c_0101_4^8 - 49*c_0101_4^7 + 147*c_0101_4^6 - 113*c_0101_4^5 - 206*c_0101_4^4 - 342*c_0101_4^3 + 224*c_0101_4^2 + 97*c_0101_4 - 20 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB