Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 711702240] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0980 geometric_solution 4.87475257 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 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 0.543018112596 0.689772361648 0 1 1 0 0132 3201 2310 1023 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 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.392607970523 0.501366448896 3 0 4 3 2103 0132 0132 2031 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 0 0 0 0 -1 1 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.756924443242 0.730225107930 4 2 2 0 2310 1302 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756924443242 0.730225107930 5 5 3 2 0132 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 1 0 -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.308223135786 0.477238669260 4 6 6 4 0132 0132 3201 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.727201026731 0.438019989253 5 5 6 6 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 1 -1 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.433180257586 0.212040555657 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_3']), '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' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0011_0']), '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_0']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 73223913595957444541399019199208536748/9654862198448829615796530912\ 91940230671*c_0101_6^25 - 6619111445758386379235528819927353723129/\ 643657479896588641053102060861293487114*c_0101_6^24 + 280610754343017223878426292585768769800/137926602834983280225664727\ 327420032953*c_0101_6^23 + 3023163416260374812864235253554718802648\ /18931102349899665913326531201802749621*c_0101_6^22 + 195496444060431628667483679929935487666149/965486219844882961579653\ 091291940230671*c_0101_6^21 - 1609740038059589100735130704799591853\ 062253/1930972439689765923159306182583880461342*c_0101_6^20 - 649423437146073014006011326869336864936795/275853205669966560451329\ 454654840065906*c_0101_6^19 + 3053854631973671944308567630519059084\ 82152/965486219844882961579653091291940230671*c_0101_6^18 + 1780494793013287735285593122138036270629837/21455249329886288035103\ 4020287097829038*c_0101_6^17 + 743704709001522843737386122291521300\ 383310/137926602834983280225664727327420032953*c_0101_6^16 - 15507304969604285372433256423394931138890314/9654862198448829615796\ 53091291940230671*c_0101_6^15 - 52478856845711792642985397012908375\ 72950765/965486219844882961579653091291940230671*c_0101_6^14 + 28782202893059278079341280846123300570858704/9654862198448829615796\ 53091291940230671*c_0101_6^13 - 23930472510640348269585575068364885\ 33218175/643657479896588641053102060861293487114*c_0101_6^12 - 13517387603533903284927917525730037100837567/6436574798965886410531\ 02060861293487114*c_0101_6^11 + 14079910863294916826192902236149682\ 393050564/965486219844882961579653091291940230671*c_0101_6^10 - 101440452006414131511955269220644447007607/321828739948294320526551\ 030430646743557*c_0101_6^9 - 19292929803412469473696329164797563844\ 748875/1930972439689765923159306182583880461342*c_0101_6^8 + 213185371308039379305445635091497782731197/306503561855518400501477\ 17183871118434*c_0101_6^7 + 647148468536398857207772269952512842822\ 7947/1930972439689765923159306182583880461342*c_0101_6^6 - 11362909273951436479511355548180089129307491/1930972439689765923159\ 306182583880461342*c_0101_6^5 - 11474620772232596104241276353816276\ 38961229/643657479896588641053102060861293487114*c_0101_6^4 + 2242119425961314848243440105948966032818760/96548621984488296157965\ 3091291940230671*c_0101_6^3 + 1637671536179153961659435084809761234\ 661687/1930972439689765923159306182583880461342*c_0101_6^2 - 56147813875112899277354321200553360351351/2145524932988628803510340\ 20287097829038*c_0101_6 - 28561791413245961073143583213994002811723\ 3/1930972439689765923159306182583880461342, c_0011_0 - 1, c_0011_3 + 207814802652299522179816316124334595/36059242571237458882526\ 72609867190404*c_0101_6^25 - 475446161794800910164322742803867177/3\ 605924257123745888252672609867190404*c_0101_6^24 - 873566338755663658031669225720809946/901481064280936472063168152466\ 797601*c_0101_6^23 + 2408168648663258541101218713704814827/36059242\ 57123745888252672609867190404*c_0101_6^22 + 30869605941416812028020093527755219673/3605924257123745888252672609\ 867190404*c_0101_6^21 + 23018813889190054979759931587418084591/3605\ 924257123745888252672609867190404*c_0101_6^20 - 129553251350653468366000378871094746123/360592425712374588825267260\ 9867190404*c_0101_6^19 - 250099162201519704869638168441530695383/36\ 05924257123745888252672609867190404*c_0101_6^18 + 52543104616795430887967016390535784036/9014810642809364720631681524\ 66797601*c_0101_6^17 + 422792627830259229881613540715233921807/1802\ 962128561872944126336304933595202*c_0101_6^16 - 122201532105635167317654181985037702237/180296212856187294412633630\ 4933595202*c_0101_6^15 - 338731981277192914646976248817928452400/90\ 1481064280936472063168152466797601*c_0101_6^14 + 865351249303118377473302010647316575891/360592425712374588825267260\ 9867190404*c_0101_6^13 + 353473361199731283317950081720147307883/90\ 1481064280936472063168152466797601*c_0101_6^12 - 912074605037863379106103785924515442219/360592425712374588825267260\ 9867190404*c_0101_6^11 - 467195635498906715337460926342526506719/36\ 05924257123745888252672609867190404*c_0101_6^10 + 184538670438502015225528095710887436614/901481064280936472063168152\ 466797601*c_0101_6^9 - 280217264602769317144035970845408475975/3605\ 924257123745888252672609867190404*c_0101_6^8 - 434718897654714022491250117416580616637/360592425712374588825267260\ 9867190404*c_0101_6^7 + 294249222836215492256923484942866373231/180\ 2962128561872944126336304933595202*c_0101_6^6 + 9254184975623387283114304900254134781/18029621285618729441263363049\ 33595202*c_0101_6^5 - 205791405077680303254054893755091082899/18029\ 62128561872944126336304933595202*c_0101_6^4 - 470898354675372057950608401000335140/901481064280936472063168152466\ 797601*c_0101_6^3 + 32389529021183111743098851982238456695/90148106\ 4280936472063168152466797601*c_0101_6^2 + 13329141196574867607617184724271285233/3605924257123745888252672609\ 867190404*c_0101_6 - 8801696668026447461515601895389611285/18029621\ 28561872944126336304933595202, c_0011_4 + 2058171415744556455147996512480325969/3605924257123745888252\ 672609867190404*c_0101_6^25 - 1257586886072498037358566181452967649\ /3605924257123745888252672609867190404*c_0101_6^24 - 15821781642661377656060005476815342755/1802962128561872944126336304\ 933595202*c_0101_6^23 - 29795893399149220912292676724842169091/3605\ 924257123745888252672609867190404*c_0101_6^22 + 174688750927412244652680462037416691133/360592425712374588825267260\ 9867190404*c_0101_6^21 + 409782082304472497955882639711761875223/36\ 05924257123745888252672609867190404*c_0101_6^20 - 178146265373116430088009159817306023891/360592425712374588825267260\ 9867190404*c_0101_6^19 - 1529559935646037972361839636877680079663/3\ 605924257123745888252672609867190404*c_0101_6^18 - 274744454825190686499195115980112053111/180296212856187294412633630\ 4933595202*c_0101_6^17 + 1579030852891840566411774979562166454535/1\ 802962128561872944126336304933595202*c_0101_6^16 - 121256044726660145905457809174402145167/180296212856187294412633630\ 4933595202*c_0101_6^15 - 1402696163384469114021280041350478563942/9\ 01481064280936472063168152466797601*c_0101_6^14 + 2894458126900440971885271113061614486737/36059242571237458882526726\ 09867190404*c_0101_6^13 + 1296795540776587680055780459472827324277/\ 1802962128561872944126336304933595202*c_0101_6^12 - 4196581836470705114931171752038265832049/36059242571237458882526726\ 09867190404*c_0101_6^11 + 1932918954459727885592259228716561958561/\ 3605924257123745888252672609867190404*c_0101_6^10 + 636839415082712135757199961183662066219/180296212856187294412633630\ 4933595202*c_0101_6^9 - 2060155849466799169479434312420796755985/36\ 05924257123745888252672609867190404*c_0101_6^8 + 325813199347640519483966423835444274499/360592425712374588825267260\ 9867190404*c_0101_6^7 + 255385362625317404626749792337339476290/901\ 481064280936472063168152466797601*c_0101_6^6 - 84011586858840202038905007405416795369/1802962128561872944126336304\ 933595202*c_0101_6^5 - 138114350559673608805983020809419802433/1802\ 962128561872944126336304933595202*c_0101_6^4 + 9955286086970015066062459711174002648/90148106428093647206316815246\ 6797601*c_0101_6^3 + 5466811604101338059165622529156898483/90148106\ 4280936472063168152466797601*c_0101_6^2 - 8600942714042877043334698718029764325/36059242571237458882526726098\ 67190404*c_0101_6 + 2609931569588005803050776028816567/901481064280\ 936472063168152466797601, c_0101_0 - 937395982826528043055859699614265093/36059242571237458882526\ 72609867190404*c_0101_6^25 + 1318597804708033318796470611267601115/\ 3605924257123745888252672609867190404*c_0101_6^24 + 3570511945318095449783354749565256890/90148106428093647206316815246\ 6797601*c_0101_6^23 + 1987756793506922114199822335963301689/3605924\ 257123745888252672609867190404*c_0101_6^22 - 95584927248811780944745441579575811215/3605924257123745888252672609\ 867190404*c_0101_6^21 - 129237458489243162630712840667665563875/360\ 5924257123745888252672609867190404*c_0101_6^20 + 258614927266942823727970705971764688045/360592425712374588825267260\ 9867190404*c_0101_6^19 + 706678724227807735739929059566898648821/36\ 05924257123745888252672609867190404*c_0101_6^18 - 164496398565153334605287187131117073087/180296212856187294412633630\ 4933595202*c_0101_6^17 - 960434081467253894622440875879812634823/18\ 02962128561872944126336304933595202*c_0101_6^16 + 556848523481346596682667050024267626927/180296212856187294412633630\ 4933595202*c_0101_6^15 + 765670253168503941368757367137240123862/90\ 1481064280936472063168152466797601*c_0101_6^14 - 3201027759152833175415040910546839955869/36059242571237458882526726\ 09867190404*c_0101_6^13 - 312507669246410232116354605660335527067/9\ 01481064280936472063168152466797601*c_0101_6^12 + 3087764511428623953203167439634828613601/36059242571237458882526726\ 09867190404*c_0101_6^11 - 1483315435947219676688836254460719989745/\ 3605924257123745888252672609867190404*c_0101_6^10 - 311858341557058486158627499638229100851/180296212856187294412633630\ 4933595202*c_0101_6^9 + 1413147103270643990653156125673253903827/36\ 05924257123745888252672609867190404*c_0101_6^8 - 361208406156243773598428976236286546763/360592425712374588825267260\ 9867190404*c_0101_6^7 - 392136988744658871858188172499026662455/180\ 2962128561872944126336304933595202*c_0101_6^6 + 185392939854576886526320488245757588361/180296212856187294412633630\ 4933595202*c_0101_6^5 + 85756875280067507031473011782394062431/9014\ 81064280936472063168152466797601*c_0101_6^4 - 61821752499055862512979095618733177337/1802962128561872944126336304\ 933595202*c_0101_6^3 - 23521816514199356272437589069024724845/90148\ 1064280936472063168152466797601*c_0101_6^2 + 2082985279438090727554347729485297959/36059242571237458882526726098\ 67190404*c_0101_6 + 3096812429050151965715160852765853860/901481064\ 280936472063168152466797601, c_0101_1 - 6080781325419729355836817561441485/9014810642809364720631681\ 52466797601*c_0101_6^25 + 193921058379495406926074455356955323/9014\ 81064280936472063168152466797601*c_0101_6^24 - 108281964522927446078040355572363589/180296212856187294412633630493\ 3595202*c_0101_6^23 - 5628377888688453763931107165876303365/1802962\ 128561872944126336304933595202*c_0101_6^22 - 5659375302478238972407524530250443125/18029621285618729441263363049\ 33595202*c_0101_6^21 + 30718224326246284197171449474781408955/18029\ 62128561872944126336304933595202*c_0101_6^20 + 36317312429887552509575720631142626495/9014810642809364720631681524\ 66797601*c_0101_6^19 - 34433362205175134370061471550888193641/18029\ 62128561872944126336304933595202*c_0101_6^18 - 279319004348646819621435886895719816005/180296212856187294412633630\ 4933595202*c_0101_6^17 - 45769821158551721494260672395618645229/901\ 481064280936472063168152466797601*c_0101_6^16 + 299954955079865861293687968008143786672/901481064280936472063168152\ 466797601*c_0101_6^15 - 25512504215231040920787613919355539384/9014\ 81064280936472063168152466797601*c_0101_6^14 - 501741341277177054460183827813542236664/901481064280936472063168152\ 466797601*c_0101_6^13 + 290267508043551840234027264197147669401/901\ 481064280936472063168152466797601*c_0101_6^12 + 393250416448005933059356516619765545367/180296212856187294412633630\ 4933595202*c_0101_6^11 - 325142471280156718851954463001369428394/90\ 1481064280936472063168152466797601*c_0101_6^10 + 205892612077319939037810824911178118931/901481064280936472063168152\ 466797601*c_0101_6^9 + 44979784844540811470635531229345683824/90148\ 1064280936472063168152466797601*c_0101_6^8 - 275427660306136179915358815770158491245/180296212856187294412633630\ 4933595202*c_0101_6^7 + 29659866260171681713624734839667849198/9014\ 81064280936472063168152466797601*c_0101_6^6 + 136071481561703445850772689264835739027/180296212856187294412633630\ 4933595202*c_0101_6^5 + 3301209550785101718042848711898978763/90148\ 1064280936472063168152466797601*c_0101_6^4 - 51022121314626533207750325602504252511/1802962128561872944126336304\ 933595202*c_0101_6^3 - 17648825635513944992825183954091572637/18029\ 62128561872944126336304933595202*c_0101_6^2 + 1046362979123015826957968113713437192/90148106428093647206316815246\ 6797601*c_0101_6 + 3984687512640888209451366059223604105/1802962128\ 561872944126336304933595202, c_0101_2 - 491456532744437488616550494208600280/90148106428093647206316\ 8152466797601*c_0101_6^25 + 579465905189450035649601357434454931/36\ 05924257123745888252672609867190404*c_0101_6^24 + 30407553021909161000172900842261112307/3605924257123745888252672609\ 867190404*c_0101_6^23 + 9541954692075599717340016127822407878/90148\ 1064280936472063168152466797601*c_0101_6^22 - 154764209913205088612589716893365157907/360592425712374588825267260\ 9867190404*c_0101_6^21 - 441830430810515611330370068242467765439/36\ 05924257123745888252672609867190404*c_0101_6^20 + 27913855229871384211270576504659882377/3605924257123745888252672609\ 867190404*c_0101_6^19 + 1476673718193815218126462299303153576461/36\ 05924257123745888252672609867190404*c_0101_6^18 + 1016898366374509110195262431163040776565/36059242571237458882526726\ 09867190404*c_0101_6^17 - 1344019037495965393811641419831802195223/\ 1802962128561872944126336304933595202*c_0101_6^16 - 347194553216168207499605516640557701255/180296212856187294412633630\ 4933595202*c_0101_6^15 + 2529794205336754547128376590864537577087/1\ 802962128561872944126336304933595202*c_0101_6^14 - 260177033644933941347013951756109129692/901481064280936472063168152\ 466797601*c_0101_6^13 - 2706621398385515074192445698653983681057/36\ 05924257123745888252672609867190404*c_0101_6^12 + 719558969114958768541998646177835012960/901481064280936472063168152\ 466797601*c_0101_6^11 - 992193137271423918329371374848262403947/360\ 5924257123745888252672609867190404*c_0101_6^10 - 1291846269673898504191587042141099683297/36059242571237458882526726\ 09867190404*c_0101_6^9 + 707320661012868080016465204887364038369/18\ 02962128561872944126336304933595202*c_0101_6^8 + 96134821483848829739888330308260510275/3605924257123745888252672609\ 867190404*c_0101_6^7 - 793046739323388702440936310399746781455/3605\ 924257123745888252672609867190404*c_0101_6^6 - 88715006308323751212510607579262807291/1802962128561872944126336304\ 933595202*c_0101_6^5 + 87845558825439530207288295295582344429/18029\ 62128561872944126336304933595202*c_0101_6^4 + 19432246035984084818468543673913373161/9014810642809364720631681524\ 66797601*c_0101_6^3 + 9030780193621376895473379592605035661/1802962\ 128561872944126336304933595202*c_0101_6^2 - 781441796040332990814903074580354775/901481064280936472063168152466\ 797601*c_0101_6 - 5290824254059625687411738655101885573/36059242571\ 23745888252672609867190404, c_0101_6^26 - 16*c_0101_6^24 - 24*c_0101_6^23 + 80*c_0101_6^22 + 259*c_0101_6^21 + 19*c_0101_6^20 - 869*c_0101_6^19 - 762*c_0101_6^18 + 1567*c_0101_6^17 + 1102*c_0101_6^16 - 3052*c_0101_6^15 - 637*c_0101_6^14 + 2727*c_0101_6^13 - 852*c_0101_6^12 - 818*c_0101_6^11 + 1260*c_0101_6^10 - 376*c_0101_6^9 - 732*c_0101_6^8 + 608*c_0101_6^7 + 419*c_0101_6^6 - 288*c_0101_6^5 - 188*c_0101_6^4 + 46*c_0101_6^3 + 39*c_0101_6^2 - c_0101_6 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB