Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 2699115636] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1394 geometric_solution 5.24162849 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 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.468535807314 0.225622834669 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -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 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 1.129756600900 0.287303701556 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 0 0 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 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.775618685517 0.428701310719 2 5 6 6 0132 0132 2310 0132 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 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.305113997821 0.641550831857 6 6 2 5 3201 1023 0132 0132 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 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.305113997821 0.641550831857 5 3 4 5 3012 0132 0132 1230 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 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.968916799909 0.929948967895 4 3 3 4 1023 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 -0.604566806046 1.271198109894 ==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' : 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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), '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_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 175639677410218473130123851924731086028944643/794615729524530231234\ 282587744153806898646624*c_0101_5^29 - 217459567078380391021093248336280650637547497/331089887301887596347\ 61774489339741954110276*c_0101_5^27 + 68237075461210912289194414209469925248842705911/7946157295245302312\ 34282587744153806898646624*c_0101_5^25 - 592925844757913581474847714214395086100214984947/794615729524530231\ 234282587744153806898646624*c_0101_5^23 + 3772686595576572736803422926291468153291807634747/79461572952453023\ 1234282587744153806898646624*c_0101_5^21 - 15366021768505915494484173745403395337501468305793/7946157295245302\ 31234282587744153806898646624*c_0101_5^19 + 10575021241330191756104017532432083292601431136403/1986539323811325\ 57808570646936038451724661656*c_0101_5^17 - 33163603616040332146774664341474008676576930314163/2648719098415100\ 77078094195914717935632882208*c_0101_5^15 + 67343095566090988341019261499882136454846857737815/3973078647622651\ 15617141293872076903449323312*c_0101_5^13 - 71901292628014865225194648277606058141843087906167/7946157295245302\ 31234282587744153806898646624*c_0101_5^11 - 7131090440157028948732064463283464525409880301815/79461572952453023\ 1234282587744153806898646624*c_0101_5^9 + 3175662643306096769140046295336269107206320324477/19865393238113255\ 7808570646936038451724661656*c_0101_5^7 + 64132964186099250527807692858466001488885859367/2943021220461223078\ 6454910657190881736986912*c_0101_5^5 - 246305625469360278299331862898976032980522396949/198653932381132557\ 808570646936038451724661656*c_0101_5^3 - 4592871812486749519897952220745834276557025327/14715106102306115393\ 227455328595440868493456*c_0101_5, c_0011_0 - 1, c_0011_1 + 456004733254515713277874522611443762/72095176226349533217406\ 5292425305765049*c_0101_5^28 - 455903457915773686225751233455216872\ 9/240317254087831777391355097475101921683*c_0101_5^26 + 180960018955925965412261370472088356904/720951762263495332174065292\ 425305765049*c_0101_5^24 - 1589408198676399133263521753971949305229\ /720951762263495332174065292425305765049*c_0101_5^22 + 10232428993219386841725778719120639283772/7209517622634953321740652\ 92425305765049*c_0101_5^20 - 42699470488184301764418403214924799176\ 675/720951762263495332174065292425305765049*c_0101_5^18 + 121430273734807206366127089732823281631570/720951762263495332174065\ 292425305765049*c_0101_5^16 - 9700556921893489862388357288347351431\ 8154/240317254087831777391355097475101921683*c_0101_5^14 + 427927747278041819279654504543434853394158/720951762263495332174065\ 292425305765049*c_0101_5^12 - 2994402102407782807511823230400046568\ 57084/720951762263495332174065292425305765049*c_0101_5^10 + 58096673048874590140467279204130108431277/7209517622634953321740652\ 92425305765049*c_0101_5^8 + 165942403032853937937347724946067196465\ 14/720951762263495332174065292425305765049*c_0101_5^6 + 263103056938589496195619165583913427994/801057513626105924637850324\ 91700640561*c_0101_5^4 - 2240643366491262630178034208845168743469/7\ 20951762263495332174065292425305765049*c_0101_5^2 - 27552806822429014920007400599663776719/8010575136261059246378503249\ 1700640561, c_0011_4 + 4536600613279335681573525256771467279595/2759082394182396636\ 230147874111645162842523*c_0101_5^28 - 44905279280996554735050762026659961118775/9196941313941322120767159\ 58037215054280841*c_0101_5^26 + 17606928009499457341635328328691407\ 99592730/2759082394182396636230147874111645162842523*c_0101_5^24 - 15303681429944507995086433252545610360078756/2759082394182396636230\ 147874111645162842523*c_0101_5^22 + 97444833179612697357394565122547814531310255/2759082394182396636230\ 147874111645162842523*c_0101_5^20 - 397543559541055926914825625786204764271335365/275908239418239663623\ 0147874111645162842523*c_0101_5^18 + 1100816920832658287785654934053920984726724160/27590823941823966362\ 30147874111645162842523*c_0101_5^16 - 870619280909005739300275071108651002409539528/919694131394132212076\ 715958037215054280841*c_0101_5^14 + 3598248805257779275995003761388257355900382279/27590823941823966362\ 30147874111645162842523*c_0101_5^12 - 2183371783004756472340402949691771132752321074/27590823941823966362\ 30147874111645162842523*c_0101_5^10 + 272469452792152187253332665213703252929312274/275908239418239663623\ 0147874111645162842523*c_0101_5^8 + 117826167350200449467534678727516718161655084/275908239418239663623\ 0147874111645162842523*c_0101_5^6 + 952177154373788785235254896761093592047754/306564710464710737358905\ 319345738351426947*c_0101_5^4 - 36446390218456751189857858970206494\ 04297435/2759082394182396636230147874111645162842523*c_0101_5^2 + 43203246724477185972061880756418537902075/3065647104647107373589053\ 19345738351426947, c_0101_0 - 3502408065156857335826623280736391539794/8277247182547189908\ 690443622334935488527569*c_0101_5^29 + 34071541130711119217106896556049608539234/2759082394182396636230147\ 874111645162842523*c_0101_5^27 - 1305279888423868097716158281976073\ 762333067/8277247182547189908690443622334935488527569*c_0101_5^25 + 11094441444996084057747311623014977445075995/8277247182547189908690\ 443622334935488527569*c_0101_5^23 - 68857339204841421423216340093620627636048980/8277247182547189908690\ 443622334935488527569*c_0101_5^21 + 265576124143992168067167927485791643262446060/827724718254718990869\ 0443622334935488527569*c_0101_5^19 - 674743178210106168789309374974049734652690161/827724718254718990869\ 0443622334935488527569*c_0101_5^17 + 502903023477446798661399964451470294130240242/275908239418239663623\ 0147874111645162842523*c_0101_5^15 - 1550100111875319067645528412410865344608693656/82772471825471899086\ 90443622334935488527569*c_0101_5^13 - 188853639911271452055564002194202490560615398/827724718254718990869\ 0443622334935488527569*c_0101_5^11 + 1229244389747455986718971040032742342728785510/82772471825471899086\ 90443622334935488527569*c_0101_5^9 - 395170775335119072346613510029958905979001812/827724718254718990869\ 0443622334935488527569*c_0101_5^7 - 23524706045131055718905131388742930592058261/9196941313941322120767\ 15958037215054280841*c_0101_5^5 + 736986471137583874242096473149038\ 62634746492/8277247182547189908690443622334935488527569*c_0101_5^3 + 1903663825901571783143968877043901599677825/91969413139413221207671\ 5958037215054280841*c_0101_5, c_0101_2 + 2375538232482347605724171820028591990543/8277247182547189908\ 690443622334935488527569*c_0101_5^29 - 23857871865807411481048812857868674344174/2759082394182396636230147\ 874111645162842523*c_0101_5^27 + 9515286119407606692982467247285869\ 98291566/8277247182547189908690443622334935488527569*c_0101_5^25 - 8383068632630879891081033860965886469035657/82772471825471899086904\ 43622334935488527569*c_0101_5^23 + 54114157984654686801829309151260623268316566/8277247182547189908690\ 443622334935488527569*c_0101_5^21 - 227007615867989674738297865224295576598788968/827724718254718990869\ 0443622334935488527569*c_0101_5^19 + 646244915278350715696857532320630910537997480/827724718254718990869\ 0443622334935488527569*c_0101_5^17 - 512870126246434259459213010009073373171878934/275908239418239663623\ 0147874111645162842523*c_0101_5^15 + 2271642709135754298821626059607641377772058888/82772471825471899086\ 90443622334935488527569*c_0101_5^13 - 1477640919630553567944452740687752408536380078/82772471825471899086\ 90443622334935488527569*c_0101_5^11 + 88440010941777884307262306028467939280405144/8277247182547189908690\ 443622334935488527569*c_0101_5^9 + 234483355609941817409072849971520760347756449/827724718254718990869\ 0443622334935488527569*c_0101_5^7 - 2714245755838956329479984050154028805955882/30656471046471073735890\ 5319345738351426947*c_0101_5^5 + 2627945190672275975503309974942137\ 3410606415/8277247182547189908690443622334935488527569*c_0101_5^3 + 173724647593494428177887664458942344814854/306564710464710737358905\ 319345738351426947*c_0101_5, c_0101_3 + 175553070203325825983846183605842421/72095176226349533217406\ 5292425305765049*c_0101_5^28 - 164774965689475300938331231091848798\ 0/240317254087831777391355097475101921683*c_0101_5^26 + 60063472160171535017614317607556496793/7209517622634953321740652924\ 25305765049*c_0101_5^24 - 485833584646016128557219787902032476585/7\ 20951762263495332174065292425305765049*c_0101_5^22 + 2839743960806218748406897250289474223733/72095176226349533217406529\ 2425305765049*c_0101_5^20 - 941193707971529632081703999741276035114\ 3/720951762263495332174065292425305765049*c_0101_5^18 + 17867737101167287903743707977357905434765/7209517622634953321740652\ 92425305765049*c_0101_5^16 - 10486296385620276790014328992648893022\ 524/240317254087831777391355097475101921683*c_0101_5^14 - 26632920433227834826095520655709440474150/7209517622634953321740652\ 92425305765049*c_0101_5^12 + 15370162596657014322693820084887554365\ 3025/720951762263495332174065292425305765049*c_0101_5^10 - 144512572650003616003832936222557881204889/720951762263495332174065\ 292425305765049*c_0101_5^8 + 25316572657148163855481692991657469518\ 918/720951762263495332174065292425305765049*c_0101_5^6 + 1442201747195348278569922182526751809251/80105751362610592463785032\ 491700640561*c_0101_5^4 - 85406952628769854284115392953727919588/72\ 0951762263495332174065292425305765049*c_0101_5^2 - 79008630741111661060546328017464357613/8010575136261059246378503249\ 1700640561, c_0101_5^30 - 30*c_0101_5^28 + 397*c_0101_5^26 - 3487*c_0101_5^24 + 22447*c_0101_5^22 - 93649*c_0101_5^20 + 266006*c_0101_5^18 - 636027*c_0101_5^16 + 930940*c_0101_5^14 - 634009*c_0101_5^12 + 85121*c_0101_5^10 + 77194*c_0101_5^8 - 9513*c_0101_5^6 - 7654*c_0101_5^4 + 90*c_0101_5^2 + 324 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB