Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 3035965567] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0969 geometric_solution 4.86162422 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494491375260 0.164945610242 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 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.685711011887 0.442077368897 1 4 3 3 0132 0132 3012 2310 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 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.558625287331 1.169800013283 2 2 4 1 3201 1230 1023 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 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.558625287331 1.169800013283 5 2 3 5 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.563141259245 0.655376037923 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.448134850154 0.391956954292 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.613773331758 0.141865883845 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(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_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 771595324047502182639288315156462217174535/272279745815945963452128\ 141878049266804*c_0101_6^27 - 1057874808664955265671156577968605829\ 3406920/68069936453986490863032035469512316701*c_0101_6^25 + 532892870921938416257655374116589226661662919/136139872907972981726\ 064070939024633402*c_0101_6^23 - 1548997430832073304603425803386827\ 0619565170555/272279745815945963452128141878049266804*c_0101_6^21 + 34179604477033926610874000535123200932677171098/6806993645398649086\ 3032035469512316701*c_0101_6^19 - 603695714448141937176214538057557\ 4481493891072/2347239188068499684932139154121114369*c_0101_6^17 + 1885938213276426414172712894734458088770350545403/27227974581594596\ 3452128141878049266804*c_0101_6^15 - 665178283824555837846198116568382434646022761478/680699364539864908\ 63032035469512316701*c_0101_6^13 + 13375044122205127439531437918341959860660950728/1660242352536255874\ 708098426085666261*c_0101_6^11 - 1086840505518220043479409859281528\ 625464052683459/272279745815945963452128141878049266804*c_0101_6^9 + 312772430406809990838606216657635502957803415533/272279745815945963\ 452128141878049266804*c_0101_6^7 - 50477702869543884825776444262102926160233590237/2722797458159459634\ 52128141878049266804*c_0101_6^5 + 256888468628475422560675216429644\ 33022203918/1660242352536255874708098426085666261*c_0101_6^3 - 140653487894729209128855559109388299350133805/272279745815945963452\ 128141878049266804*c_0101_6, c_0011_0 - 1, c_0011_1 - 160023972267658710833951072731707487/80939282347189644308004\ 798417969461*c_0101_6^26 + 8773532130733361630072501113361535535/80\ 939282347189644308004798417969461*c_0101_6^24 - 220910045991609807299110258976156862238/809392823471896443080047984\ 17969461*c_0101_6^22 + 3209336131972666401955649491546482760667/809\ 39282347189644308004798417969461*c_0101_6^20 - 28308543712532217290459903043157080907326/8093928234718964430800479\ 8417969461*c_0101_6^18 + 144833452883383857646804906594073668929709\ /80939282347189644308004798417969461*c_0101_6^16 - 389114196874834848473874244188531663027570/809392823471896443080047\ 98417969461*c_0101_6^14 + 54660681136735114631360030925710689737820\ 3/80939282347189644308004798417969461*c_0101_6^12 - 10930343591940766485296641801795059005437/1974128837736332788000117\ 034584621*c_0101_6^10 + 220432320920482237627364931100749232419491/\ 80939282347189644308004798417969461*c_0101_6^8 - 62814598572613302571862687195065240089496/8093928234718964430800479\ 8417969461*c_0101_6^6 + 10044371921821358286028451936028500988611/8\ 0939282347189644308004798417969461*c_0101_6^4 - 20352771844866681590037814597907075715/1974128837736332788000117034\ 584621*c_0101_6^2 + 27967704528842444469257101572597118230/80939282\ 347189644308004798417969461, c_0011_3 - 259945934835740542191031826246878931/80939282347189644308004\ 798417969461*c_0101_6^27 + 14239312599971749896790602025386842366/8\ 0939282347189644308004798417969461*c_0101_6^25 - 358162911641864625470870094869955658533/809392823471896443080047984\ 17969461*c_0101_6^23 + 5196055693091265166229632943510760297005/809\ 39282347189644308004798417969461*c_0101_6^21 - 45735512800076183629182507357074177875031/8093928234718964430800479\ 8417969461*c_0101_6^19 + 233086075565309433925126350323521357742445\ /80939282347189644308004798417969461*c_0101_6^17 - 621058605103995813437557551071777865419579/809392823471896443080047\ 98417969461*c_0101_6^15 + 85913988009072933981285166551089523181731\ 6/80939282347189644308004798417969461*c_0101_6^13 - 16822421470845217163390361568076678703497/1974128837736332788000117\ 034584621*c_0101_6^11 + 329101698725759030706316118985992311738941/\ 80939282347189644308004798417969461*c_0101_6^9 - 89437839088815567812639351313742377120219/8093928234718964430800479\ 8417969461*c_0101_6^7 + 13429009456269377961613429024098493902173/8\ 0939282347189644308004798417969461*c_0101_6^5 - 25202917672215439892485862890059072176/1974128837736332788000117034\ 584621*c_0101_6^3 + 31569908445838596136937301523887148785/80939282\ 347189644308004798417969461*c_0101_6, c_0101_0 - 1042199334454701357755879733817278233/8093928234718964430800\ 4798417969461*c_0101_6^27 + 57168895560540555667986617288363521124/\ 80939282347189644308004798417969461*c_0101_6^25 - 1440314856322928207943301204695158813173/80939282347189644308004798\ 417969461*c_0101_6^23 + 20941241501690852182066029384548350228221/8\ 0939282347189644308004798417969461*c_0101_6^21 - 184938569974494130572712423308123936472225/809392823471896443080047\ 98417969461*c_0101_6^19 + 94826311309206319869323546408802098075608\ 7/80939282347189644308004798417969461*c_0101_6^17 - 2559351585326718432604492866215792471864211/80939282347189644308004\ 798417969461*c_0101_6^15 + 3625081930839237095488190948147460226136\ 465/80939282347189644308004798417969461*c_0101_6^13 - 73270509103244243044473966984438461156349/1974128837736332788000117\ 034584621*c_0101_6^11 + 1499063807138683885392025996566390199091607\ /80939282347189644308004798417969461*c_0101_6^9 - 435829193783502912194588622789531869090793/809392823471896443080047\ 98417969461*c_0101_6^7 + 71190293882076493564638555698500615672570/\ 80939282347189644308004798417969461*c_0101_6^5 - 146823741011405210245150774165231981331/197412883773633278800011703\ 4584621*c_0101_6^3 + 203955684742635741897492329404382216269/809392\ 82347189644308004798417969461*c_0101_6, c_0101_1 + 237732118615591247144788499975535763/80939282347189644308004\ 798417969461*c_0101_6^26 - 13032160629089144231578354399037471147/8\ 0939282347189644308004798417969461*c_0101_6^24 + 328084642531678437855321844210473217990/809392823471896443080047984\ 17969461*c_0101_6^22 - 4765284937083895942383297193208485556748/809\ 39282347189644308004798417969461*c_0101_6^20 + 42018793213805538194099900175906569370192/8093928234718964430800479\ 8417969461*c_0101_6^18 - 214844275667509441100755036460639577814268\ /80939282347189644308004798417969461*c_0101_6^16 + 576436892647688098847346648890198550782885/809392823471896443080047\ 98417969461*c_0101_6^14 - 80770571545094427802960978943581396603877\ 7/80939282347189644308004798417969461*c_0101_6^12 + 16092983952056286918445629228894632055274/1974128837736332788000117\ 034584621*c_0101_6^10 - 322766610267222175288210198597806245232149/\ 80939282347189644308004798417969461*c_0101_6^8 + 91136402438253041096359262125630889416695/8093928234718964430800479\ 8417969461*c_0101_6^6 - 14368448217657616764935339736039764490858/8\ 0939282347189644308004798417969461*c_0101_6^4 + 28528521528199479546715813665413718853/1974128837736332788000117034\ 584621*c_0101_6^2 - 38193164248059247862607213252261701936/80939282\ 347189644308004798417969461, c_0101_5 + 104487523117265340082195270333610086/80939282347189644308004\ 798417969461*c_0101_6^26 - 5730072519725717201555068245907385197/80\ 939282347189644308004798417969461*c_0101_6^24 + 144319540648879566000841481248162212772/809392823471896443080047984\ 17969461*c_0101_6^22 - 2097449417535855452236639093188355338315/809\ 39282347189644308004798417969461*c_0101_6^20 + 18511673792901971757327564488583943169678/8093928234718964430800479\ 8417969461*c_0101_6^18 - 94809932387220674455040700849175461352567/\ 80939282347189644308004798417969461*c_0101_6^16 + 255279994952769928454776026172212462431387/809392823471896443080047\ 98417969461*c_0101_6^14 - 36001130168786704330403744589048739634724\ 8/80939282347189644308004798417969461*c_0101_6^12 + 7234658807319623035651946598842618640675/19741288377363327880001170\ 34584621*c_0101_6^10 - 146842599812011910773869340856498423521331/8\ 0939282347189644308004798417969461*c_0101_6^8 + 42203830127743851933031345232528823271003/8093928234718964430800479\ 8417969461*c_0101_6^6 - 6802641599270216930841579512631346361785/80\ 939282347189644308004798417969461*c_0101_6^4 + 13870930953500503996430231314387359041/1974128837736332788000117034\ 584621*c_0101_6^2 - 19168418183509130806683040009771195125/80939282\ 347189644308004798417969461, c_0101_6^28 - 55*c_0101_6^26 + 1390*c_0101_6^24 - 20295*c_0101_6^22 + 180383*c_0101_6^20 - 935772*c_0101_6^18 + 2588593*c_0101_6^16 - 3837179*c_0101_6^14 + 3391432*c_0101_6^12 - 1860853*c_0101_6^10 + 629466*c_0101_6^8 - 129916*c_0101_6^6 + 15869*c_0101_6^4 - 1051*c_0101_6^2 + 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB