Magma V2.19-8 Tue Aug 20 2013 16:14:54 on localhost [Seed = 3920131458] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s871 geometric_solution 5.55786453 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 2 0132 0132 0132 2310 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 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.243400982258 1.098491513363 0 3 4 2 0132 3201 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.911063786395 0.873889420186 0 0 5 1 3201 0132 0132 0213 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 -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.192270848643 0.867736413969 5 5 1 0 1023 1230 2310 0132 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 0 0 0 -1 0 1 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.365895317666 0.601477498226 4 5 4 1 2031 2031 1302 0132 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 1 0 -1 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.650502428211 0.662558893060 4 3 3 2 1302 1023 3012 0132 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 0 0 0 -1 0 1 0 -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.076187355937 0.792468734050 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_1001_3']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_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_3'], 'c_0011_4' : d['c_0011_4'], '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_0011_3']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : d['c_0101_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_3, c_0011_4, c_0101_0, c_0101_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 3057466950757872/34822915925941*c_1001_3^12 + 6744138688456504/104468747777823*c_1001_3^11 - 60058162354172/243516894587*c_1001_3^10 + 3375349523978118/34822915925941*c_1001_3^9 + 442460905890863/9497158888893*c_1001_3^8 - 21806730171604393/208937495555646*c_1001_3^7 + 21778191907349038/104468747777823*c_1001_3^6 - 1143596213118903/69645831851882*c_1001_3^5 - 89999631864728903/557166654815056*c_1001_3^4 + 3511112716876235/104468747777823*c_1001_3^3 + 39972150331326487/835749982222584*c_1001_3^2 - 84178915652035/9497158888893*c_1001_3 - 29173918830154745/1671499964445168, c_0011_0 - 1, c_0011_3 + 344744812192/412919951691*c_1001_3^12 - 18000668592/137639983897*c_1001_3^11 + 64963874632/31763073207*c_1001_3^10 - 63366588292/137639983897*c_1001_3^9 - 433324001566/412919951691*c_1001_3^8 - 750115004441/412919951691*c_1001_3^7 - 1041085326647/412919951691*c_1001_3^6 - 120734771888/137639983897*c_1001_3^5 - 310345793651/3303359613528*c_1001_3^4 + 10166078006935/3303359613528*c_1001_3^3 - 787335748915/1101119871176*c_1001_3^2 - 3633364680871/3303359613528*c_1001_3 + 388228749773/825839903382, c_0011_4 - 113081605456/412919951691*c_1001_3^12 - 475278705352/412919951691*c_1001_3^11 + 10575608644/31763073207*c_1001_3^10 - 1473200538542/412919951691*c_1001_3^9 + 687045009509/412919951691*c_1001_3^8 + 244986347015/825839903382*c_1001_3^7 - 239306944820/137639983897*c_1001_3^6 + 921252834105/275279967794*c_1001_3^5 - 7142517583181/6606719227056*c_1001_3^4 - 3031889944489/1651679806764*c_1001_3^3 + 4330470690991/3303359613528*c_1001_3^2 + 1785204217363/1651679806764*c_1001_3 - 1143878461411/2202239742352, c_0101_0 - 16154464/3288129*c_1001_3^12 + 4685360/3288129*c_1001_3^11 - 912776/84311*c_1001_3^10 - 6010204/3288129*c_1001_3^9 + 34280026/3288129*c_1001_3^8 - 21710861/3288129*c_1001_3^7 + 42910259/3288129*c_1001_3^6 + 7371848/1096043*c_1001_3^5 - 320988931/26305032*c_1001_3^4 + 5292073/26305032*c_1001_3^3 + 25171225/8768344*c_1001_3^2 - 17731321/26305032*c_1001_3 + 624653/3288129, c_0101_1 - 1973271180944/412919951691*c_1001_3^12 + 390237432824/412919951691*c_1001_3^11 - 347076957788/31763073207*c_1001_3^10 - 479609990042/137639983897*c_1001_3^9 + 3269708648581/412919951691*c_1001_3^8 - 2220546412171/275279967794*c_1001_3^7 + 1227434275031/137639983897*c_1001_3^6 + 1880206319083/275279967794*c_1001_3^5 - 84321764322433/6606719227056*c_1001_3^4 + 773392871983/1101119871176*c_1001_3^3 + 8486437213693/1651679806764*c_1001_3^2 - 1741853717775/1101119871176*c_1001_3 + 93504948895/2202239742352, c_1001_3^13 - 1/2*c_1001_3^12 + 9/4*c_1001_3^11 + 1/8*c_1001_3^10 - 35/16*c_1001_3^9 + 75/32*c_1001_3^8 - 79/32*c_1001_3^7 - 31/32*c_1001_3^6 + 833/256*c_1001_3^5 - 239/256*c_1001_3^4 - 141/128*c_1001_3^3 + 83/128*c_1001_3^2 + 1/256*c_1001_3 - 23/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB