Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 3153733498] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0485 geometric_solution 4.50702246 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 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 1 0 -1 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.075405863432 0.343342464743 0 3 4 3 0132 2310 0132 0321 0 0 0 0 0 0 -1 1 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 -1 1 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.288724263751 1.133860031763 5 0 0 5 0132 0132 1023 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 -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.487206081401 0.580320750547 4 1 0 1 2310 0321 0132 3201 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 0 0 1 -1 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.288724263751 1.133860031763 4 4 3 1 1230 3012 3201 0132 0 0 0 0 0 -1 0 1 0 0 0 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 1 0 -1 0 0 0 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.789098461385 0.828239449520 2 2 6 6 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.279042015956 0.431184870242 6 5 6 5 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.653739231907 0.061298591520 ==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' : 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' : 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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), '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' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0101_2']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_6, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 854781833049696327230070216580333520/661649147291843721504861779714\ 483*c_0101_5^34 - 31112667889649893725436844300175991112/6616491472\ 91843721504861779714483*c_0101_5^32 + 519215672630592357322046265046247125066/661649147291843721504861779\ 714483*c_0101_5^30 - 5191925771141368347574271699421631886240/66164\ 9147291843721504861779714483*c_0101_5^28 + 34249108067284303701269465637425532396920/6616491472918437215048617\ 79714483*c_0101_5^26 - 155254929761055795359505331697086078516405/6\ 61649147291843721504861779714483*c_0101_5^24 + 491673748956220738786872063423479966177944/661649147291843721504861\ 779714483*c_0101_5^22 - 1094036988710205488365765273404844731756891\ /661649147291843721504861779714483*c_0101_5^20 + 1714020683913958946811610153994124290219267/66164914729184372150486\ 1779714483*c_0101_5^18 - 189153975492962270558624588783204671045915\ 8/661649147291843721504861779714483*c_0101_5^16 + 1466519810259868412624356263862695218363497/66164914729184372150486\ 1779714483*c_0101_5^14 - 792397703384888083140064172954809261293126\ /661649147291843721504861779714483*c_0101_5^12 + 293596528845865811634050500218684407635743/661649147291843721504861\ 779714483*c_0101_5^10 - 72514153022348920074129412419270382928241/6\ 61649147291843721504861779714483*c_0101_5^8 + 11396707239292168023177504502603066691145/6616491472918437215048617\ 79714483*c_0101_5^6 - 1061614234610062478623391344593025618934/6616\ 49147291843721504861779714483*c_0101_5^4 + 52462067756730847245101351482689343451/6616491472918437215048617797\ 14483*c_0101_5^2 - 1047805556417861861494454549697903353/6616491472\ 91843721504861779714483, c_0011_0 - 1, c_0011_3 - 71542512236523299436186967746824752/125713337985450307085923\ 73814575177*c_0101_5^35 + 2616176727506366900603391646534179696/125\ 71333798545030708592373814575177*c_0101_5^33 - 43896130541326238603720718285078449786/1257133379854503070859237381\ 4575177*c_0101_5^31 + 441830414752076609788446296330821030355/12571\ 333798545030708592373814575177*c_0101_5^29 - 2938762024867871046670610148420959935563/12571333798545030708592373\ 814575177*c_0101_5^27 + 13465838487398238189452714385192740350818/1\ 2571333798545030708592373814575177*c_0101_5^25 - 43260565510718526880112107471879934276302/1257133379854503070859237\ 3814575177*c_0101_5^23 + 98131105584925229215808998851046239211335/\ 12571333798545030708592373814575177*c_0101_5^21 - 157735344153515764933120028874338426903244/125713337985450307085923\ 73814575177*c_0101_5^19 + 18004935281699291381558485097768302021707\ 8/12571333798545030708592373814575177*c_0101_5^17 - 145903535235462973928396278339942090900910/125713337985450307085923\ 73814575177*c_0101_5^15 + 4398248412134178037695882931735707075097/\ 661649147291843721504861779714483*c_0101_5^13 - 33487577418904908866791407155787859557449/1257133379854503070859237\ 3814575177*c_0101_5^11 + 9222931448283870309695047358821250227105/1\ 2571333798545030708592373814575177*c_0101_5^9 - 1697172379076252360959923092194281093612/12571333798545030708592373\ 814575177*c_0101_5^7 + 200256185615351160044540876195599569759/1257\ 1333798545030708592373814575177*c_0101_5^5 - 14207691587695494420207170134248168198/1257133379854503070859237381\ 4575177*c_0101_5^3 + 494637832036912558245854650776469556/125713337\ 98545030708592373814575177*c_0101_5, c_0011_4 - 676454177816383904068971663198980240/12571333798545030708592\ 373814575177*c_0101_5^35 + 24668789162423399687217959940686706216/1\ 2571333798545030708592373814575177*c_0101_5^33 - 412608637590872007077129690467437002762/125713337985450307085923738\ 14575177*c_0101_5^31 + 4137448103908043885267982879626062033060/125\ 71333798545030708592373814575177*c_0101_5^29 - 27391712034046412616855743948479381177149/1257133379854503070859237\ 3814575177*c_0101_5^27 + 124771308655516228327082116365860769448105\ /12571333798545030708592373814575177*c_0101_5^25 - 397784391020392220648605549220616912212852/125713337985450307085923\ 73814575177*c_0101_5^23 + 89347506003208856938278464877914667168523\ 7/12571333798545030708592373814575177*c_0101_5^21 - 1418495944585121616460493023821123215188541/12571333798545030708592\ 373814575177*c_0101_5^19 + 1594974058390497186780163099377186013578\ 468/12571333798545030708592373814575177*c_0101_5^17 - 1269670046737530167536357194532455147615259/12571333798545030708592\ 373814575177*c_0101_5^15 + 3748325342083151537906298454006884830876\ 8/661649147291843721504861779714483*c_0101_5^13 - 278364297031955971357689054867806637551206/125713337985450307085923\ 73814575177*c_0101_5^11 + 74285551658284780846387231177244168229188\ /12571333798545030708592373814575177*c_0101_5^9 - 13082919295335148005843443824104012967814/1257133379854503070859237\ 3814575177*c_0101_5^7 + 1440166321702027622797805454481114508524/12\ 571333798545030708592373814575177*c_0101_5^5 - 89780877582716606847837046931348884943/1257133379854503070859237381\ 4575177*c_0101_5^3 + 2410110391585176483050828803917079885/12571333\ 798545030708592373814575177*c_0101_5, c_0011_6 + 4875030873266471182567323775076248/1257133379854503070859237\ 3814575177*c_0101_5^34 - 174712750780937235780957620800173220/12571\ 333798545030708592373814575177*c_0101_5^32 + 2863445296828775272862108978241058271/12571333798545030708592373814\ 575177*c_0101_5^30 - 28010200454772782047195748786553134973/1257133\ 3798545030708592373814575177*c_0101_5^28 + 179696425581555381983291651671852363086/125713337985450307085923738\ 14575177*c_0101_5^26 - 785355683635254430463717122154566418484/1257\ 1333798545030708592373814575177*c_0101_5^24 + 2367920544797114582563080790388809187205/12571333798545030708592373\ 814575177*c_0101_5^22 - 4930124712941691459549114820798831148012/12\ 571333798545030708592373814575177*c_0101_5^20 + 7067901874569160308681508270974243317780/12571333798545030708592373\ 814575177*c_0101_5^18 - 6948364880967889473863242223074824181768/12\ 571333798545030708592373814575177*c_0101_5^16 + 4653432957089915570672491323585442114915/12571333798545030708592373\ 814575177*c_0101_5^14 - 110481094718373178312250013354711832015/661\ 649147291843721504861779714483*c_0101_5^12 + 625345811515801061600996603330459067881/125713337985450307085923738\ 14575177*c_0101_5^10 - 118560018135277062663169078747687881450/1257\ 1333798545030708592373814575177*c_0101_5^8 + 13306658327286213205354806102178139689/1257133379854503070859237381\ 4575177*c_0101_5^6 - 704042403051721651626879972034996258/125713337\ 98545030708592373814575177*c_0101_5^4 - 29359675938467156816955233510140907/1257133379854503070859237381457\ 5177*c_0101_5^2 - 3628519768979618279069002846222083/12571333798545\ 030708592373814575177, c_0101_2 - 4353367562311563150599419596083592/1257133379854503070859237\ 3814575177*c_0101_5^35 + 157952674487927971660694136937580700/12571\ 333798545030708592373814575177*c_0101_5^33 - 2626537393337983120493909812925991861/12571333798545030708592373814\ 575177*c_0101_5^31 + 26154510908194761920048162773431598349/1257133\ 3798545030708592373814575177*c_0101_5^29 - 171663249666563895239265460040953690657/125713337985450307085923738\ 14575177*c_0101_5^27 + 773360441568439382997510513592766513584/1257\ 1333798545030708592373814575177*c_0101_5^25 - 2430581306975711395463624696919951619365/12571333798545030708592373\ 814575177*c_0101_5^23 + 5359949504915909227744297826166181080569/12\ 571333798545030708592373814575177*c_0101_5^21 - 8316653995936490627777228651360564417258/12571333798545030708592373\ 814575177*c_0101_5^19 + 9100754166095515594035285669577629685059/12\ 571333798545030708592373814575177*c_0101_5^17 - 7030935099820244281956345285384353312998/12571333798545030708592373\ 814575177*c_0101_5^15 + 201563887656172757349474973124381203768/661\ 649147291843721504861779714483*c_0101_5^13 - 1463357651326720151679253066629480829010/12571333798545030708592373\ 814575177*c_0101_5^11 + 388068202553490606736760642062323230876/125\ 71333798545030708592373814575177*c_0101_5^9 - 70216870052129802227429488991532172260/1257133379854503070859237381\ 4575177*c_0101_5^7 + 8496117122063738271478835219849704087/12571333\ 798545030708592373814575177*c_0101_5^5 - 685088127353666255267358661882532056/125713337985450307085923738145\ 75177*c_0101_5^3 + 59752704787669953311320083497967022/125713337985\ 45030708592373814575177*c_0101_5, c_0101_4 + 3625757708178555669525008222796054064/1257133379854503070859\ 2373814575177*c_0101_5^34 - 132077942137097908106522257587950414400\ /12571333798545030708592373814575177*c_0101_5^32 + 2206230764413442907286782141871373867890/12571333798545030708592373\ 814575177*c_0101_5^30 - 22086886125431145467302548781576407027965/1\ 2571333798545030708592373814575177*c_0101_5^28 + 145914020762691493520742642085204318630397/125713337985450307085923\ 73814575177*c_0101_5^26 - 66273929360592809131022324672825915737365\ 5/12571333798545030708592373814575177*c_0101_5^24 + 2104411639340048735741461924932937463349150/12571333798545030708592\ 373814575177*c_0101_5^22 - 4699825975328162172951393163555202681248\ 328/12571333798545030708592373814575177*c_0101_5^20 + 7400664506398679760605306230007427761816634/12571333798545030708592\ 373814575177*c_0101_5^18 - 8224417736866440688347417011039425237692\ 750/12571333798545030708592373814575177*c_0101_5^16 + 6438099401996938673617259446691640465877190/12571333798545030708592\ 373814575177*c_0101_5^14 - 1855470648490582318941411956886937850994\ 81/661649147291843721504861779714483*c_0101_5^12 + 1330878164349461809554589372318937999793544/12571333798545030708592\ 373814575177*c_0101_5^10 - 3375610009676304258026441301784450018550\ 95/12571333798545030708592373814575177*c_0101_5^8 + 55114378691383321485896281537620924250046/1257133379854503070859237\ 3814575177*c_0101_5^6 - 5415116367715193150591565806263836291670/12\ 571333798545030708592373814575177*c_0101_5^4 + 286026704173345665472372930750160074554/125713337985450307085923738\ 14575177*c_0101_5^2 - 6176296360839205976338181835722423666/1257133\ 3798545030708592373814575177, c_0101_5^36 - 73/2*c_0101_5^34 + 4889/8*c_0101_5^32 - 24543/4*c_0101_5^30 + 325485/8*c_0101_5^28 - 742839/4*c_0101_5^26 + 4749647/8*c_0101_5^24 - 10708395/8*c_0101_5^22 + 2135866*c_0101_5^20 - 19343067/8*c_0101_5^18 + 15538193/8*c_0101_5^16 - 2206053/2*c_0101_5^14 + 1754953/4*c_0101_5^12 - 240349/2*c_0101_5^10 + 176523/8*c_0101_5^8 - 20905/8*c_0101_5^6 + 755/4*c_0101_5^4 - 15/2*c_0101_5^2 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB