Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 559988192] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0471 geometric_solution 4.50122811 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 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.753203323602 0.069433408589 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 1 -1 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 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.718379818988 0.319530108460 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 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.156726557591 0.176253556068 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 1 -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 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.943895651637 0.515789305746 6 3 5 5 0132 0132 1302 3201 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 -1 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.406330283845 0.627226186507 4 4 6 3 2031 2310 1023 0132 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 0 0 0 0 0 0 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.406330283845 0.627226186507 4 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.406330283845 0.627226186507 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : 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_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), '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_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 57551359848297680088845690338868103494583/1594977605154523071902138\ 693652422958509*c_0101_6^23 - 1278485456840870599197982907682971735\ 060066/1594977605154523071902138693652422958509*c_0101_6^22 + 7055982207853906082072487542055964815649921/15949776051545230719021\ 38693652422958509*c_0101_6^21 - 22318473319938168773903950319339774\ 575497330/1594977605154523071902138693652422958509*c_0101_6^20 + 26940939235342258837789493378621122532497739/1594977605154523071902\ 138693652422958509*c_0101_6^19 + 1142236492849245464011235354623211\ 44564548818/1594977605154523071902138693652422958509*c_0101_6^18 - 538834775935028558299514291746523889167891705/159497760515452307190\ 2138693652422958509*c_0101_6^17 + 320828182658131608061250193606410\ 257043993996/1594977605154523071902138693652422958509*c_0101_6^16 + 2147076093045140113273034135737083104051108961/15949776051545230719\ 02138693652422958509*c_0101_6^15 - 2721647517141860851251017469569515473016790158/15949776051545230719\ 02138693652422958509*c_0101_6^14 - 4058247779723409015391081532033220296911942490/15949776051545230719\ 02138693652422958509*c_0101_6^13 + 6140436059935974144298748625666317114687063112/15949776051545230719\ 02138693652422958509*c_0101_6^12 + 4386338935177741773521297294377663779065703168/15949776051545230719\ 02138693652422958509*c_0101_6^11 - 6498908803454660481659396228035559836618528876/15949776051545230719\ 02138693652422958509*c_0101_6^10 - 3056263361004000752531174891292892985400169372/15949776051545230719\ 02138693652422958509*c_0101_6^9 + 338154418414988646285592056687427\ 0665540191384/1594977605154523071902138693652422958509*c_0101_6^8 + 1484986438733109239203751071462417491775768855/15949776051545230719\ 02138693652422958509*c_0101_6^7 - 701560902045516563131674292801687\ 756405748096/1594977605154523071902138693652422958509*c_0101_6^6 - 477879736923974352973842814673878274085056384/159497760515452307190\ 2138693652422958509*c_0101_6^5 - 3387415549409845578015190843639007\ 5447891136/1594977605154523071902138693652422958509*c_0101_6^4 + 80888980543538537876421467827208048143401693/1594977605154523071902\ 138693652422958509*c_0101_6^3 + 27359213885490694485021762601697279\ 814106721/1594977605154523071902138693652422958509*c_0101_6^2 - 5034428549326542594024917670436134819375024/15949776051545230719021\ 38693652422958509*c_0101_6 - 21001930295287417041056598487937876486\ 69813/1594977605154523071902138693652422958509, c_0011_0 - 1, c_0011_2 + 4224379754896632342509965307735971053518/1594977605154523071\ 902138693652422958509*c_0101_6^23 - 82662480315207715192225778010778809588416/1594977605154523071902138\ 693652422958509*c_0101_6^22 + 2956371618368150022557343874653818020\ 57179/1594977605154523071902138693652422958509*c_0101_6^21 - 787442872606752055538544470986045518502836/159497760515452307190213\ 8693652422958509*c_0101_6^20 - 348254357918061215290181834504317901\ 871828/1594977605154523071902138693652422958509*c_0101_6^19 + 8108272697149237977926300949430118939527066/15949776051545230719021\ 38693652422958509*c_0101_6^18 - 17794370942529970322325043777625370\ 842892864/1594977605154523071902138693652422958509*c_0101_6^17 - 30172321231932207874867791011239340720187969/1594977605154523071902\ 138693652422958509*c_0101_6^16 + 9209605499796877229921181622741162\ 1651157419/1594977605154523071902138693652422958509*c_0101_6^15 + 69188797927263347766310004020524258423246608/1594977605154523071902\ 138693652422958509*c_0101_6^14 - 1880055623644148993773945743121491\ 58929797980/1594977605154523071902138693652422958509*c_0101_6^13 - 107303885998585372189816461640477402271545966/159497760515452307190\ 2138693652422958509*c_0101_6^12 + 183282858340640377365459577758039\ 862870443785/1594977605154523071902138693652422958509*c_0101_6^11 + 105539130559624938330488543472996587414637379/159497760515452307190\ 2138693652422958509*c_0101_6^10 - 788939131954987116784346689136909\ 82651830165/1594977605154523071902138693652422958509*c_0101_6^9 - 57913011536194429522416921760276942186005630/1594977605154523071902\ 138693652422958509*c_0101_6^8 + 49662990977681920808460835368338243\ 70189626/1594977605154523071902138693652422958509*c_0101_6^7 + 14017603273078321004661974177613444964030118/1594977605154523071902\ 138693652422958509*c_0101_6^6 + 50561720534243144240209863539177065\ 40430462/1594977605154523071902138693652422958509*c_0101_6^5 - 486565119760359529238358497592849392392834/159497760515452307190213\ 8693652422958509*c_0101_6^4 - 7009598126613645406142073038714879131\ 83517/1594977605154523071902138693652422958509*c_0101_6^3 - 55396594915001699432321334616577740140113/1594977605154523071902138\ 693652422958509*c_0101_6^2 + 12609038845317660149428038498317777746\ 607/1594977605154523071902138693652422958509*c_0101_6 + 871114417156691177809817500002794468159/159497760515452307190213869\ 3652422958509, c_0011_5 + 1868032826699128016236851814038239610783/1594977605154523071\ 902138693652422958509*c_0101_6^23 - 40907651371675294658265323736001742103076/1594977605154523071902138\ 693652422958509*c_0101_6^22 + 2168378489321371792288762843900139722\ 48702/1594977605154523071902138693652422958509*c_0101_6^21 - 670941991984359401587750953231823801826707/159497760515452307190213\ 8693652422958509*c_0101_6^20 + 726809588067532038340631855901469928\ 865925/1594977605154523071902138693652422958509*c_0101_6^19 + 3752857679086990767854339558228922480915044/15949776051545230719021\ 38693652422958509*c_0101_6^18 - 16236097231648809215241817624337574\ 162526725/1594977605154523071902138693652422958509*c_0101_6^17 + 6730249692116796623991069825113636124623443/15949776051545230719021\ 38693652422958509*c_0101_6^16 + 67467861029960883936075023828346079\ 933431511/1594977605154523071902138693652422958509*c_0101_6^15 - 69358631766270180951623952096916893000292868/1594977605154523071902\ 138693652422958509*c_0101_6^14 - 1333304362139131809078214351003911\ 78192199201/1594977605154523071902138693652422958509*c_0101_6^13 + 154569266494812055724967064446673344207044385/159497760515452307190\ 2138693652422958509*c_0101_6^12 + 149626051692518989824238727778210\ 620855720741/1594977605154523071902138693652422958509*c_0101_6^11 - 152810774273560229832910651223266401058356501/159497760515452307190\ 2138693652422958509*c_0101_6^10 - 102752061047357849327638201945085\ 208299872560/1594977605154523071902138693652422958509*c_0101_6^9 + 66879674658684256003193660684186563843025976/1594977605154523071902\ 138693652422958509*c_0101_6^8 + 43244260971080360759107221720219058\ 471603667/1594977605154523071902138693652422958509*c_0101_6^7 - 6332558003413046835796669099065040242402481/15949776051545230719021\ 38693652422958509*c_0101_6^6 - 979161570594150308209146696492470385\ 5668491/1594977605154523071902138693652422958509*c_0101_6^5 - 3134068273446281649879628971486010812877069/15949776051545230719021\ 38693652422958509*c_0101_6^4 + 760612732614771028322634375589094612\ 686913/1594977605154523071902138693652422958509*c_0101_6^3 + 504434557252069925900408167306120325616855/159497760515452307190213\ 8693652422958509*c_0101_6^2 - 2255045348416685903951287969185817611\ 5078/1594977605154523071902138693652422958509*c_0101_6 - 7882855357622036989815286365915030123341/15949776051545230719021386\ 93652422958509, c_0101_0 - 467272258160624169438817353552690597999/15949776051545230719\ 02138693652422958509*c_0101_6^23 + 8839593522035968417382531871089025412954/15949776051545230719021386\ 93652422958509*c_0101_6^22 - 26823792340759854805866422217227055968\ 513/1594977605154523071902138693652422958509*c_0101_6^21 + 67465401219266185963611365502672640992469/1594977605154523071902138\ 693652422958509*c_0101_6^20 + 8505229617224804858119984282800466260\ 0917/1594977605154523071902138693652422958509*c_0101_6^19 - 837309991238686875234923953682220147612590/159497760515452307190213\ 8693652422958509*c_0101_6^18 + 132659683501122307687221486295216842\ 3242576/1594977605154523071902138693652422958509*c_0101_6^17 + 4511236843131740694408536188939576046898625/15949776051545230719021\ 38693652422958509*c_0101_6^16 - 72720000513445239975567807718159669\ 56768530/1594977605154523071902138693652422958509*c_0101_6^15 - 15141705521380074510232487917667381209629852/1594977605154523071902\ 138693652422958509*c_0101_6^14 + 1354263498180956153042705291349821\ 1707893405/1594977605154523071902138693652422958509*c_0101_6^13 + 29693105713614047424830331815300803835231731/1594977605154523071902\ 138693652422958509*c_0101_6^12 - 9419162330023419244452162171122177\ 551146009/1594977605154523071902138693652422958509*c_0101_6^11 - 31827576668571508979202206923474251198745796/1594977605154523071902\ 138693652422958509*c_0101_6^10 - 1283236618721858862182661753734498\ 427022652/1594977605154523071902138693652422958509*c_0101_6^9 + 16717994873378110617571206949127631623144676/1594977605154523071902\ 138693652422958509*c_0101_6^8 + 50133104943968659995916453284617580\ 61598356/1594977605154523071902138693652422958509*c_0101_6^7 - 2896349561677577172418219109120680882149604/15949776051545230719021\ 38693652422958509*c_0101_6^6 - 213133023776828470066521415352865996\ 3629292/1594977605154523071902138693652422958509*c_0101_6^5 - 414598224746034796281552964561490303863428/159497760515452307190213\ 8693652422958509*c_0101_6^4 + 1926050520622991167136378686894435748\ 76834/1594977605154523071902138693652422958509*c_0101_6^3 + 87559289258410422885604141314222864954716/1594977605154523071902138\ 693652422958509*c_0101_6^2 + 20557839830413057014786826014018509605\ 79/1594977605154523071902138693652422958509*c_0101_6 - 1469684444646038301235984155803151088845/15949776051545230719021386\ 93652422958509, c_0101_1 + 1084870464380541877343405039231778850344/1594977605154523071\ 902138693652422958509*c_0101_6^23 - 21010705410957875687759310491640307020282/1594977605154523071902138\ 693652422958509*c_0101_6^22 + 7192670665090540239985303743381904804\ 0998/1594977605154523071902138693652422958509*c_0101_6^21 - 192572847034438317191470485534909092444991/159497760515452307190213\ 8693652422958509*c_0101_6^20 - 104328314202143690724938625964508198\ 873481/1594977605154523071902138693652422958509*c_0101_6^19 + 1983692510802893671760721092568055784040595/15949776051545230719021\ 38693652422958509*c_0101_6^18 - 40812505957796283586168748760801061\ 45009421/1594977605154523071902138693652422958509*c_0101_6^17 - 8212073820649435003165632854765395463327147/15949776051545230719021\ 38693652422958509*c_0101_6^16 + 20366527091143272922137943983609440\ 591120380/1594977605154523071902138693652422958509*c_0101_6^15 + 22618268193583225890089848322571398995801720/1594977605154523071902\ 138693652422958509*c_0101_6^14 - 3840408634619106400853069439085978\ 6846770724/1594977605154523071902138693652422958509*c_0101_6^13 - 40901793366101001820092091439274452828483062/1594977605154523071902\ 138693652422958509*c_0101_6^12 + 3200984880565439018814457583156639\ 8466562735/1594977605154523071902138693652422958509*c_0101_6^11 + 43403168294933057706983356599526865597242529/1594977605154523071902\ 138693652422958509*c_0101_6^10 - 8170880506088530263047450272380915\ 372925243/1594977605154523071902138693652422958509*c_0101_6^9 - 23728259711286030271616768693705264798502412/1594977605154523071902\ 138693652422958509*c_0101_6^8 - 38929838262196835548185847771234468\ 76087586/1594977605154523071902138693652422958509*c_0101_6^7 + 5020608641444975946195120030352440351885269/15949776051545230719021\ 38693652422958509*c_0101_6^6 + 245856698643580772581916860252920990\ 9548007/1594977605154523071902138693652422958509*c_0101_6^5 + 159872532535316587433939527686446648991819/159497760515452307190213\ 8693652422958509*c_0101_6^4 - 3160270060179388956044326598745136116\ 94356/1594977605154523071902138693652422958509*c_0101_6^3 - 78707688200678968195281615263410318786066/1594977605154523071902138\ 693652422958509*c_0101_6^2 + 16396126814590068425364226819655123354\ 958/1594977605154523071902138693652422958509*c_0101_6 + 1176269312374362254543229195463900310293/15949776051545230719021386\ 93652422958509, c_0101_3 + 1044311384897601829887687959613574655265/1594977605154523071\ 902138693652422958509*c_0101_6^23 - 17585946486286759204989571817816690784188/1594977605154523071902138\ 693652422958509*c_0101_6^22 + 1672177775452975711196165485744458441\ 2129/1594977605154523071902138693652422958509*c_0101_6^21 + 16946231912666138887992818852332409319255/1594977605154523071902138\ 693652422958509*c_0101_6^20 - 6649302929790316740572146879001153844\ 67852/1594977605154523071902138693652422958509*c_0101_6^19 + 1903031097325329335332678447716071722150331/15949776051545230719021\ 38693652422958509*c_0101_6^18 + 10644973293837232529294596583191247\ 44482939/1594977605154523071902138693652422958509*c_0101_6^17 - 20626563787098821725357692222085165360978376/1594977605154523071902\ 138693652422958509*c_0101_6^16 + 5450049752065486241151692898444668\ 957757818/1594977605154523071902138693652422958509*c_0101_6^15 + 82357836852744281176462189271929858176987680/1594977605154523071902\ 138693652422958509*c_0101_6^14 - 1427179768616145829705275030273610\ 6000478684/1594977605154523071902138693652422958509*c_0101_6^13 - 157824154062581386071168613624529636480393279/159497760515452307190\ 2138693652422958509*c_0101_6^12 + 148657969820621242469930837554356\ 9277204890/1594977605154523071902138693652422958509*c_0101_6^11 + 155088182621501798871917410913732426895294048/159497760515452307190\ 2138693652422958509*c_0101_6^10 + 239446818216192085840241564240946\ 61902976233/1594977605154523071902138693652422958509*c_0101_6^9 - 73768933817303726503917363388899431389441423/1594977605154523071902\ 138693652422958509*c_0101_6^8 - 25100533583738312317516314790164786\ 312550697/1594977605154523071902138693652422958509*c_0101_6^7 + 11419055193026546522215298751064820364796432/1594977605154523071902\ 138693652422958509*c_0101_6^6 + 89589467443615242188577615636424394\ 05707603/1594977605154523071902138693652422958509*c_0101_6^5 + 1771280558582526152200583520053452611580533/15949776051545230719021\ 38693652422958509*c_0101_6^4 - 855015282270995641221046502114586691\ 924447/1594977605154523071902138693652422958509*c_0101_6^3 - 354409044463704315485072905648480147189280/159497760515452307190213\ 8693652422958509*c_0101_6^2 + 1718138377695654405075895842863295399\ 9703/1594977605154523071902138693652422958509*c_0101_6 + 5562239490975015158248202214447628814084/15949776051545230719021386\ 93652422958509, c_0101_6^24 - 20*c_0101_6^23 + 78*c_0101_6^22 - 208*c_0101_6^21 - 34*c_0101_6^20 + 2042*c_0101_6^19 - 5020*c_0101_6^18 - 6167*c_0101_6^17 + 26874*c_0101_6^16 + 9754*c_0101_6^15 - 61609*c_0101_6^14 - 11655*c_0101_6^13 + 74815*c_0101_6^12 + 13911*c_0101_6^11 - 49827*c_0101_6^10 - 13162*c_0101_6^9 + 16590*c_0101_6^8 + 7247*c_0101_6^7 - 1509*c_0101_6^6 - 1894*c_0101_6^5 - 433*c_0101_6^4 + 166*c_0101_6^3 + 66*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB