Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 2480017228] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1437 geometric_solution 5.26406075 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 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.981562664554 0.388098218183 0 4 4 0 0132 0132 3201 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 -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 1.130185902597 0.185109410569 5 0 3 6 0132 0132 1302 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601388976293 0.705259241761 2 6 5 0 2031 2310 0132 0132 0 0 0 0 0 0 1 -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 1 -1 1 0 -1 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.601388976293 0.705259241761 1 1 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1.409822863966 0.172189099893 2 5 5 3 0132 1230 3012 0132 0 0 0 0 0 1 0 -1 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 0 -1 0 0 -1 1 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.393512410503 0.556394437968 6 6 2 3 1302 2031 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 -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.343375101388 0.531250214742 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0101_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], '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_0011_0']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0110_6']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0110_6']), 'c_1010_1' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 94942188568030069669551879153668/6698626938331254947501388029111*c_\ 0110_6^26 - 1356514350678280157699475965296064/66986269383312549475\ 01388029111*c_0110_6^25 + 7959406393216405273819169253841451/669862\ 6938331254947501388029111*c_0110_6^24 - 22066209007371169430726751132062434/6698626938331254947501388029111\ *c_0110_6^23 + 10540164398351771443694991235959142/6698626938331254\ 947501388029111*c_0110_6^22 + 125292427463571662424516374036397955/\ 6698626938331254947501388029111*c_0110_6^21 - 410581383489946375571819654566984145/669862693833125494750138802911\ 1*c_0110_6^20 + 453175410914180815635752953077359811/66986269383312\ 54947501388029111*c_0110_6^19 + 46093731600778515490230824670411613\ 3/6698626938331254947501388029111*c_0110_6^18 - 112648771201244006492663110515047108/352559312543750260394809896269\ *c_0110_6^17 + 2498415597231695505853454818497119284/66986269383312\ 54947501388029111*c_0110_6^16 + 40543405777834049069019407903872414\ 5/6698626938331254947501388029111*c_0110_6^15 - 4559328559730225818296118851660131760/66986269383312549475013880291\ 11*c_0110_6^14 + 4836693176674220056651552230362298373/669862693833\ 1254947501388029111*c_0110_6^13 + 175142105107096158091193870864018\ 638/6698626938331254947501388029111*c_0110_6^12 - 4964147545060872982596707784828591341/66986269383312549475013880291\ 11*c_0110_6^11 + 4064278052511104730292686122237280707/669862693833\ 1254947501388029111*c_0110_6^10 + 473511394299580942100561560199357\ 723/6698626938331254947501388029111*c_0110_6^9 - 2721829800119657820176322028223734087/66986269383312549475013880291\ 11*c_0110_6^8 + 1321244162345747899781307217181905384/6698626938331\ 254947501388029111*c_0110_6^7 + 21895375656538468960787957402370499\ /352559312543750260394809896269*c_0110_6^6 - 50132896827813146184329460626378233/608966085302841358863762548101*\ c_0110_6^5 + 75444017611828451367350450680640047/669862693833125494\ 7501388029111*c_0110_6^4 + 58105807617784048906024162956878430/6698\ 626938331254947501388029111*c_0110_6^3 - 7842309232953796879503801591613727/6698626938331254947501388029111*\ c_0110_6^2 - 3479741820712528064273602294165000/6698626938331254947\ 501388029111*c_0110_6 - 225437458376627094006209366062023/669862693\ 8331254947501388029111, c_0011_0 - 1, c_0011_3 + 160393958828492476968668673/976618594304017341813877829*c_01\ 10_6^26 - 2388240817667534096702016855/976618594304017341813877829*\ c_0110_6^25 + 14850796719998139462804466386/97661859430401734181387\ 7829*c_0110_6^24 - 45710034523707318180609564959/976618594304017341\ 813877829*c_0110_6^23 + 42091645486827481607454340948/9766185943040\ 17341813877829*c_0110_6^22 + 196547750057621770474311687198/9766185\ 94304017341813877829*c_0110_6^21 - 822133024886707455114470371348/976618594304017341813877829*c_0110_6\ ^20 + 1218287913916037725640402561310/976618594304017341813877829*c\ _0110_6^19 + 229556062805814707699426593554/97661859430401734181387\ 7829*c_0110_6^18 - 4032773904939850575209463179497/9766185943040173\ 41813877829*c_0110_6^17 + 6601873973220419884434734191289/976618594\ 304017341813877829*c_0110_6^16 - 2376932082728137639042274785874/97\ 6618594304017341813877829*c_0110_6^15 - 7753922086407352955135170421649/976618594304017341813877829*c_0110_\ 6^14 + 13320681353490598961664831600913/976618594304017341813877829\ *c_0110_6^13 - 5915269191127599596345127938106/97661859430401734181\ 3877829*c_0110_6^12 - 7737957417631155106817600795518/9766185943040\ 17341813877829*c_0110_6^11 + 12576151797881184103756052017648/97661\ 8594304017341813877829*c_0110_6^10 - 4831452069609178107505275545646/976618594304017341813877829*c_0110_\ 6^9 - 4326280743397881607239692097132/976618594304017341813877829*c\ _0110_6^8 + 5487308290365346827179755652251/97661859430401734181387\ 7829*c_0110_6^7 - 1428610352362644163137731041550/97661859430401734\ 1813877829*c_0110_6^6 - 101036869948923574299826692512/887835085730\ 92485619443439*c_0110_6^5 + 859406265009195166922825229431/97661859\ 4304017341813877829*c_0110_6^4 - 121024511945932296397075023383/976\ 618594304017341813877829*c_0110_6^3 - 57753708554317839341348069070/976618594304017341813877829*c_0110_6^\ 2 + 15768344660647897718367243887/976618594304017341813877829*c_011\ 0_6 + 1252640850968664937595351318/976618594304017341813877829, c_0011_6 + 161014274523055538540848733/976618594304017341813877829*c_01\ 10_6^26 - 2414990097809509674044341434/976618594304017341813877829*\ c_0110_6^25 + 15151306275070112022745191798/97661859430401734181387\ 7829*c_0110_6^24 - 47256530365994250465601102034/976618594304017341\ 813877829*c_0110_6^23 + 45777614186940943469122703909/9766185943040\ 17341813877829*c_0110_6^22 + 196726509601833131636584682185/9766185\ 94304017341813877829*c_0110_6^21 - 848447012177293298442828802206/976618594304017341813877829*c_0110_6\ ^20 + 1289192240870902555907797659090/976618594304017341813877829*c\ _0110_6^19 + 172710246315093296919131540307/97661859430401734181387\ 7829*c_0110_6^18 - 4153499528278041606168661816055/9766185943040173\ 41813877829*c_0110_6^17 + 6976270139520737079146992995771/976618594\ 304017341813877829*c_0110_6^16 - 2709037360500379388052567029681/97\ 6618594304017341813877829*c_0110_6^15 - 7977512440721442334766731691803/976618594304017341813877829*c_0110_\ 6^14 + 14127395473890651044786882172434/976618594304017341813877829\ *c_0110_6^13 - 6535538676174881136903995971157/97661859430401734181\ 3877829*c_0110_6^12 - 8027908354343407103980120188092/9766185943040\ 17341813877829*c_0110_6^11 + 13452603555522799799995090222104/97661\ 8594304017341813877829*c_0110_6^10 - 5310949039406816792007716017908/976618594304017341813877829*c_0110_\ 6^9 - 4596567520628307047839539059303/976618594304017341813877829*c\ _0110_6^8 + 5946983361454973585557266879668/97661859430401734181387\ 7829*c_0110_6^7 - 1557090985786371387925952169097/97661859430401734\ 1813877829*c_0110_6^6 - 111419960285426041890776255169/887835085730\ 92485619443439*c_0110_6^5 + 940762948688201937813119983516/97661859\ 4304017341813877829*c_0110_6^4 - 122082345057809868250010527846/976\ 618594304017341813877829*c_0110_6^3 - 66789891468029515308699197214/976618594304017341813877829*c_0110_6^\ 2 + 14855439896499500885873996154/976618594304017341813877829*c_011\ 0_6 + 1233214982925596903364797201/976618594304017341813877829, c_0101_0 - 169338468369623671104165051/976618594304017341813877829*c_01\ 10_6^26 + 2502170722784431037041236958/976618594304017341813877829*\ c_0110_6^25 - 15376413043355818615240406050/97661859430401734181387\ 7829*c_0110_6^24 + 46304609528649582850535680474/976618594304017341\ 813877829*c_0110_6^23 - 38420360168917506027027446494/9766185943040\ 17341813877829*c_0110_6^22 - 211419368039846585128473699455/9766185\ 94304017341813877829*c_0110_6^21 + 831795772846077718310713728413/976618594304017341813877829*c_0110_6\ ^20 - 1154464986085447158836487673766/976618594304017341813877829*c\ _0110_6^19 - 395623017854998506221340730131/97661859430401734181387\ 7829*c_0110_6^18 + 4061132138457915261738614559671/9766185943040173\ 41813877829*c_0110_6^17 - 6055346297399483449457154703159/976618594\ 304017341813877829*c_0110_6^16 + 1403071975826430227340761903397/97\ 6618594304017341813877829*c_0110_6^15 + 7846969652081049119397859585409/976618594304017341813877829*c_0110_\ 6^14 - 11352251462387090171645822152265/976618594304017341813877829\ *c_0110_6^13 + 3108975934941887915912607309220/97661859430401734181\ 3877829*c_0110_6^12 + 8228535781317069150379679767555/9766185943040\ 17341813877829*c_0110_6^11 - 9608374361068091108329201951125/976618\ 594304017341813877829*c_0110_6^10 + 1341502345025911052120393309190/976618594304017341813877829*c_0110_\ 6^9 + 4866617163527161101787097530000/976618594304017341813877829*c\ _0110_6^8 - 3386953926117561416842782059152/97661859430401734181387\ 7829*c_0110_6^7 - 371560769641260613973998252564/976618594304017341\ 813877829*c_0110_6^6 + 110236041698902196192097170436/8878350857309\ 2485619443439*c_0110_6^5 - 250569891382051928636841411747/976618594\ 304017341813877829*c_0110_6^4 - 161554005475039593227245055862/9766\ 18594304017341813877829*c_0110_6^3 + 39017200408540808768374915004/976618594304017341813877829*c_0110_6^\ 2 + 13812832201431476832190619505/976618594304017341813877829*c_011\ 0_6 - 561298124942155674952983164/976618594304017341813877829, c_0101_1 - 336848582827887997996226/345461122852499944044527*c_0110_6^2\ 6 + 4861554558796799509726781/345461122852499944044527*c_0110_6^25 - 28878261117550218197819778/345461122852499944044527*c_0110_6^24 + 81584057430217564471450702/345461122852499944044527*c_0110_6^23 - 44318260412061822512724284/345461122852499944044527*c_0110_6^22 - 450181543245038689797868317/345461122852499944044527*c_0110_6^21 + 1521675788982734124346642459/345461122852499944044527*c_0110_6^20 - 1742476675395581007495461034/345461122852499944044527*c_0110_6^19 - 1611838571405348365850783554/345461122852499944044527*c_0110_6^18 + 7996794481677218385000649849/345461122852499944044527*c_0110_6^17 - 9598050642344115453050607806/345461122852499944044527*c_0110_6^16 - 1265679353638979257046396445/345461122852499944044527*c_0110_6^15 + 17331075312757904077840430087/345461122852499944044527*c_0110_6^14 - 18769394603242085234350813349/345461122852499944044527*c_0110_6^13 - 544312895691359349778558782/345461122852499944044527*c_0110_6^12 + 19439736131873145027092294375/345461122852499944044527*c_0110_6^11 - 15992333545530673109772027294/345461122852499944044527*c_0110_6^10 - 2157816817617404941042824576/345461122852499944044527*c_0110_6^9 + 11167410481132851243897983891/345461122852499944044527*c_0110_6^8 - 5220930815702958173843950734/345461122852499944044527*c_0110_6^7 - 2058746407755799015110696603/345461122852499944044527*c_0110_6^6 + 2447295677857825822360097106/345461122852499944044527*c_0110_6^5 - 224828171457809478367141245/345461122852499944044527*c_0110_6^4 - 354665775109090049590946882/345461122852499944044527*c_0110_6^3 + 51039278434327657971161883/345461122852499944044527*c_0110_6^2 + 23493116070681666779564619/345461122852499944044527*c_0110_6 + 145308795601733563524568/345461122852499944044527, c_0101_4 + 1980625710007613911578505529/976618594304017341813877829*c_0\ 110_6^26 - 28235674250101672516345356790/97661859430401734181387782\ 9*c_0110_6^25 + 165096534661929256472234863766/97661859430401734181\ 3877829*c_0110_6^24 - 454429817571021886811535867211/97661859430401\ 7341813877829*c_0110_6^23 + 202066826609507742939442482828/97661859\ 4304017341813877829*c_0110_6^22 + 2626951045673230487511403946633/9\ 76618594304017341813877829*c_0110_6^21 - 8472645080323728824539862509991/976618594304017341813877829*c_0110_\ 6^20 + 9104038653705158467102774073017/976618594304017341813877829*\ c_0110_6^19 + 10066076844633793913828025498062/97661859430401734181\ 3877829*c_0110_6^18 - 44324032469737015493729559256935/976618594304\ 017341813877829*c_0110_6^17 + 50073198472808852121055368886324/9766\ 18594304017341813877829*c_0110_6^16 + 11240225188965285788058323649292/976618594304017341813877829*c_0110\ _6^15 - 95112270062211609082465501230160/97661859430401734181387782\ 9*c_0110_6^14 + 95793101469082099748654218534397/976618594304017341\ 813877829*c_0110_6^13 + 10352741814732037225585358048541/9766185943\ 04017341813877829*c_0110_6^12 - 104769851037061151780312679391985/9\ 76618594304017341813877829*c_0110_6^11 + 78529125863208429103685033226320/976618594304017341813877829*c_0110\ _6^10 + 17166395386931286511014551455386/97661859430401734181387782\ 9*c_0110_6^9 - 58137539135885637666622519661998/9766185943040173418\ 13877829*c_0110_6^8 + 23685047401782407933813646231790/976618594304\ 017341813877829*c_0110_6^7 + 12170114782264324383395981977559/97661\ 8594304017341813877829*c_0110_6^6 - 1083550000723266073549356541604/88783508573092485619443439*c_0110_6\ ^5 + 574133930839865581233842115556/976618594304017341813877829*c_0\ 110_6^4 + 1769605287450431714789055926251/9766185943040173418138778\ 29*c_0110_6^3 - 199451545447542222720026440170/97661859430401734181\ 3877829*c_0110_6^2 - 108805163867421397484036347840/976618594304017\ 341813877829*c_0110_6 - 1421697038875856626035933881/97661859430401\ 7341813877829, c_0110_6^27 - 15*c_0110_6^26 + 94*c_0110_6^25 - 292*c_0110_6^24 + 276*c_0110_6^23 + 1241*c_0110_6^22 - 5259*c_0110_6^21 + 7831*c_0110_6^20 + 1482*c_0110_6^19 - 25946*c_0110_6^18 + 42120*c_0110_6^17 - 14134*c_0110_6^16 - 50979*c_0110_6^15 + 84180*c_0110_6^14 - 33064*c_0110_6^13 - 53994*c_0110_6^12 + 78681*c_0110_6^11 - 23453*c_0110_6^10 - 33069*c_0110_6^9 + 33497*c_0110_6^8 - 4250*c_0110_6^7 - 9455*c_0110_6^6 + 4740*c_0110_6^5 + 332*c_0110_6^4 - 622*c_0110_6^3 + 26*c_0110_6^2 + 29*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB