Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 2294879349] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2106 geometric_solution 5.60428277 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 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 -1 0 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 -1.068325757641 0.629829482462 0 0 3 2 0132 2310 0132 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 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314794942388 0.568906805992 4 5 1 3 0132 0132 0132 1302 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603533301567 0.522961840465 5 4 2 1 3201 2310 2031 0132 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 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.603533301567 0.522961840465 2 4 4 3 0132 1230 3012 3201 0 0 0 0 0 -1 1 0 0 0 1 -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 -1 1 0 0 0 1 -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 1.053639647666 0.820021613247 6 2 6 3 0132 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 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.116356860204 1.479793498916 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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.277804285953 0.309549906504 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : 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_0101_5'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 120374033750743160146607312730172014481149988883726336782547343/681\ 897393089853056759150543632561966510192743460045051577248*c_0101_5^\ 30 + 21644719729100998539244596140408468084438500993311708152555887\ 5/681897393089853056759150543632561966510192743460045051577248*c_01\ 01_5^28 + 320953507420089488565872512464903664025882403469259414933\ 20609833/6818973930898530567591505436325619665101927434600450515772\ 48*c_0101_5^26 - 30211487420906281743429457989159158319759755810031\ 966576181173499/681897393089853056759150543632561966510192743460045\ 051577248*c_0101_5^24 - 3739068658158619943521652810207821175757989\ 6632174957683247712999/26226822811148194490736559370483152558084336\ 286924809676048*c_0101_5^22 + 1793068915176360339993487930235922103\ 43854412835324636481566355107/1704743482724632641897876359081404916\ 27548185865011262894312*c_0101_5^20 + 1339719159392790421234051413651335472670481386746597190000747385025\ 3/681897393089853056759150543632561966510192743460045051577248*c_01\ 01_5^18 - 786904994393746747660071602106442236655251887060987903899\ 3104202349/17047434827246326418978763590814049162754818586501126289\ 4312*c_0101_5^16 + 617432732726913966983489748543878737666906355080\ 49887115830786551/4157910933474713760726527705076597356769467947927\ 103973032*c_0101_5^14 + 2585976069768970287502832019855655604643845\ 6180575966621648777425247/68189739308985305675915054363256196651019\ 2743460045051577248*c_0101_5^12 - 562430979564254786001336594945308\ 0156887736489310860005030964140355/68189739308985305675915054363256\ 1966510192743460045051577248*c_0101_5^10 - 1284175179763165575064700905261698864215157775405049738035923896798\ 3/681897393089853056759150543632561966510192743460045051577248*c_01\ 01_5^8 - 1296194854928049690749309344625661216106438452745970453531\ 459410005/681897393089853056759150543632561966510192743460045051577\ 248*c_0101_5^6 + 14534363356482797567142662992131257492593366007264\ 910449932675995/524536456222963889814731187409663051161686725738496\ 19352096*c_0101_5^4 + 271538246051199998794203177497642196146784933\ 63898232762373133213/6818973930898530567591505436325619665101927434\ 60045051577248*c_0101_5^2 + 582211023315593561767572331010483672974\ 937506238466035663454011/681897393089853056759150543632561966510192\ 743460045051577248, c_0011_0 - 1, c_0011_2 + 8987181360003754600047932330583433885649618925123283989075/8\ 315821866949427521453055410153194713538935895854207946064*c_0101_5^\ 31 - 16282247279486809515380754096490248381682972666854267914783/83\ 15821866949427521453055410153194713538935895854207946064*c_0101_5^2\ 9 - 2396021962626810496797324488474800023588844639871704586208133/8\ 315821866949427521453055410153194713538935895854207946064*c_0101_5^\ 27 + 2288161924757392880121376551108227406912772997994848637328127/\ 8315821866949427521453055410153194713538935895854207946064*c_0101_5\ ^25 + 2790302247979407805182756616533477752458315946702825012940563\ /319839302574977981594348285005892104366882149840546459464*c_0101_5\ ^23 - 1363297417961604933948191901934757191128404149306231218960671\ 1/2078955466737356880363263852538298678384733973963551986516*c_0101\ _5^21 - 99941511457496440521908344288495755141975739689955367234760\ 7305/8315821866949427521453055410153194713538935895854207946064*c_0\ 101_5^19 + 59088518439913099685531683997251240711417604737604768441\ 1323341/2078955466737356880363263852538298678384733973963551986516*\ c_0101_5^17 - 19732307278197564976208938958375724971921008788317342\ 3606537243/20789554667373568803632638525382986783847339739635519865\ 16*c_0101_5^15 - 19170457423779475385005088240105451701025145529822\ 82663547124627/8315821866949427521453055410153194713538935895854207\ 946064*c_0101_5^13 + 4446047167807132387287571573836717164763064027\ 15397238343302839/8315821866949427521453055410153194713538935895854\ 207946064*c_0101_5^11 + 9507379286547896199886690228817842041990972\ 40166291150077649571/8315821866949427521453055410153194713538935895\ 854207946064*c_0101_5^9 + 84647836351434125175347296420180426870929\ 784697343078517026833/831582186694942752145305541015319471353893589\ 5854207946064*c_0101_5^7 - 1099701721853833131517816426354478553836\ 818053816524041718415/639678605149955963188696570011784208733764299\ 681092918928*c_0101_5^5 - 18674575929835377802527964029551924185877\ 29403779918967039721/8315821866949427521453055410153194713538935895\ 854207946064*c_0101_5^3 - 18305490837461298274820927639806917363948\ 938603025579682287/831582186694942752145305541015319471353893589585\ 4207946064*c_0101_5, c_0101_0 - 31863791584995742854486303921946098547451864022782292290559/\ 8315821866949427521453055410153194713538935895854207946064*c_0101_5\ ^31 + 57727165930674015254874544347807257332159668230029029880059/8\ 315821866949427521453055410153194713538935895854207946064*c_0101_5^\ 29 + 8495033778404030100521292223925012892762786023693527052199833/\ 8315821866949427521453055410153194713538935895854207946064*c_0101_5\ ^27 - 8112338256581376191465856551417750093900225067415024138837307\ /8315821866949427521453055410153194713538935895854207946064*c_0101_\ 5^25 - 989300021549503183732257922421190852904185416059116791008018\ 3/319839302574977981594348285005892104366882149840546459464*c_0101_\ 5^23 + 483336419046740126347910548377544434978089789126253559505180\ 39/2078955466737356880363263852538298678384733973963551986516*c_010\ 1_5^21 + 3543445522442077436841832007483347604911292917898864933731\ 974477/8315821866949427521453055410153194713538935895854207946064*c\ _0101_5^19 - 209494909964494418509694993221460136117853119123824258\ 7870537153/20789554667373568803632638525382986783847339739635519865\ 16*c_0101_5^17 + 69939207841347284623029647155332724788821517019351\ 1538347109847/20789554667373568803632638525382986783847339739635519\ 86516*c_0101_5^15 + 67985572333977416284278833257062191016536440656\ 38881067627909951/8315821866949427521453055410153194713538935895854\ 207946064*c_0101_5^13 - 1577288334684099472016835667038672815443617\ 633745286774336521571/831582186694942752145305541015319471353893589\ 5854207946064*c_0101_5^11 - 337149067236669676863105668920243608299\ 8748668919036177401711295/83158218669494275214530554101531947135389\ 35895854207946064*c_0101_5^9 - 299648760338137539984896903264293274\ 158767919233614183563329573/831582186694942752145305541015319471353\ 8935895854207946064*c_0101_5^7 + 3919517465398896328189939154479454\ 736961169963558550575449819/639678605149955963188696570011784208733\ 764299681092918928*c_0101_5^5 + 65288199387863535738647022489613048\ 67111188386095952991188445/8315821866949427521453055410153194713538\ 935895854207946064*c_0101_5^3 + 11640456688356610532883186972226069\ 0794257963191017358130331/83158218669494275214530554101531947135389\ 35895854207946064*c_0101_5, c_0101_1 - 1809729157030047815375595323462137515924836197993273524195/5\ 19738866684339220090815963134574669596183493490887996629*c_0101_5^3\ 1 + 13095565221717411709477661526411758495777038601863486632939/207\ 8955466737356880363263852538298678384733973963551986516*c_0101_5^29 + 964980817132439350251191750609795571060905401645447229984527/1039\ 477733368678440181631926269149339192366986981775993258*c_0101_5^27 - 1837898330444804747594357017218984076914811860012598568472015/20789\ 55466737356880363263852538298678384733973963551986516*c_0101_5^25 - 2247694618499964441602036489434750334850027427397851388072917/79959\ 825643744495398587071251473026091720537460136614866*c_0101_5^23 + 10941983197113529650739448753292708692316002606676755526084934/5197\ 38866684339220090815963134574669596183493490887996629*c_0101_5^21 + 201278751186631762777745999406400838819300834344666211441716394/519\ 738866684339220090815963134574669596183493490887996629*c_0101_5^19 - 1901616262057274219987472385393700821478078668466042639566021501/20\ 78955466737356880363263852538298678384733973963551986516*c_0101_5^1\ 7 + 630706535102078475936341374483785433591639388247811419762826789\ /2078955466737356880363263852538298678384733973963551986516*c_0101_\ 5^15 + 154577408142312758945879586708451328955721003835758181149115\ 4395/2078955466737356880363263852538298678384733973963551986516*c_0\ 101_5^13 - 17702969845681790509336107592161391957256339365968479719\ 8607815/1039477733368678440181631926269149339192366986981775993258*\ c_0101_5^11 - 76660927797940124273673414667898574041858145220835113\ 9095007059/20789554667373568803632638525382986783847339739635519865\ 16*c_0101_5^9 - 351083490468260747624182882006005856902334113024296\ 85714917093/1039477733368678440181631926269149339192366986981775993\ 258*c_0101_5^7 + 86631170102299772958749991265883630435997887017965\ 4172918403/15991965128748899079717414250294605218344107492027322973\ 2*c_0101_5^5 + 7623543940368566215798670270458266162386212685572758\ 65730981/1039477733368678440181631926269149339192366986981775993258\ *c_0101_5^3 + 30059287033860325139044233849693261908402765376467190\ 466057/2078955466737356880363263852538298678384733973963551986516*c\ _0101_5, c_0101_3 + 333954207862286004755911176504805267593649944075970210359/41\ 57910933474713760726527705076597356769467947927103973032*c_0101_5^3\ 0 - 551216470025959283823797661895179417403294711405702252489/41579\ 10933474713760726527705076597356769467947927103973032*c_0101_5^28 - 89137055484996076944551665395188316447621130001811509927965/4157910\ 933474713760726527705076597356769467947927103973032*c_0101_5^26 + 70689610888407660701149387583764603823294290810767835151177/4157910\ 933474713760726527705076597356769467947927103973032*c_0101_5^24 + 104272155739323322210377711474040419860425032528022608911009/159919\ 651287488990797174142502946052183441074920273229732*c_0101_5^22 - 398390634619437377245785847196248744766132099424919889532903/103947\ 7733368678440181631926269149339192366986981775993258*c_0101_5^20 - 37511242792980500028417961330504510196103604393654728704406997/4157\ 910933474713760726527705076597356769467947927103973032*c_0101_5^18 + 40940912258169864521785076527894087587654487213985097899473315/2078\ 955466737356880363263852538298678384733973963551986516*c_0101_5^16 - 7261969668121508973583795372715786056097543504912446000293835/20789\ 55466737356880363263852538298678384733973963551986516*c_0101_5^14 - 77565821885632271237745890768428279850735224918342768485041725/4157\ 910933474713760726527705076597356769467947927103973032*c_0101_5^12 + 5695285037501596945012785865372655530041299975295805408963639/41579\ 10933474713760726527705076597356769467947927103973032*c_0101_5^10 + 39190238505744150103366681441781935890370099023927923975885797/4157\ 910933474713760726527705076597356769467947927103973032*c_0101_5^8 + 8441485435818831873364253535111603187983394543247401135620401/41579\ 10933474713760726527705076597356769467947927103973032*c_0101_5^6 - 46705887240286200399697815899553073409768963548834128446081/3198393\ 02574977981594348285005892104366882149840546459464*c_0101_5^4 - 157251285909374016503546816458057447002247401285826881412825/415791\ 0933474713760726527705076597356769467947927103973032*c_0101_5^2 - 3771101169749172083416652849660268136788875833152794751437/41579109\ 33474713760726527705076597356769467947927103973032, c_0101_4 + 68640626019210655340794947696136455392610211755584493423/319\ 839302574977981594348285005892104366882149840546459464*c_0101_5^30 - 119143736785706087149183474818497167591046332377217582579/319839302\ 574977981594348285005892104366882149840546459464*c_0101_5^28 - 18309982910805306843252712507423733366721920505227128449161/3198393\ 02574977981594348285005892104366882149840546459464*c_0101_5^26 + 16087315894881093997320655829494214134708737816836539319331/3198393\ 02574977981594348285005892104366882149840546459464*c_0101_5^24 + 277795932768084965912172454166149340799759753447460916863415/159919\ 651287488990797174142502946052183441074920273229732*c_0101_5^22 - 93647072093715284747798506938699125514627589265595197764515/7995982\ 5643744495398587071251473026091720537460136614866*c_0101_5^20 - 7669971093112442192287716208330310074943014036285766538856205/31983\ 9302574977981594348285005892104366882149840546459464*c_0101_5^18 + 4369118890995809180775148090164229646040374841549000105837295/79959\ 825643744495398587071251473026091720537460136614866*c_0101_5^16 - 1146469235805260594656205578139631421726717923792147963479257/79959\ 825643744495398587071251473026091720537460136614866*c_0101_5^14 - 15276683833220636641980306226056010001941346904282755638198031/3198\ 39302574977981594348285005892104366882149840546459464*c_0101_5^12 + 2359018254557308826107663108395886746630032805957412995269379/31983\ 9302574977981594348285005892104366882149840546459464*c_0101_5^10 + 7648503962359393022401050793570014899593995773038848829538951/31983\ 9302574977981594348285005892104366882149840546459464*c_0101_5^8 + 1152454073492764247251249103429914704111415124483063326984525/31983\ 9302574977981594348285005892104366882149840546459464*c_0101_5^6 - 122729468700902193242347949526213710736851633242345356663159/319839\ 302574977981594348285005892104366882149840546459464*c_0101_5^4 - 22114873468581520678354121115247563752441925897990208966605/3198393\ 02574977981594348285005892104366882149840546459464*c_0101_5^2 - 424244058534228472528100823561921595528366392351084213579/319839302\ 574977981594348285005892104366882149840546459464, c_0101_5^32 - 16/9*c_0101_5^30 - 800/3*c_0101_5^28 + 2210/9*c_0101_5^26 + 72731/9*c_0101_5^24 - 5794*c_0101_5^22 - 1002751/9*c_0101_5^20 + 2332997/9*c_0101_5^18 - 709304/9*c_0101_5^16 - 1948637/9*c_0101_5^14 + 381128/9*c_0101_5^12 + 968498/9*c_0101_5^10 + 116464/9*c_0101_5^8 - 12058/9*c_0101_5^6 - 2296/9*c_0101_5^4 - 28/3*c_0101_5^2 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB