Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 1225315712] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1653 geometric_solution 5.39377898 oriented_manifold CS_known 0.0000000000000005 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518454021976 0.100508557537 2 0 2 0 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622598511976 0.259870801924 1 3 1 4 0132 0132 1023 0132 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 1 1 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.027710324641 1.906074870278 5 2 6 5 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 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 -1 0 0 1 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.247601035056 0.617314912154 5 6 2 5 2310 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 1 -1 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247601035056 0.617314912154 3 4 4 3 0132 2310 3201 1023 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 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 1.440302881695 1.395427839552 4 6 6 3 1023 1230 3012 0132 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 -1 1 0 -1 0 1 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.504017992480 0.936578211189 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : 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' : 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' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_0011_4'], 'c_1100_5' : negation(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' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], '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_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1856018487241148140418255494672945325484302912485690747253971571813\ 050780981/619166198522593695815906318713476420531207419227950854495\ 3441486910478214158*c_0101_6^29 - 270939054614606132635902560142194\ 866460543759140314113564279458284148922492987/619166198522593695815\ 9063187134764205312074192279508544953441486910478214158*c_0101_6^27 - 11668350514725612951245436198788242418492621781059848319796051597\ 41766355238021/2814391811466334980981392357788529184232760996490685\ 70225156431223203555189*c_0101_6^25 - 4390083724839113178040063361572067369897593741923990846737940413423\ 5743684341065/30958309926129684790795315935673821026560370961397542\ 72476720743455239107079*c_0101_6^23 - 7425881739879304296845439050466299036321785460802859608735889774501\ 41665419479987/6191661985225936958159063187134764205312074192279508\ 544953441486910478214158*c_0101_6^21 + 4589969174893238813567544038464628181340194046848744528958546160027\ 937554699533941/619166198522593695815906318713476420531207419227950\ 8544953441486910478214158*c_0101_6^19 - 1553902568440727976383067883228662565464074321634607806345017364493\ 3962346201685007/61916619852259369581590631871347642053120741922795\ 08544953441486910478214158*c_0101_6^17 + 2087396388282638329154771405161818207329506693598339729804558190601\ 7252877631838384/30958309926129684790795315935673821026560370961397\ 54272476720743455239107079*c_0101_6^15 - 7320869598452683372563600067770073997403407589900536513776352847266\ 880229077128322/309583099261296847907953159356738210265603709613975\ 4272476720743455239107079*c_0101_6^13 + 3625498478651934760059236852161283172743351154278664102091199196022\ 1210336889000643/61916619852259369581590631871347642053120741922795\ 08544953441486910478214158*c_0101_6^11 - 3610036316631845306463065889975349752003898252648361140428238720357\ 7797572560097366/30958309926129684790795315935673821026560370961397\ 54272476720743455239107079*c_0101_6^9 + 1025096852689382409010961160677095281563835719423815844793920391247\ 879602187551172/182107705447821675239972446680434241332708064478809\ 074851571808438543476887*c_0101_6^7 - 3013604536304666565432630628657775199308622029672888550889033256320\ 272685544016632/309583099261296847907953159356738210265603709613975\ 4272476720743455239107079*c_0101_6^5 + 2034470554513573613552456085038878959825051176617520885238103005436\ 83155885807993/3095830992612968479079531593567382102656037096139754\ 272476720743455239107079*c_0101_6^3 - 7917014624047103860002223350041357761823477695142126664540368152672\ 996300291051/309583099261296847907953159356738210265603709613975427\ 2476720743455239107079*c_0101_6, c_0011_0 - 1, c_0011_1 + 549195061255581466503438071297348989013827623956884871152694\ 308270/583136525177948942457243096738397775569848744688619792025270\ 7689600803*c_0101_6^28 + 803035728146886121305910225869825439651001\ 68764002629750260658058959/5831365251779489424572430967383977755698\ 487446886197920252707689600803*c_0101_6^26 + 7615270793286122934357358731112504271596806591750329600253751058428\ 476/583136525177948942457243096738397775569848744688619792025270768\ 9600803*c_0101_6^24 + 278218874210844548136712294067378719709572433\ 81701863324398112790801446/5831365251779489424572430967383977755698\ 487446886197920252707689600803*c_0101_6^22 + 2264253947865715304962730539691788097265268059328775904744685235266\ 13575/5831365251779489424572430967383977755698487446886197920252707\ 689600803*c_0101_6^20 - 1303532251727687278859520538617477687039031\ 497530014557839317166166277464/583136525177948942457243096738397775\ 5698487446886197920252707689600803*c_0101_6^18 + 4281705608949975013614286316815511848117323134159225144292882469413\ 789198/583136525177948942457243096738397775569848744688619792025270\ 7689600803*c_0101_6^16 - 113115356636884967387021530267958136417642\ 54390816747112214326546505461120/5831365251779489424572430967383977\ 755698487446886197920252707689600803*c_0101_6^14 + 1576614885474668075163652203598185082619935769007907000597570929575\ 206295/583136525177948942457243096738397775569848744688619792025270\ 7689600803*c_0101_6^12 - 102934282556828127590038327140140775280800\ 40776563116771993163616157153256/5831365251779489424572430967383977\ 755698487446886197920252707689600803*c_0101_6^10 + 1886492524768585754740049837743160284091978715270387018690623334944\ 4028415/58313652517794894245724309673839777556984874468861979202527\ 07689600803*c_0101_6^8 - 571017099844755968026098374775867376408347\ 9001376801773167661138889030325/58313652517794894245724309673839777\ 55698487446886197920252707689600803*c_0101_6^6 + 3125768992981904066152858244663772691076960170866486216057448051098\ 78061/5831365251779489424572430967383977755698487446886197920252707\ 689600803*c_0101_6^4 - 16822859837401615691793283037165420766673108\ 153500583460359631009129740/583136525177948942457243096738397775569\ 8487446886197920252707689600803*c_0101_6^2 + 3356161171470642575696763515403580100881529087499368340358969449498\ 833/583136525177948942457243096738397775569848744688619792025270768\ 9600803, c_0011_4 + 852628349340630927691243105600196678344352350053925081464233\ 68735534/9738379970471747339035959715531242852016474036299950526822\ 02184163334101*c_0101_6^28 + 12453478330454579355550928270583617676\ 002912722217442318594918269009393/973837997047174733903595971553124\ 285201647403629995052682202184163334101*c_0101_6^26 + 1180272292019303725289837892789670178824808266397178559133485118812\ 529814/973837997047174733903595971553124285201647403629995052682202\ 184163334101*c_0101_6^24 + 4129440482224460340651457402340808832110\ 448750864390682086420297999790265/973837997047174733903595971553124\ 285201647403629995052682202184163334101*c_0101_6^22 + 3445712800054793823346373738313108335461907785668261789116976995344\ 9964758/97383799704717473390359597155312428520164740362999505268220\ 2184163334101*c_0101_6^20 - 208027303879972458177024209966334554543\ 358071123725812900416928194057641670/973837997047174733903595971553\ 124285201647403629995052682202184163334101*c_0101_6^18 + 6971901484051867288915592407921595178272109331488518464861104150563\ 16130608/9738379970471747339035959715531242852016474036299950526822\ 02184163334101*c_0101_6^16 - 18626146660515426968691570149760857689\ 29249129721277314285083517578721927896/9738379970471747339035959715\ 53124285201647403629995052682202184163334101*c_0101_6^14 + 5259351729677616407123606666561829266097261039719640944141972829354\ 78242794/9738379970471747339035959715531242852016474036299950526822\ 02184163334101*c_0101_6^12 - 16349323710766501753697703422116312307\ 84076307625878199327540023205983691726/9738379970471747339035959715\ 53124285201647403629995052682202184163334101*c_0101_6^10 + 3185348928519362183864993873785662893079132499680974992836039164599\ 656787989/973837997047174733903595971553124285201647403629995052682\ 202184163334101*c_0101_6^8 - 13536029207177970679771654097021175569\ 61414764063699467446671100757495943024/9738379970471747339035959715\ 53124285201647403629995052682202184163334101*c_0101_6^6 + 1863801854228416519875178669963902218188206781544500169421529885371\ 44049786/9738379970471747339035959715531242852016474036299950526822\ 02184163334101*c_0101_6^4 - 944572982991413895632474654693682611722\ 9756783497623539736384045657934682/97383799704717473390359597155312\ 4285201647403629995052682202184163334101*c_0101_6^2 + 5442425589612260044212512501897867648621176072172163599742468441639\ 78889/9738379970471747339035959715531242852016474036299950526822021\ 84163334101, c_0101_0 + 146434807501189433183155904140149628246350104140971178580204\ 22697984/9913320928025132021773132644552762184687428659706536464429\ 6030723213651*c_0101_6^29 + 213526853528232254687459615110378993446\ 9202129674048779232055501987762/99133209280251320217731326445527621\ 846874286597065364644296030723213651*c_0101_6^27 + 2021861903110677841768911667847261123706408213109450669229540621750\ 76133/9913320928025132021773132644552762184687428659706536464429603\ 0723213651*c_0101_6^25 + 659916560559664387066204618023592541722569\ 189804523119242473674730608899/991332092802513202177313264455276218\ 46874286597065364644296030723213651*c_0101_6^23 + 5739371707280330045504560316981243804949754147150334183729511989854\ 601531/991332092802513202177313264455276218468742865970653646442960\ 30723213651*c_0101_6^21 - 37187932810740037084473438557677613634716\ 736746649632736099641670843255848/991332092802513202177313264455276\ 21846874286597065364644296030723213651*c_0101_6^19 + 1282296307642337453572284862416629622332617108073282925549193367344\ 29989623/9913320928025132021773132644552762184687428659706536464429\ 6030723213651*c_0101_6^17 - 347916074378882919034992477789231403642\ 927565137207166813584718701270181873/991332092802513202177313264455\ 27621846874286597065364644296030723213651*c_0101_6^15 + 1645604856355560951680575774566540022631692391900371190746308938966\ 06304699/9913320928025132021773132644552762184687428659706536464429\ 6030723213651*c_0101_6^13 - 293631311506210531761085981017616904678\ 014344861315809204597646057100530062/991332092802513202177313264455\ 27621846874286597065364644296030723213651*c_0101_6^11 + 6144050835818482154009436154696400742481208247913819591221213891246\ 35390041/9913320928025132021773132644552762184687428659706536464429\ 6030723213651*c_0101_6^9 - 2100290389020565917332021500643831542070\ 6911656544509821337532208411913634/58313652517794894245724309673839\ 77755698487446886197920252707689600803*c_0101_6^7 + 7346728129449844572495974570978519575419119986324131212143179955310\ 3766855/99133209280251320217731326445527621846874286597065364644296\ 030723213651*c_0101_6^5 - 55916377602027266782391002898859401632120\ 04787970533047504246897863577684/9913320928025132021773132644552762\ 1846874286597065364644296030723213651*c_0101_6^3 + 4732271674308664412998223042588639217813772990028700707045888171718\ 96462/9913320928025132021773132644552762184687428659706536464429603\ 0723213651*c_0101_6, c_0101_1 - 280741936486975738330002465400547477078133897256309712733324\ 623395/583136525177948942457243096738397775569848744688619792025270\ 7689600803*c_0101_6^28 - 410616898338412149170309956183511465822128\ 74783546984158488693751978/5831365251779489424572430967383977755698\ 487446886197920252707689600803*c_0101_6^26 - 3894514139116474280927603241153966898561796827673123055572264001469\ 411/583136525177948942457243096738397775569848744688619792025270768\ 9600803*c_0101_6^24 - 143815580389911832698720101115535445786564419\ 25043027323158960943436919/5831365251779489424572430967383977755698\ 487446886197920252707689600803*c_0101_6^22 - 1163610545213072173990961646352972148213949362744893049154983992687\ 00818/5831365251779489424572430967383977755698487446886197920252707\ 689600803*c_0101_6^20 + 6614841030717053841849584539495405679051458\ 30747091053854683602967865808/5831365251779489424572430967383977755\ 698487446886197920252707689600803*c_0101_6^18 - 2162614906395091742332990968934131253860908715664798882120954572968\ 115098/583136525177948942457243096738397775569848744688619792025270\ 7689600803*c_0101_6^16 + 569833078223705098532186409113410841289667\ 8374695226618420230729063666310/58313652517794894245724309673839777\ 55698487446886197920252707689600803*c_0101_6^14 - 5867159855824843790197987535739964268375447026003035657552552025769\ 21256/5831365251779489424572430967383977755698487446886197920252707\ 689600803*c_0101_6^12 + 5272400505591473841261645841524674233777940\ 358890153347067448460507443813/583136525177948942457243096738397775\ 5698487446886197920252707689600803*c_0101_6^10 - 9417057375804929622911108841906537653087388674859081198073295363561\ 381374/583136525177948942457243096738397775569848744688619792025270\ 7689600803*c_0101_6^8 + 2574543865563036752501636934206557150992031\ 327911533373494913976423947190/583136525177948942457243096738397775\ 5698487446886197920252707689600803*c_0101_6^6 - 1025120733650586569429688662141573443413516640436221208298487870934\ 23988/5831365251779489424572430967383977755698487446886197920252707\ 689600803*c_0101_6^4 - 68179031004204090078014864268346441592452218\ 9744393677450932394998825/58313652517794894245724309673839777556984\ 87446886197920252707689600803*c_0101_6^2 + 1712203405892942162723650947345356190658165550554825972222811573056\ 291/583136525177948942457243096738397775569848744688619792025270768\ 9600803, c_0101_5 - 909977292885957152239842944247553609968235889161936385587374\ 1595762720/16555245949801970476361131516403112848428005861709915895\ 597437130776679717*c_0101_6^29 - 1329303660686469698415862699682265\ 475901173159160244353239270607345745311/165552459498019704763611315\ 16403112848428005861709915895597437130776679717*c_0101_6^27 - 1259938779676353105233210374616237033576895694738399403151809525416\ 11739376/1655524594980197047636113151640311284842800586170991589559\ 7437130776679717*c_0101_6^25 - 443366970747929358399712693958193504\ 721962716137690786987786394906412448602/165552459498019704763611315\ 16403112848428005861709915895597437130776679717*c_0101_6^23 - 3685773216322800915830532196025269002681809636885021436136534022334\ 746056959/165552459498019704763611315164031128484280058617099158955\ 97437130776679717*c_0101_6^21 + 22128176519410628924082400238867581\ 837696120987953176184100742337425295023974/165552459498019704763611\ 31516403112848428005861709915895597437130776679717*c_0101_6^19 - 7390941101477055588330935985860445966537076632656022924233639137920\ 2498424973/16555245949801970476361131516403112848428005861709915895\ 597437130776679717*c_0101_6^17 + 1970532559636033234409806016771809\ 04764431701251252167369798066764613360534601/1655524594980197047636\ 1131516403112848428005861709915895597437130776679717*c_0101_6^15 - 5140089043152851375978784778742981227843537933388613454918580951130\ 9443889712/16555245949801970476361131516403112848428005861709915895\ 597437130776679717*c_0101_6^13 + 1719091729930951483849346415356736\ 49889832229991899429554481921153424119599614/1655524594980197047636\ 1131516403112848428005861709915895597437130776679717*c_0101_6^11 - 3363133964008598180610249456727473187934341159889219836536364251038\ 22089555290/1655524594980197047636113151640311284842800586170991589\ 5597437130776679717*c_0101_6^9 + 7996085490158277921708791023833961\ 123705587269353016617647451532719434904916/973837997047174733903595\ 971553124285201647403629995052682202184163334101*c_0101_6^7 - 1465357752712991410853292047877236841550654968203175509054750901340\ 9995972053/16555245949801970476361131516403112848428005861709915895\ 597437130776679717*c_0101_6^5 + 19815039499249186565377185371726721\ 2859139721814829008842497575753246261910/16555245949801970476361131\ 516403112848428005861709915895597437130776679717*c_0101_6^3 - 3223808714382538386945794669379860901629867117239498170141351434194\ 6193884/16555245949801970476361131516403112848428005861709915895597\ 437130776679717*c_0101_6, c_0101_6^30 + 146*c_0101_6^28 + 13834*c_0101_6^26 + 47602*c_0101_6^24 + 401118*c_0101_6^22 - 2464443*c_0101_6^20 + 8319690*c_0101_6^18 - 22316404*c_0101_6^16 + 7415324*c_0101_6^14 - 19384521*c_0101_6^12 + 38496640*c_0101_6^10 - 17963169*c_0101_6^8 + 2881455*c_0101_6^6 - 175739*c_0101_6^4 + 10162*c_0101_6^2 - 289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB