Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 2261195340] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1686 geometric_solution 5.40821816 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 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 -1 0 1 -1 0 1 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.163198193196 0.500012417568 0 3 5 4 0132 2310 0132 0132 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 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.232833590836 0.572956005844 2 0 0 2 3201 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 1.636717700303 0.795011973972 5 6 0 1 0213 0132 0132 3201 0 0 0 0 0 1 -1 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 -1 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.198388778451 1.754126247599 4 6 1 4 3201 0321 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.130406487641 0.948123691927 3 6 6 1 0213 3201 2103 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 -1 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 1.637257470194 0.416846543890 5 3 5 4 2103 0132 2310 0321 0 0 0 0 0 -1 0 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 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.474607571283 0.572838920882 ==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' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(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_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], '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_0011_3'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_1001_1']), 'c_1001_1' : d['c_1001_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_0011_5'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_1001_1']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_5'], '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_0011_4, c_0011_5, c_0101_0, c_0101_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 9469919156777842015136771/316402914487244980012983*c_1001_1^24 + 185310370813971709546256983/316402914487244980012983*c_1001_1^22 + 1506894890275230241894292323/316402914487244980012983*c_1001_1^20 - 5430992786221518806152939801/316402914487244980012983*c_1001_1^18 + 3983431091148136066208438615/316402914487244980012983*c_1001_1^16 - 8960474473961898192662623330/105467638162414993337661*c_1001_1^14 + 98368533837051058203736674895/316402914487244980012983*c_1001_1^12 - 177286793814779113198661857135/316402914487244980012983*c_1001_1^10 + 173094226752112580842668132926/316402914487244980012983*c_1001_1^\ 8 - 93960552732366980114737261124/316402914487244980012983*c_1001_1\ ^6 + 9282334446145000993037391365/105467638162414993337661*c_1001_1\ ^4 - 3981024522543968857249482263/316402914487244980012983*c_1001_1\ ^2 + 52701055849874945375679038/105467638162414993337661, c_0011_0 - 1, c_0011_3 - 224771121895979300593092/35155879387471664445887*c_1001_1^24 - 4415201747725842438422521/35155879387471664445887*c_1001_1^22 - 36105176517330928212133369/35155879387471664445887*c_1001_1^20 + 126036066864220294500627418/35155879387471664445887*c_1001_1^18 - 86564899229601644564320447/35155879387471664445887*c_1001_1^16 + 635530728001744019277654362/35155879387471664445887*c_1001_1^14 - 2288438608776931307830114586/35155879387471664445887*c_1001_1^12 + 4060024784371244561456367615/35155879387471664445887*c_1001_1^10 - 3878400432648363069644446696/35155879387471664445887*c_1001_1^8 + 2053686023543326523352666494/35155879387471664445887*c_1001_1^6 - 593153721042494138301360750/35155879387471664445887*c_1001_1^4 + 82125190709848782656136704/35155879387471664445887*c_1001_1^2 - 3087021276765696753739709/35155879387471664445887, c_0011_4 + 111637054298169355630911/35155879387471664445887*c_1001_1^24 + 2192223926262590583957077/35155879387471664445887*c_1001_1^22 + 17918727588110341470563723/35155879387471664445887*c_1001_1^20 - 62714336318047900635522312/35155879387471664445887*c_1001_1^18 + 43307338596759345464584065/35155879387471664445887*c_1001_1^16 - 315709002823436320272236577/35155879387471664445887*c_1001_1^14 + 1138424889002817534355567938/35155879387471664445887*c_1001_1^12 - 2022297628407555564231385462/35155879387471664445887*c_1001_1^10 + 1934813577156442274300819216/35155879387471664445887*c_1001_1^8 - 1025865799986450210464864005/35155879387471664445887*c_1001_1^6 + 296169784170985151677499399/35155879387471664445887*c_1001_1^4 - 40894459545613465421516438/35155879387471664445887*c_1001_1^2 + 1515404421667266638825309/35155879387471664445887, c_0011_5 - 314007134617476339458248/105467638162414993337661*c_1001_1^2\ 5 - 6156963202234224880727455/105467638162414993337661*c_1001_1^23 - 50218178656628386301764381/105467638162414993337661*c_1001_1^21 + 177913903406571406757784598/105467638162414993337661*c_1001_1^19 - 126699134290530718554781601/105467638162414993337661*c_1001_1^17 + 890638321418765760669008695/105467638162414993337661*c_1001_1^15 - 1075880107086429133156860771/35155879387471664445887*c_1001_1^13 + 1925761434212292962991177557/35155879387471664445887*c_1001_1^11 - 1863948034351822840738519398/35155879387471664445887*c_1001_1^9 + 3016090752418682149633036303/105467638162414993337661*c_1001_1^7 - 297420719012439716056835893/35155879387471664445887*c_1001_1^5 + 42661611578129863889037239/35155879387471664445887*c_1001_1^3 - 5315126918068690095211460/105467638162414993337661*c_1001_1, c_0101_0 - 523872285032810038304800/105467638162414993337661*c_1001_1^2\ 5 - 10292975618416820562677743/105467638162414993337661*c_1001_1^23 - 84202031649245641232506732/105467638162414993337661*c_1001_1^21 + 293291850474124105209678262/105467638162414993337661*c_1001_1^19 - 200843532995959106980065482/105467638162414993337661*c_1001_1^17 + 1481658466862396780526355654/105467638162414993337661*c_1001_1^15 - 1775667414952932454213782215/35155879387471664445887*c_1001_1^13 + 3148358378920092590816337352/35155879387471664445887*c_1001_1^11 - 3006639076617238861611937047/35155879387471664445887*c_1001_1^9 + 4782891928288968990024365560/105467638162414993337661*c_1001_1^7 - 463120299646501056127658311/35155879387471664445887*c_1001_1^5 + 65011812086162749844755449/35155879387471664445887*c_1001_1^3 - 7694282412366952917306341/105467638162414993337661*c_1001_1, c_0101_2 + 170115068554089722151359/105467638162414993337661*c_1001_1^2\ 5 + 3371336633951144398250036/105467638162414993337661*c_1001_1^23 + 27924839161075480577793566/105467638162414993337661*c_1001_1^21 - 90313310412432557268416162/105467638162414993337661*c_1001_1^19 + 51346757525977748476789141/105467638162414993337661*c_1001_1^17 - 476583023595585220503851954/105467638162414993337661*c_1001_1^15 + 550030899874481445572621536/35155879387471664445887*c_1001_1^13 - 936813467291995472554806709/35155879387471664445887*c_1001_1^11 + 842775038144476871592223891/35155879387471664445887*c_1001_1^9 - 1243607178503983160594040392/105467638162414993337661*c_1001_1^7 + 110653862451994845304255637/35155879387471664445887*c_1001_1^5 - 13850994951546212809841222/35155879387471664445887*c_1001_1^3 + 1172203856460051258357868/105467638162414993337661*c_1001_1, c_1001_1^26 + 19*c_1001_1^24 + 148*c_1001_1^22 - 664*c_1001_1^20 + 746*c_1001_1^18 - 3076*c_1001_1^16 + 12000*c_1001_1^14 - 24615*c_1001_1^12 + 28887*c_1001_1^10 - 20260*c_1001_1^8 + 8538*c_1001_1^6 - 2073*c_1001_1^4 + 251*c_1001_1^2 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB