Magma V2.19-8 Tue Aug 20 2013 16:18:42 on localhost [Seed = 1865347614] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2864 geometric_solution 6.08520176 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 1 -1 1 0 0 -1 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.076286574164 0.719680763656 0 3 5 4 0132 0132 0132 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 -1 0 0 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.195544170631 0.885812552606 3 0 4 5 0132 0132 0132 2310 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195544170631 0.885812552606 2 1 6 6 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.863505602533 1.440089457768 4 4 1 2 1230 3012 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 1 0 -1 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.948594075684 1.125299826325 2 5 5 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734304549034 0.743894382037 3 6 6 3 3201 3201 2310 0132 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.380317084453 0.671493181990 ==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_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 272346077738327293847217951938970890901378765590695/946226709397212\ 7846338005523752835707369137774389*c_0101_3^20 - 8203495388886442395971764646295331586128752636883449037/11260097841\ 82683213714222657326587449176927395152291*c_0101_3^19 - 3714437992970439854989717867039294681605593265713855869/11260097841\ 82683213714222657326587449176927395152291*c_0101_3^18 + 62299411638968878870235714673649613725418091772391731940/1126009784\ 182683213714222657326587449176927395152291*c_0101_3^17 + 43243242204472455750878993472329565963341529506458781077/1126009784\ 182683213714222657326587449176927395152291*c_0101_3^16 - 18133197562356270829996741503871529791208739678088192742/1126009784\ 182683213714222657326587449176927395152291*c_0101_3^15 - 5625692998634836480446923825827307236997390176959276659/11260097841\ 82683213714222657326587449176927395152291*c_0101_3^14 + 7742356326753465983862094500891205867996672359483125165/11260097841\ 82683213714222657326587449176927395152291*c_0101_3^13 - 2474620766543843386042907223135117803985416041890727462/16085854059\ 7526173387746093903798207025275342164613*c_0101_3^12 - 28166152264773336721510634408425089284597776240779971443/1126009784\ 182683213714222657326587449176927395152291*c_0101_3^11 + 1335548149830327831850503207392168588339293545732717091/16085854059\ 7526173387746093903798207025275342164613*c_0101_3^10 - 1702871796653595275984830550367711969595275235377869515/16085854059\ 7526173387746093903798207025275342164613*c_0101_3^9 - 5817247821490382174497953981045885471256877414330824238/11260097841\ 82683213714222657326587449176927395152291*c_0101_3^8 - 215344526543518185151014858549683134095408584000011952/112600978418\ 2683213714222657326587449176927395152291*c_0101_3^7 - 101527943401359525602584621924362588889945875404310116/536195135325\ 08724462582031301266069008425114054871*c_0101_3^6 + 543927501724289295700030732725938059596928816193768584/375336594727\ 561071238074219108862483058975798384097*c_0101_3^5 - 837745583882558045657756289505055722842080072795954963/112600978418\ 2683213714222657326587449176927395152291*c_0101_3^4 + 456284870594621469171390414479070759140324577534551221/112600978418\ 2683213714222657326587449176927395152291*c_0101_3^3 + 39033624167046945866668324536827611205752875086555825/3753365947275\ 61071238074219108862483058975798384097*c_0101_3^2 + 17710152901780417883738201016161685142573786270809040/1126009784182\ 683213714222657326587449176927395152291*c_0101_3 + 20281172006707214400541357929031090599950565386557948/1126009784182\ 683213714222657326587449176927395152291, c_0011_0 - 1, c_0011_4 + 51201198586159176580603885399062111872318/116602921621747380\ 531393281867880617141121*c_0101_3^20 + 12999124263634779578090074312341537256585930/1166029216217473805313\ 93281867880617141121*c_0101_3^19 + 15753587294402709649025999597613024385810324/1166029216217473805313\ 93281867880617141121*c_0101_3^18 - 87036076440967987742184248987526815693772743/1166029216217473805313\ 93281867880617141121*c_0101_3^17 - 137128291617720416107512334563319823786270611/116602921621747380531\ 393281867880617141121*c_0101_3^16 - 72267285907889520640247993084608304863818886/1166029216217473805313\ 93281867880617141121*c_0101_3^15 - 25669806734771327837454474474232316694347587/1166029216217473805313\ 93281867880617141121*c_0101_3^14 - 21200965356129723423811560099885039649011566/1166029216217473805313\ 93281867880617141121*c_0101_3^13 + 8736043970933606394490809576328385319904807/11660292162174738053139\ 3281867880617141121*c_0101_3^12 + 546592605599432566701615131268166\ 23992953168/116602921621747380531393281867880617141121*c_0101_3^11 + 30756799011490649896527772217213974525312223/1166029216217473805313\ 93281867880617141121*c_0101_3^10 + 36308021348448770356170649882428612296492734/1166029216217473805313\ 93281867880617141121*c_0101_3^9 + 294795349225110581425977344701588\ 39832884775/116602921621747380531393281867880617141121*c_0101_3^8 + 23515255132281435051411270782507369445736274/1166029216217473805313\ 93281867880617141121*c_0101_3^7 + 504574849089964723898344834058643\ 5163075031/38867640540582460177131093955960205713707*c_0101_3^6 + 2010095787609698175039835321817828280892520/38867640540582460177131\ 093955960205713707*c_0101_3^5 + 44051493343694934384552949321591064\ 31294542/116602921621747380531393281867880617141121*c_0101_3^4 + 1687154684337383259353134592555318180809604/11660292162174738053139\ 3281867880617141121*c_0101_3^3 + 2494443332922192414707047949540639\ 37206117/38867640540582460177131093955960205713707*c_0101_3^2 + 4383540159220517867647667905123625889160/68589953895145517959643106\ 98110624537713*c_0101_3 + 45031541108434577716691137939860738651848\ /116602921621747380531393281867880617141121, c_0011_5 + 46301669928815944258988213240487593708569387884401/160858540\ 597526173387746093903798207025275342164613*c_0101_3^20 + 3926529657207652793063786511003595709633514636501263/53619513532508\ 724462582031301266069008425114054871*c_0101_3^19 + 6809374582933057486473404527232357714877635821759412/53619513532508\ 724462582031301266069008425114054871*c_0101_3^18 - 8077710103128377485024779586409719179916899729338022/17873171177502\ 908154194010433755356336141704684957*c_0101_3^17 - 171642006240233559570947283590184898361194991905953893/160858540597\ 526173387746093903798207025275342164613*c_0101_3^16 - 126355843841486361014862547833129002045497645583427625/160858540597\ 526173387746093903798207025275342164613*c_0101_3^15 - 723017272553207429271660421430750081102746527965566/946226709397212\ 7846338005523752835707369137774389*c_0101_3^14 + 25765285108931632495092988332162691620992276301334780/1608585405975\ 26173387746093903798207025275342164613*c_0101_3^13 + 24959557222730094160992202688663135299415490689417435/1608585405975\ 26173387746093903798207025275342164613*c_0101_3^12 + 60249163012713831783378752167683401395697419828420297/1608585405975\ 26173387746093903798207025275342164613*c_0101_3^11 + 6075883052577124076196375803854046316941893662308715/17873171177502\ 908154194010433755356336141704684957*c_0101_3^10 + 2009250716369192782910029182946897450142019389180668/94622670939721\ 27846338005523752835707369137774389*c_0101_3^9 + 20039631780951539443199041490230496393878350311006462/1608585405975\ 26173387746093903798207025275342164613*c_0101_3^8 + 20817556677162460583392502424271238552139467746539787/1608585405975\ 26173387746093903798207025275342164613*c_0101_3^7 + 1241784831894443789095804122717498167979343246823843/17873171177502\ 908154194010433755356336141704684957*c_0101_3^6 + 400708712990227963721556843418362094692001680931270/536195135325087\ 24462582031301266069008425114054871*c_0101_3^5 - 623699768312564453837968234676623967668935954609922/160858540597526\ 173387746093903798207025275342164613*c_0101_3^4 - 784103994909280594752466412364001464327757943453372/160858540597526\ 173387746093903798207025275342164613*c_0101_3^3 - 53361934331025156484299234147992623489731640893046/5361951353250872\ 4462582031301266069008425114054871*c_0101_3^2 - 287770702141919702655660901493629091747149652870041/160858540597526\ 173387746093903798207025275342164613*c_0101_3 - 156756698535920969621603292769915763472559841806997/160858540597526\ 173387746093903798207025275342164613, c_0011_6 + 166380500213969677789276821981395245091/11660292162174738053\ 1393281867880617141121*c_0101_3^20 + 16067078264285078026168992492618854813878/3886764054058246017713109\ 3955960205713707*c_0101_3^19 + 522115536450920201476322705154569013\ 853651/38867640540582460177131093955960205713707*c_0101_3^18 + 686033370304966299110611753684987105140781/388676405405824601771310\ 93955960205713707*c_0101_3^17 - 61608369336770222833667629134780622\ 8452977/6858995389514551795964310698110624537713*c_0101_3^16 - 20146249829944683871290826834109083883681389/1166029216217473805313\ 93281867880617141121*c_0101_3^15 - 10311542624502399528027119441373038786896202/1166029216217473805313\ 93281867880617141121*c_0101_3^14 - 968932808610223482325740067992363058955855/116602921621747380531393\ 281867880617141121*c_0101_3^13 - 1613495387001497648597817564546074\ 774532487/116602921621747380531393281867880617141121*c_0101_3^12 + 466513558814485975137412660957709397443698/116602921621747380531393\ 281867880617141121*c_0101_3^11 + 8591131551290006832867060803280561\ 22246248/12955880180194153392377031318653401904569*c_0101_3^10 + 5830626150734040257810357931715578082526708/11660292162174738053139\ 3281867880617141121*c_0101_3^9 + 3530340893443790478774735966761068\ 367910185/116602921621747380531393281867880617141121*c_0101_3^8 + 3965687161618069504489584964245824896759666/11660292162174738053139\ 3281867880617141121*c_0101_3^7 + 9179781246550435900091579787221044\ 12485841/38867640540582460177131093955960205713707*c_0101_3^6 + 597836243346945616647897152567901298954055/388676405405824601771310\ 93955960205713707*c_0101_3^5 + 356984465427656489028009614006920512\ 820895/116602921621747380531393281867880617141121*c_0101_3^4 + 405687888326747462591070946539162592825090/116602921621747380531393\ 281867880617141121*c_0101_3^3 + 23340810598789974199742560933690290\ 023042/12955880180194153392377031318653401904569*c_0101_3^2 + 58755301821583030701078743912105135811143/1166029216217473805313932\ 81867880617141121*c_0101_3 - 64391827451811201719291132587871149811\ 357/116602921621747380531393281867880617141121, c_0101_0 - 91934691638156468017384330176164713179441211341632/160858540\ 597526173387746093903798207025275342164613*c_0101_3^20 - 458889700621496512320878644785185719559201587213207/315408903132404\ 2615446001841250945235789712591463*c_0101_3^19 - 867271912615841257218150267293648457908421139056554/315408903132404\ 2615446001841250945235789712591463*c_0101_3^18 + 2558063587939144648613492041268229917860214472550562/31540890313240\ 42615446001841250945235789712591463*c_0101_3^17 + 345787722425278686298861081350102767421481476127622168/160858540597\ 526173387746093903798207025275342164613*c_0101_3^16 + 346272828640401915849194140976227245862917733141536838/160858540597\ 526173387746093903798207025275342164613*c_0101_3^15 + 202042932429011350222366006228252058937644723328128216/160858540597\ 526173387746093903798207025275342164613*c_0101_3^14 + 70477824231385734284053857744907566284862699228953465/1608585405975\ 26173387746093903798207025275342164613*c_0101_3^13 - 21487189052958023998925097688470056300374054019901980/1608585405975\ 26173387746093903798207025275342164613*c_0101_3^12 - 117438707804117772446545656875542329277154375251685239/160858540597\ 526173387746093903798207025275342164613*c_0101_3^11 - 14463010755452339971429559031215676016914084471730852/1787317117750\ 2908154194010433755356336141704684957*c_0101_3^10 - 130590983027533184108630667803167684140739413125664179/160858540597\ 526173387746093903798207025275342164613*c_0101_3^9 - 102532317202494967063841559245346181673290797642778355/160858540597\ 526173387746093903798207025275342164613*c_0101_3^8 - 77465248668906380314023729590034502857973124242100863/1608585405975\ 26173387746093903798207025275342164613*c_0101_3^7 - 20362005674363418437765057310658626363145994620906693/5361951353250\ 8724462582031301266069008425114054871*c_0101_3^6 - 3452890354898522978385575776499398187874192570912112/17873171177502\ 908154194010433755356336141704684957*c_0101_3^5 - 14727350728328399416254855365501373807720247893279635/1608585405975\ 26173387746093903798207025275342164613*c_0101_3^4 - 5977388440061639453122067418154736654058947956107193/16085854059752\ 6173387746093903798207025275342164613*c_0101_3^3 - 762778739006785780617175314797886052277582503591325/536195135325087\ 24462582031301266069008425114054871*c_0101_3^2 - 929336197314070315139876078387550667872654876569756/160858540597526\ 173387746093903798207025275342164613*c_0101_3 - 1846650578291026495992035564954245489618533016186/16085854059752617\ 3387746093903798207025275342164613, c_0101_1 + 16927110554130494805791078096423233717662633968840/536195135\ 32508724462582031301266069008425114054871*c_0101_3^20 + 4293922688774223966681599804612296402856918677871206/53619513532508\ 724462582031301266069008425114054871*c_0101_3^19 + 4296431934384726842979376326048983807290069377019784/53619513532508\ 724462582031301266069008425114054871*c_0101_3^18 - 30179776090816838226045203605763905079730624139310554/5361951353250\ 8724462582031301266069008425114054871*c_0101_3^17 - 2333903103195036323087910173698321161262150223423183/31540890313240\ 42615446001841250945235789712591463*c_0101_3^16 - 12624685322919153880002011371762612576847005721236225/5361951353250\ 8724462582031301266069008425114054871*c_0101_3^15 - 101951899409049508431028767710116417924163629160437/536195135325087\ 24462582031301266069008425114054871*c_0101_3^14 - 831103329343598444906555192961908577255989748536482/536195135325087\ 24462582031301266069008425114054871*c_0101_3^13 + 8497382517702748776556610017839821353413382260667315/53619513532508\ 724462582031301266069008425114054871*c_0101_3^12 + 18883168241389351658820971787608460844089299289249212/5361951353250\ 8724462582031301266069008425114054871*c_0101_3^11 + 5207333821982460025148103013261469851470746671246607/53619513532508\ 724462582031301266069008425114054871*c_0101_3^10 + 7793112123051422090108625489454793638351853620336280/53619513532508\ 724462582031301266069008425114054871*c_0101_3^9 + 5595800454605939226492843790283363757175550680640512/53619513532508\ 724462582031301266069008425114054871*c_0101_3^8 + 3572395516335671044584372882451604506787148234309922/53619513532508\ 724462582031301266069008425114054871*c_0101_3^7 + 2132991725743332660498078976804562231660163312152525/53619513532508\ 724462582031301266069008425114054871*c_0101_3^6 + 109960472352179084675958297742989465435013798150450/536195135325087\ 24462582031301266069008425114054871*c_0101_3^5 + 127085438591040006058756406259432967210044423865960/178731711775029\ 08154194010433755356336141704684957*c_0101_3^4 - 79526106842998701752518543867984895700046354967795/5361951353250872\ 4462582031301266069008425114054871*c_0101_3^3 - 4621905379079631032637770191878947869005747168934/17873171177502908\ 154194010433755356336141704684957*c_0101_3^2 - 8578077372302077176694206169901272500762341727719/17873171177502908\ 154194010433755356336141704684957*c_0101_3 + 9263572909417608471976415272163115467164656638687/53619513532508724\ 462582031301266069008425114054871, c_0101_3^21 + 1777/7*c_0101_3^20 + 2108/7*c_0101_3^19 - 11815/7*c_0101_3^18 - 18239/7*c_0101_3^17 - 10351/7*c_0101_3^16 - 4950/7*c_0101_3^15 - 3483/7*c_0101_3^14 + 162*c_0101_3^13 + 7156/7*c_0101_3^12 + 578*c_0101_3^11 + 779*c_0101_3^10 + 4227/7*c_0101_3^9 + 3390/7*c_0101_3^8 + 346*c_0101_3^7 + 984/7*c_0101_3^6 + 787/7*c_0101_3^5 + 270/7*c_0101_3^4 + 151/7*c_0101_3^3 + 40/7*c_0101_3^2 + 12/7*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB