Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 2480017240] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1636 geometric_solution 5.37977931 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.576496293267 0.255623785560 2 0 2 0 0132 2310 1023 0132 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 -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.973896915494 0.387145265825 1 3 1 4 0132 0132 1023 0132 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 1 -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 1.500963142398 0.250716708928 4 2 6 5 3012 0132 0132 0132 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 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.877537120095 0.709953477097 5 6 2 3 1023 0132 0132 1230 0 0 0 0 0 0 -1 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 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.877537120095 0.709953477097 5 4 3 5 3012 1023 0132 1230 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 0 0 0 0 0 0 0 0.272208291133 0.550320093243 6 4 6 3 2310 0132 3201 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 -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.936122911204 0.724375361671 ==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' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 101085532316284848666216671154446124995114599334348/265143610269287\ 297245388550821921853209936395124085*c_1001_3^15 + 1617786315460154086859055139648786384745175193530566/26514361026928\ 7297245388550821921853209936395124085*c_1001_3^14 + 1685834935768904742611669828994513335078635574706026/29460401141031\ 921916154283424657983689992932791565*c_1001_3^13 + 32157337600478097033232100931111257612913406184246551/2651436102692\ 87297245388550821921853209936395124085*c_1001_3^12 + 55917852444128144831493535391359768906371747675346181/2651436102692\ 87297245388550821921853209936395124085*c_1001_3^11 + 4892294784318407542455932168080997410621018646110288/29460401141031\ 921916154283424657983689992932791565*c_1001_3^10 - 119745527001120903486341953868997333302994275822340265/176762406846\ 19153149692570054794790213995759674939*c_1001_3^9 - 644640632833367063239258400564120047903147710275497294/265143610269\ 287297245388550821921853209936395124085*c_1001_3^8 + 8342641695022138040422179184385500692839107777596193304/26514361026\ 9287297245388550821921853209936395124085*c_1001_3^7 - 154354851533482315367462765866527666012747237076120810/482079291398\ 7041768097973651307670058362479911347*c_1001_3^6 + 3897519229768341029196161061983551450329209292224333849/26514361026\ 9287297245388550821921853209936395124085*c_1001_3^5 - 25366236278718164755850434476870800114228443436394229/2651436102692\ 87297245388550821921853209936395124085*c_1001_3^4 - 1542078209301501720658337557745664838824271534642664738/88381203423\ 095765748462850273973951069978798374695*c_1001_3^3 + 4759234362151257841559918776629500747845973346693431474/26514361026\ 9287297245388550821921853209936395124085*c_1001_3^2 - 2125088269166144503505024504134033204880165598024374603/26514361026\ 9287297245388550821921853209936395124085*c_1001_3 + 31699560627964916567963768378368314705522690982614331/1767624068461\ 9153149692570054794790213995759674939, c_0011_0 - 1, c_0011_1 + 79383599932305059822616681302269802002417/213318859860482400\ 464532663007552106657926453*c_1001_3^15 + 1319890995680671059490200485164932941318076/21331885986048240046453\ 2663007552106657926453*c_1001_3^14 + 12741787044269592546068842186445426634551582/2133188598604824004645\ 32663007552106657926453*c_1001_3^13 + 33271883761271031791659558575650510813193262/2133188598604824004645\ 32663007552106657926453*c_1001_3^12 + 65485804072771159295746609351010548847041251/2133188598604824004645\ 32663007552106657926453*c_1001_3^11 + 78175514088190590540032679049431126757899327/2133188598604824004645\ 32663007552106657926453*c_1001_3^10 - 1355126978355953848357717130423239252112301496/21331885986048240046\ 4532663007552106657926453*c_1001_3^9 - 1338083083691244604334440436563493636606362787/21331885986048240046\ 4532663007552106657926453*c_1001_3^8 + 5648934986346106492699490753102879545847005225/21331885986048240046\ 4532663007552106657926453*c_1001_3^7 - 3288990379003321394780247878166432934594932062/21331885986048240046\ 4532663007552106657926453*c_1001_3^6 + 1223737550028469018833192469819091138138924289/21331885986048240046\ 4532663007552106657926453*c_1001_3^5 + 650802717088685523092410187540231089466401879/213318859860482400464\ 532663007552106657926453*c_1001_3^4 - 3273983077727948368988173614702968998740076705/21331885986048240046\ 4532663007552106657926453*c_1001_3^3 + 1859276311976886211175640367624189583389721641/21331885986048240046\ 4532663007552106657926453*c_1001_3^2 - 647540004096664184723597660484990499278086364/213318859860482400464\ 532663007552106657926453*c_1001_3 + 140732441133383161700310298241225510500152910/213318859860482400464\ 532663007552106657926453, c_0011_4 - 5056064774582246653010724990052804786494743/1727882764869907\ 4437627145703611720639292042693*c_1001_3^15 - 86469816164172468798057393917942417321709461/1727882764869907443762\ 7145703611720639292042693*c_1001_3^14 - 94799767061419128399383014638548331000640367/1919869738744341604180\ 793967067968959921338077*c_1001_3^13 - 2535211529373649692398315033013399050792800030/17278827648699074437\ 627145703611720639292042693*c_1001_3^12 - 5488098042800131897576495348467551416862466590/17278827648699074437\ 627145703611720639292042693*c_1001_3^11 - 896316791111486489633596129308896435994061594/191986973874434160418\ 0793967067968959921338077*c_1001_3^10 + 27063329204490752961552743638617382702547723171/5759609216233024812\ 542381901203906879764014231*c_1001_3^9 + 121304541637772394540331981077186761240608740961/172788276486990744\ 37627145703611720639292042693*c_1001_3^8 - 296231114764837323102456608745970693861837904003/172788276486990744\ 37627145703611720639292042693*c_1001_3^7 + 98484912713381890147819402093227600342729237616/1727882764869907443\ 7627145703611720639292042693*c_1001_3^6 - 26058283590871253244404716257477592761205053803/1727882764869907443\ 7627145703611720639292042693*c_1001_3^5 - 90716133208532786990862497166212203272903625916/1727882764869907443\ 7627145703611720639292042693*c_1001_3^4 + 52853941385958765306362742846326127104837860115/5759609216233024812\ 542381901203906879764014231*c_1001_3^3 - 60434103377010746961605975059597733835969018908/1727882764869907443\ 7627145703611720639292042693*c_1001_3^2 + 6231973205847920247083582782183459225966371863/17278827648699074437\ 627145703611720639292042693*c_1001_3 + 1663749113713953212712189308458137937332841249/57596092162330248125\ 42381901203906879764014231, c_0101_0 + 186518897553703950543184835728372746684449/21331885986048240\ 0464532663007552106657926453*c_1001_3^15 + 2991654656122995703560620657389379140637815/21331885986048240046453\ 2663007552106657926453*c_1001_3^14 + 28072477479375887050952048072330802813817828/2133188598604824004645\ 32663007552106657926453*c_1001_3^13 + 59829101807112389664871615804618805822923843/2133188598604824004645\ 32663007552106657926453*c_1001_3^12 + 100344716437110016843395524302030324261406417/213318859860482400464\ 532663007552106657926453*c_1001_3^11 + 69429690438242482708028710608228554666133415/2133188598604824004645\ 32663007552106657926453*c_1001_3^10 - 3346958881592024328931639924793293588152539238/21331885986048240046\ 4532663007552106657926453*c_1001_3^9 - 1364757640204180145003985716372282074435422156/21331885986048240046\ 4532663007552106657926453*c_1001_3^8 + 15783538350616571127828078643907414758584545046/2133188598604824004\ 64532663007552106657926453*c_1001_3^7 - 14377651475877312067009130505095720367893598722/2133188598604824004\ 64532663007552106657926453*c_1001_3^6 + 5207308908401427598239462304559754638874986275/21331885986048240046\ 4532663007552106657926453*c_1001_3^5 + 777629372000039480800213549913262557319806945/213318859860482400464\ 532663007552106657926453*c_1001_3^4 - 8685724474695283694179199478999311232669751580/21331885986048240046\ 4532663007552106657926453*c_1001_3^3 + 7829338567359882321365777881662399300772016635/21331885986048240046\ 4532663007552106657926453*c_1001_3^2 - 2959982803131284021362650001248648902599599995/21331885986048240046\ 4532663007552106657926453*c_1001_3 + 370526101043300076608529111688689173045204541/213318859860482400464\ 532663007552106657926453, c_0101_1 - 20481569728435438771072981683133243682621/213318859860482400\ 464532663007552106657926453*c_1001_3^15 - 320313578975981588664431527968715279116823/213318859860482400464532\ 663007552106657926453*c_1001_3^14 - 2935332500335474055033836261047589365874782/21331885986048240046453\ 2663007552106657926453*c_1001_3^13 - 5056361987574854991209862927488245023554716/21331885986048240046453\ 2663007552106657926453*c_1001_3^12 - 5550385135957275971292024494716012907598195/21331885986048240046453\ 2663007552106657926453*c_1001_3^11 + 6521454003935241662456644014867942802479394/21331885986048240046453\ 2663007552106657926453*c_1001_3^10 + 394753636412676509972568802766575450648873151/213318859860482400464\ 532663007552106657926453*c_1001_3^9 + 45864051636553530021958250888973911776296051/2133188598604824004645\ 32663007552106657926453*c_1001_3^8 - 2013453684348345038973896139063466120867864816/21331885986048240046\ 4532663007552106657926453*c_1001_3^7 + 1773233752367174994928828485634215927736801025/21331885986048240046\ 4532663007552106657926453*c_1001_3^6 - 698893232405354916622826005320100610278374627/213318859860482400464\ 532663007552106657926453*c_1001_3^5 - 28202826419154822285816865932437871701714072/2133188598604824004645\ 32663007552106657926453*c_1001_3^4 + 1380905861342492745593339744349637587866174037/21331885986048240046\ 4532663007552106657926453*c_1001_3^3 - 993650905231004117193827795515898938533530938/213318859860482400464\ 532663007552106657926453*c_1001_3^2 + 468605307767897269732599411644646342835089999/213318859860482400464\ 532663007552106657926453*c_1001_3 + 41071929150503273861439538757183243016558437/2133188598604824004645\ 32663007552106657926453, c_0101_3 + 723555051381822599896030890318697140734210/17278827648699074\ 437627145703611720639292042693*c_1001_3^15 + 10251722022816518555618766919436419948766810/1727882764869907443762\ 7145703611720639292042693*c_1001_3^14 + 9578069502974877518412286694563384502701427/19198697387443416041807\ 93967067968959921338077*c_1001_3^13 + 11451320543428303127814208210891403708793331/1727882764869907443762\ 7145703611720639292042693*c_1001_3^12 - 212391250414713796405529383033681452550466146/172788276486990744376\ 27145703611720639292042693*c_1001_3^11 - 107478281629748890397991319759198760761435334/191986973874434160418\ 0793967067968959921338077*c_1001_3^10 - 4882847424141213556908496682990207539508463050/57596092162330248125\ 42381901203906879764014231*c_1001_3^9 + 17070682459800502601833401002338024256851817363/1727882764869907443\ 7627145703611720639292042693*c_1001_3^8 + 85973014105314202378613061455061562762374981518/1727882764869907443\ 7627145703611720639292042693*c_1001_3^7 - 148014424435734648844083172745408850688212408841/172788276486990744\ 37627145703611720639292042693*c_1001_3^6 + 69695695466722655361715833304466501415330291110/1727882764869907443\ 7627145703611720639292042693*c_1001_3^5 - 3874051085917470007441412309763025675199040541/17278827648699074437\ 627145703611720639292042693*c_1001_3^4 - 11596459838610489024357471534929817472917228890/5759609216233024812\ 542381901203906879764014231*c_1001_3^3 + 76457846337376036446087252313328865952314754394/1727882764869907443\ 7627145703611720639292042693*c_1001_3^2 - 43080549693608593591110556133595041698480007285/1727882764869907443\ 7627145703611720639292042693*c_1001_3 + 2587736360083451946658190029897095486424482083/57596092162330248125\ 42381901203906879764014231, c_1001_3^16 + 16*c_1001_3^15 + 150*c_1001_3^14 + 317*c_1001_3^13 + 547*c_1001_3^12 + 420*c_1001_3^11 - 17796*c_1001_3^10 - 6332*c_1001_3^9 + 83071*c_1001_3^8 - 83690*c_1001_3^7 + 36730*c_1001_3^6 + 4*c_1001_3^5 - 45393*c_1001_3^4 + 47014*c_1001_3^3 - 20086*c_1001_3^2 + 4533*c_1001_3 - 279 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB