Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 3802365849] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3291 geometric_solution 6.42194395 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 -1 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 -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.350536266568 0.465570987684 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.617357668003 0.905239071373 1 4 5 6 0132 0132 0132 0132 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 -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.440886264227 0.661714956112 6 5 4 1 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 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.440886264227 0.661714956112 4 2 4 3 2310 0132 3201 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334011289633 0.823690687435 5 5 3 2 1302 2031 2310 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376037027769 0.725573004635 3 6 2 6 0132 1302 0132 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 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.961537796070 1.082625264171 ==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' : 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' : 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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_3']), '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_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], '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' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 904230689143278643936971279943041811982554/153675566864755686013691\ 61708739463380837*c_0101_3^23 + 78161993202267683717257973331647950\ 5334192/15367556686475568601369161708739463380837*c_0101_3^22 + 22692414097606746181069913471458836711630676/1536755668647556860136\ 9161708739463380837*c_0101_3^21 + 112299089164619183330511751408015\ 87971867529/15367556686475568601369161708739463380837*c_0101_3^20 - 172505351437233508417405189379665981498853977/153675566864755686013\ 69161708739463380837*c_0101_3^19 - 46615118070050005262123814980956981650279453/1536755668647556860136\ 9161708739463380837*c_0101_3^18 + 343967634655857927594065358554777\ 31990382197/668154638542416026146485291684324494819*c_0101_3^17 - 152700363623289387166779524090614156182523906/153675566864755686013\ 69161708739463380837*c_0101_3^16 - 2009186940684660062237269745883035602208964572/15367556686475568601\ 369161708739463380837*c_0101_3^15 + 234957845418140365782387329625869802581808540/219536524092508122876\ 7023101248494768691*c_0101_3^14 + 279440492520907873005048934213746\ 5348583406819/15367556686475568601369161708739463380837*c_0101_3^13 - 4273322237885969784873851972947439631644475377/153675566864755686\ 01369161708739463380837*c_0101_3^12 - 1121862521566837814252808278489532059834447834/15367556686475568601\ 369161708739463380837*c_0101_3^11 + 4872922346986057678128698292451777864699053821/15367556686475568601\ 369161708739463380837*c_0101_3^10 - 1467521704180148183127714154301554451548450973/15367556686475568601\ 369161708739463380837*c_0101_3^9 - 2542430093588277426213313803483487843170474070/15367556686475568601\ 369161708739463380837*c_0101_3^8 + 1243990340911943283461815494098530757759184386/15367556686475568601\ 369161708739463380837*c_0101_3^7 + 870190725508456310752079613148012211285412134/153675566864755686013\ 69161708739463380837*c_0101_3^6 - 203775226148235793798470263893627\ 949065010316/15367556686475568601369161708739463380837*c_0101_3^5 - 320297529263443742634507163635770476857112108/153675566864755686013\ 69161708739463380837*c_0101_3^4 - 124393489467595791709756909731259\ 181712324913/15367556686475568601369161708739463380837*c_0101_3^3 + 1689981947876156960378766983288075449365335/66815463854241602614648\ 5291684324494819*c_0101_3^2 + 2844364689995401981829861208530500877\ 3218247/15367556686475568601369161708739463380837*c_0101_3 + 1155907552068851410211759928544813479870014/15367556686475568601369\ 161708739463380837, c_0011_0 - 1, c_0011_1 + 9160463456949972194790226403510718066/9545066264891657516378\ 3613097760642117*c_0101_3^23 - 226736626989474303774899977642234824\ 08/95450662648916575163783613097760642117*c_0101_3^22 - 210226410466709016737934582551182600582/954506626489165751637836130\ 97760642117*c_0101_3^21 + 245470537651358837053464556055221477681/9\ 5450662648916575163783613097760642117*c_0101_3^20 + 1764547913264008109617088618103941213000/95450662648916575163783613\ 097760642117*c_0101_3^19 - 2304847154936509248005873433657154785467\ /95450662648916575163783613097760642117*c_0101_3^18 - 7458656951131814273473903537869917260074/95450662648916575163783613\ 097760642117*c_0101_3^17 + 1385047119862438622303419156874935569845\ 1/95450662648916575163783613097760642117*c_0101_3^16 + 12059422120399288800680932074886250097680/9545066264891657516378361\ 3097760642117*c_0101_3^15 - 440240763735348027533822159570792791412\ 73/95450662648916575163783613097760642117*c_0101_3^14 + 10806132410081200656046519771551931526553/9545066264891657516378361\ 3097760642117*c_0101_3^13 + 669518590382773695931187074374768689431\ 46/95450662648916575163783613097760642117*c_0101_3^12 - 65758783694089558895227977688538033214127/9545066264891657516378361\ 3097760642117*c_0101_3^11 - 274225460463888610890859193676720410745\ 02/95450662648916575163783613097760642117*c_0101_3^10 + 75884429350603693040044461045932454978094/9545066264891657516378361\ 3097760642117*c_0101_3^9 - 2665143412251801391366487684210451978811\ 2/95450662648916575163783613097760642117*c_0101_3^8 - 22149079757365846476342072984701037443234/9545066264891657516378361\ 3097760642117*c_0101_3^7 + 1182489326114128267311218942640108076322\ 5/95450662648916575163783613097760642117*c_0101_3^6 + 4380100602705845467290844454847804138926/95450662648916575163783613\ 097760642117*c_0101_3^5 + 507188913909264422012658620334225684020/9\ 5450662648916575163783613097760642117*c_0101_3^4 - 1951660293533552654483636729261510366561/95450662648916575163783613\ 097760642117*c_0101_3^3 - 865616210424461037363054867698298326925/9\ 5450662648916575163783613097760642117*c_0101_3^2 + 168932036197245396486138096807639391550/954506626489165751637836130\ 97760642117*c_0101_3 + 69840453879077967367766090648465151023/95450\ 662648916575163783613097760642117, c_0011_3 + 4039192869560545371124102221063030191/9545066264891657516378\ 3613097760642117*c_0101_3^23 + 315233189997731982898003662149550890\ 9/95450662648916575163783613097760642117*c_0101_3^22 - 110660211771298343988485647911949035670/954506626489165751637836130\ 97760642117*c_0101_3^21 - 211367119618207968393542744036827332748/9\ 5450662648916575163783613097760642117*c_0101_3^20 + 773827770663475284275419369548420425250/954506626489165751637836130\ 97760642117*c_0101_3^19 + 1460001277875544015750290577075197684879/\ 95450662648916575163783613097760642117*c_0101_3^18 - 3869927410722528142414400887038529261737/95450662648916575163783613\ 097760642117*c_0101_3^17 - 4850829580971148323003346135016099245260\ /95450662648916575163783613097760642117*c_0101_3^16 + 13094907694593522680162026294455165747636/9545066264891657516378361\ 3097760642117*c_0101_3^15 + 476381803696701851569804887603231283751\ 9/95450662648916575163783613097760642117*c_0101_3^14 - 30997311011413348253594851560893513433506/9545066264891657516378361\ 3097760642117*c_0101_3^13 + 955697971731549804853339064456402564686\ 0/95450662648916575163783613097760642117*c_0101_3^12 + 40650245165369664233537650776098069407992/9545066264891657516378361\ 3097760642117*c_0101_3^11 - 340949241777804849511028500900578222529\ 30/95450662648916575163783613097760642117*c_0101_3^10 - 20505616219751637471810585616676575071021/9545066264891657516378361\ 3097760642117*c_0101_3^9 + 3713781671263362925654492604025498683789\ 3/95450662648916575163783613097760642117*c_0101_3^8 - 2929745896539785011936107345125179249599/95450662648916575163783613\ 097760642117*c_0101_3^7 - 13717111062078718617876139626172335518484\ /95450662648916575163783613097760642117*c_0101_3^6 + 716331239132515695943635742920499823116/954506626489165751637836130\ 97760642117*c_0101_3^5 + 2753809500915501360465126472080764492111/9\ 5450662648916575163783613097760642117*c_0101_3^4 + 1956283589428620622435198119056214734067/95450662648916575163783613\ 097760642117*c_0101_3^3 - 233493604103790123940106814670442731543/9\ 5450662648916575163783613097760642117*c_0101_3^2 - 255017603469950661379104719989583813889/954506626489165751637836130\ 97760642117*c_0101_3 + 29523409306141182167125783330257690338/95450\ 662648916575163783613097760642117, c_0011_5 - 1701213102520279034191560419071828110/9545066264891657516378\ 3613097760642117*c_0101_3^23 + 104914312485744048446944370235879366\ 7/95450662648916575163783613097760642117*c_0101_3^22 + 41007580232135614913142973201764234027/9545066264891657516378361309\ 7760642117*c_0101_3^21 + 33760059307260247913663432630199586242/954\ 50662648916575163783613097760642117*c_0101_3^20 - 268762529249485674662120382737377815118/954506626489165751637836130\ 97760642117*c_0101_3^19 - 148867166174993069981616433250146859991/9\ 5450662648916575163783613097760642117*c_0101_3^18 + 1087732203185504414647541246536171625180/95450662648916575163783613\ 097760642117*c_0101_3^17 + 29616171940561105841225947007379419837/9\ 5450662648916575163783613097760642117*c_0101_3^16 - 2165198146131324580165839808972207381930/95450662648916575163783613\ 097760642117*c_0101_3^15 + 1592540245802413543061094016375937731944\ /95450662648916575163783613097760642117*c_0101_3^14 + 2053736499724161142522220757649914384767/95450662648916575163783613\ 097760642117*c_0101_3^13 - 2751046042463121449194914516924788702345\ /95450662648916575163783613097760642117*c_0101_3^12 + 548679281344805121304042258895312613832/954506626489165751637836130\ 97760642117*c_0101_3^11 - 248949642035075515650612559181173547464/9\ 5450662648916575163783613097760642117*c_0101_3^10 - 765960156193783868087560598173307745226/954506626489165751637836130\ 97760642117*c_0101_3^9 + 2760556931263790869006548385581084043415/9\ 5450662648916575163783613097760642117*c_0101_3^8 - 2687458990825313698586281580805434730123/95450662648916575163783613\ 097760642117*c_0101_3^7 - 799781119356428005700064885839925862835/9\ 5450662648916575163783613097760642117*c_0101_3^6 + 1566264618588150330017400345792988336186/95450662648916575163783613\ 097760642117*c_0101_3^5 + 670081000699097935523951269222728417466/9\ 5450662648916575163783613097760642117*c_0101_3^4 - 443428145812104741685803400171527628677/954506626489165751637836130\ 97760642117*c_0101_3^3 - 493831900174016471397739115524333276574/95\ 450662648916575163783613097760642117*c_0101_3^2 - 261186173896770976067826663761175919583/954506626489165751637836130\ 97760642117*c_0101_3 + 24728563997318884779413370188994341128/95450\ 662648916575163783613097760642117, c_0101_0 - 4415786284582631053577276387666351455/9545066264891657516378\ 3613097760642117*c_0101_3^23 + 119049709744025192332393912524022207\ 29/95450662648916575163783613097760642117*c_0101_3^22 + 99347280987326339550997304950407383510/9545066264891657516378361309\ 7760642117*c_0101_3^21 - 140835346425084546666133124703500161630/95\ 450662648916575163783613097760642117*c_0101_3^20 - 835038219254189053729484671614754618982/954506626489165751637836130\ 97760642117*c_0101_3^19 + 1287449193852105983867235655825592645953/\ 95450662648916575163783613097760642117*c_0101_3^18 + 3422412899436518499390636829079258127290/95450662648916575163783613\ 097760642117*c_0101_3^17 - 7404702646067967010558713991355029391480\ /95450662648916575163783613097760642117*c_0101_3^16 - 4658658812491286341769530849787892609551/95450662648916575163783613\ 097760642117*c_0101_3^15 + 2236193753461247462341782853137884276816\ 3/95450662648916575163783613097760642117*c_0101_3^14 - 9074719695930953964492383578109837919247/95450662648916575163783613\ 097760642117*c_0101_3^13 - 3123241542343083357046884512923700169322\ 5/95450662648916575163783613097760642117*c_0101_3^12 + 37400443449348112065292110927370793833630/9545066264891657516378361\ 3097760642117*c_0101_3^11 + 685348167159171324983537647854344570198\ 7/95450662648916575163783613097760642117*c_0101_3^10 - 37988592507261288628325702086395240833691/9545066264891657516378361\ 3097760642117*c_0101_3^9 + 2009711633259974581620512619661760677922\ 6/95450662648916575163783613097760642117*c_0101_3^8 + 6561641958523250515525726083421746158811/95450662648916575163783613\ 097760642117*c_0101_3^7 - 7201922094387275662699180241007700646950/\ 95450662648916575163783613097760642117*c_0101_3^6 + 329355156960006673069848693647116606962/954506626489165751637836130\ 97760642117*c_0101_3^5 - 668212494465906540325854984663366713898/95\ 450662648916575163783613097760642117*c_0101_3^4 + 596521726451799686095881397585479604898/954506626489165751637836130\ 97760642117*c_0101_3^3 + 512908683330998623974431693959908749321/95\ 450662648916575163783613097760642117*c_0101_3^2 - 81401157054917466695953675072082372449/9545066264891657516378361309\ 7760642117*c_0101_3 + 56719307276350107404921271987770113404/954506\ 62648916575163783613097760642117, c_0101_1 - 9812533434612810744512343120223752509/9545066264891657516378\ 3613097760642117*c_0101_3^23 + 211509153680760694358439604891920136\ 85/95450662648916575163783613097760642117*c_0101_3^22 + 228675551851286753343873971409735733834/954506626489165751637836130\ 97760642117*c_0101_3^21 - 185898938114430658116613777911736467569/9\ 5450662648916575163783613097760642117*c_0101_3^20 - 1869183538773473924709724480458220542131/95450662648916575163783613\ 097760642117*c_0101_3^19 + 1885304549289046438359692148895686705187\ /95450662648916575163783613097760642117*c_0101_3^18 + 7974820070393175183093915764731839519371/95450662648916575163783613\ 097760642117*c_0101_3^17 - 1224237868336573190536315036822024833240\ 1/95450662648916575163783613097760642117*c_0101_3^16 - 14076856078144907368174329267780731615156/9545066264891657516378361\ 3097760642117*c_0101_3^15 + 411562033676677966499882524223543948038\ 10/95450662648916575163783613097760642117*c_0101_3^14 - 4744894581489276708129151317684650619098/95450662648916575163783613\ 097760642117*c_0101_3^13 - 6525826333893641668180374501654621601128\ 4/95450662648916575163783613097760642117*c_0101_3^12 + 55887772744199785162189899399086599876503/9545066264891657516378361\ 3097760642117*c_0101_3^11 + 305931930094270029061176295792309435758\ 16/95450662648916575163783613097760642117*c_0101_3^10 - 68508481272202385151276209243409501272249/9545066264891657516378361\ 3097760642117*c_0101_3^9 + 2093241338300156297614923459451308736596\ 9/95450662648916575163783613097760642117*c_0101_3^8 + 19908371140174742128681756423907273171229/9545066264891657516378361\ 3097760642117*c_0101_3^7 - 9603661598082824914931038319265438604689\ /95450662648916575163783613097760642117*c_0101_3^6 - 3116296229227170148834038599369007711070/95450662648916575163783613\ 097760642117*c_0101_3^5 - 807715159109665724826370945303719751457/9\ 5450662648916575163783613097760642117*c_0101_3^4 + 1338743476183116650692488384402149122287/95450662648916575163783613\ 097760642117*c_0101_3^3 + 459644193905685394139889338686278750035/9\ 5450662648916575163783613097760642117*c_0101_3^2 - 137398619789845395569958484942357737982/954506626489165751637836130\ 97760642117*c_0101_3 + 27311421872358886830209082868367319204/95450\ 662648916575163783613097760642117, c_0101_3^24 - c_0101_3^23 - 25*c_0101_3^22 - 9*c_0101_3^21 + 193*c_0101_3^20 + 26*c_0101_3^19 - 886*c_0101_3^18 + 286*c_0101_3^17 + 2218*c_0101_3^16 - 2122*c_0101_3^15 - 2893*c_0101_3^14 + 5180*c_0101_3^13 + 673*c_0101_3^12 - 5656*c_0101_3^11 + 2314*c_0101_3^10 + 2713*c_0101_3^9 - 1782*c_0101_3^8 - 847*c_0101_3^7 + 385*c_0101_3^6 + 349*c_0101_3^5 + 84*c_0101_3^4 - 70*c_0101_3^3 - 29*c_0101_3^2 + 4*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB