Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 4206585368] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2016 geometric_solution 5.56312171 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278030447225 0.190023265872 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 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.270413179905 1.485522535284 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 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 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.775835852805 1.320255552239 2 5 4 1 3012 1023 3201 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775835852805 1.320255552239 3 2 4 4 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377635824951 0.407278546556 3 6 6 2 1023 0132 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 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581438756689 0.437033789706 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 1.605379235158 0.682251853374 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], '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_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_0101_0, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 5455059661381296827980179470395997178959393247613/40203531198190478\ 260787548476945632741435592832*c_0101_6^27 + 167701448888209478354657367321613057980815060318285/100508827995476\ 19565196887119236408185358898208*c_0101_6^25 - 16917485584988074613092872481927002345676070001396435/4020353119819\ 0478260787548476945632741435592832*c_0101_6^23 - 120642921720706779703398828672381613845817152997244871/201017655990\ 95239130393774238472816370717796416*c_0101_6^21 + 184489014221804168664532348937153512574393783429151929/402035311981\ 90478260787548476945632741435592832*c_0101_6^19 + 6881289958950475464521160223202804679401632461950158939/40203531198\ 190478260787548476945632741435592832*c_0101_6^17 - 11367781025603442467247161505769191475929154950083300683/4020353119\ 8190478260787548476945632741435592832*c_0101_6^15 - 10765209790983556697147143375265572088376668145956533/1386328662006\ 568215889225809549849404877089408*c_0101_6^13 + 3537244988904783261531153790318315974802001069039263219/40203531198\ 190478260787548476945632741435592832*c_0101_6^11 - 140924325966851882975330519261914622914622795919371961/201017655990\ 95239130393774238472816370717796416*c_0101_6^9 - 112672158443041644287680224872242924696820661192239/613419761949808\ 9450837282343140926570252608*c_0101_6^7 + 125009976932463636254172626144852136565982224639418905/201017655990\ 95239130393774238472816370717796416*c_0101_6^5 - 25609746153569383020267444254936907127189831656035553/4020353119819\ 0478260787548476945632741435592832*c_0101_6^3 + 785931480003286489586241090521869897505560958445987/201017655990952\ 39130393774238472816370717796416*c_0101_6, c_0011_0 - 1, c_0011_1 - 112667064773286552489513113081965913960672697/36737709543174\ 057721064483953071009229242869312*c_0101_6^26 + 6922032885220122833532413639090240282586852271/18368854771587028860\ 532241976535504614621434656*c_0101_6^24 - 348115999873183832979605987211706326230982944595/367377095431740577\ 21064483953071009229242869312*c_0101_6^22 - 626953572647237529098026290468671365971836128423/459221369289675721\ 5133060494133876153655358664*c_0101_6^20 + 3331353174438186448873780720429171995167957614053/36737709543174057\ 721064483953071009229242869312*c_0101_6^18 + 142289994824751498832452319992832824983530729884237/367377095431740\ 57721064483953071009229242869312*c_0101_6^16 - 221438593416821399646701329626341577941214338119201/367377095431740\ 57721064483953071009229242869312*c_0101_6^14 - 797542221467445431603382223530761301226470672143/126681757045427785\ 2450499446657621007904926528*c_0101_6^12 + 66374270557670849195613106717373058863910691305445/3673770954317405\ 7721064483953071009229242869312*c_0101_6^10 - 632129373398318754665296088292292287882711092995/918442738579351443\ 0266120988267752307310717328*c_0101_6^8 - 2216770519836197427078063323055892176658179759/56053874798861851878\ 34068348042570831437728*c_0101_6^6 + 2207240640570998101630308270817944267233845588915/18368854771587028\ 860532241976535504614621434656*c_0101_6^4 - 275811050338695606187041206308149256934385321097/367377095431740577\ 21064483953071009229242869312*c_0101_6^2 - 1473679306026831737248241134250046733376597451/45922136928967572151\ 33060494133876153655358664, c_0011_3 + 116510314843486493350180968594443563778581971/18368854771587\ 028860532241976535504614621434656*c_0101_6^26 - 7162010270450246680486714818807946675628145655/91844273857935144302\ 66120988267752307310717328*c_0101_6^24 + 360933821285262041691499360881930981555950717653/183688547715870288\ 60532241976535504614621434656*c_0101_6^22 + 322715773150726078043259695019906242878949824797/114805342322418930\ 3783265123533469038413839666*c_0101_6^20 - 3802270748706751821094292221246445194713438303791/18368854771587028\ 860532241976535504614621434656*c_0101_6^18 - 147124251265981456278114092019051287720851526943571/183688547715870\ 28860532241976535504614621434656*c_0101_6^16 + 238798637804469249787828667880315664103560801619691/183688547715870\ 28860532241976535504614621434656*c_0101_6^14 + 502695911833116531622122566643473960583444710737/633408785227138926\ 225249723328810503952463264*c_0101_6^12 - 77286267441108713974211507047794130567307978804951/1836885477158702\ 8860532241976535504614621434656*c_0101_6^10 + 442005932823077986729689564358485486929267639187/229610684644837860\ 7566530247066938076827679332*c_0101_6^8 + 2541859996453813301996413876197230018008674951/28026937399430925939\ 17034174021285415718864*c_0101_6^6 - 2372463667422398079348099794603610778867829541595/91844273857935144\ 30266120988267752307310717328*c_0101_6^4 + 259061988919794012572250212922454216383903783959/183688547715870288\ 60532241976535504614621434656*c_0101_6^2 - 1306224138632310289809273474350479621458492255/22961068464483786075\ 66530247066938076827679332, c_0101_0 + 610097546574530113968794871934618841699264233/18368854771587\ 028860532241976535504614621434656*c_0101_6^27 - 37514871205292261259688779927921446216708371609/9184427385793514430\ 266120988267752307310717328*c_0101_6^25 + 1892843957551465282814389386247721058529923965687/18368854771587028\ 860532241976535504614621434656*c_0101_6^23 + 842690891320427018396599552000306812281777323835/574026711612094651\ 891632561766734519206919833*c_0101_6^21 - 20922475657213685905782117161671087555370508218445/1836885477158702\ 8860532241976535504614621434656*c_0101_6^19 - 769501017441297878767518286835469283874163016391505/183688547715870\ 28860532241976535504614621434656*c_0101_6^17 + 1279460352146749369494024508293087648190141282105361/18368854771587\ 028860532241976535504614621434656*c_0101_6^15 + 850745088545286423179927469471325698970520455419/633408785227138926\ 225249723328810503952463264*c_0101_6^13 - 399932769752916940929162027161436295067073498304341/183688547715870\ 28860532241976535504614621434656*c_0101_6^11 + 2142682038923576945768085421942202677815030365045/11480534232241893\ 03783265123533469038413839666*c_0101_6^9 + 12686967510218265251380210998262918810325090361/2802693739943092593\ 917034174021285415718864*c_0101_6^7 - 14320305562055695350245602537892101153821227816261/9184427385793514\ 430266120988267752307310717328*c_0101_6^5 + 2956138354142467805861743507674388799166652849533/18368854771587028\ 860532241976535504614621434656*c_0101_6^3 - 17989719148090891163129605495624682825646726777/2296106846448378607\ 566530247066938076827679332*c_0101_6, c_0101_3 + 180522257284438437949965756246794007126223311/18368854771587\ 028860532241976535504614621434656*c_0101_6^27 - 11082471687042927341617542831219324305855356513/9184427385793514430\ 266120988267752307310717328*c_0101_6^25 + 555689829748180903623044759265035614119406532133/183688547715870288\ 60532241976535504614621434656*c_0101_6^23 + 1011193074304672770655578522925614976676923787219/22961068464483786\ 07566530247066938076827679332*c_0101_6^21 - 4610684668197497832672653628582358892618806565859/18368854771587028\ 860532241976535504614621434656*c_0101_6^19 - 228863043854842830736989550571695265022294646238283/183688547715870\ 28860532241976535504614621434656*c_0101_6^17 + 333530633554337356588738341430038207352977361057463/183688547715870\ 28860532241976535504614621434656*c_0101_6^15 + 2782010969550043420962009931414273520882235819417/63340878522713892\ 6225249723328810503952463264*c_0101_6^13 - 113855630393585840190477562844970770657436765289107/183688547715870\ 28860532241976535504614621434656*c_0101_6^11 - 3481522793213681344156414673610890915723136812207/45922136928967572\ 15133060494133876153655358664*c_0101_6^9 + 3880018852060751997458881155074127681652150425/28026937399430925939\ 17034174021285415718864*c_0101_6^7 - 1727674125814417574266330442351859777360549249829/91844273857935144\ 30266120988267752307310717328*c_0101_6^5 - 566505405318596389601514300041140348481797684065/183688547715870288\ 60532241976535504614621434656*c_0101_6^3 + 4730904419110645777428203313486690583787895259/22961068464483786075\ 66530247066938076827679332*c_0101_6, c_0101_4 - 117595655707704610898955181041171906623285187/36737709543174\ 057721064483953071009229242869312*c_0101_6^26 + 7228547541847987025984134293740535911915152629/18368854771587028860\ 532241976535504614621434656*c_0101_6^24 - 364250273673153493408431355368148969993975323393/367377095431740577\ 21064483953071009229242869312*c_0101_6^22 - 651607631151826191068030381266495401992811265357/459221369289675721\ 5133060494133876153655358664*c_0101_6^20 + 3826630098837747632072242498357978679656676421799/36737709543174057\ 721064483953071009229242869312*c_0101_6^18 + 148578578578211786608051475067086091315003545461215/367377095431740\ 57721064483953071009229242869312*c_0101_6^16 - 240599209978022808353692804101420938815398288494075/367377095431740\ 57721064483953071009229242869312*c_0101_6^14 - 602546743711973633089299758238381314987015356501/126681757045427785\ 2450499446657621007904926528*c_0101_6^12 + 80606409891961503262612007516622128815962910466535/3673770954317405\ 7721064483953071009229242869312*c_0101_6^10 - 558202497158988962575670892552992113184514538049/918442738579351443\ 0266120988267752307310717328*c_0101_6^8 - 2701330765776556299452368735798070901037814325/56053874798861851878\ 34068348042570831437728*c_0101_6^6 + 2287352440141736366170638449228697278652075113217/18368854771587028\ 860532241976535504614621434656*c_0101_6^4 - 54835070574556157038394010829816243322085447603/3673770954317405772\ 1064483953071009229242869312*c_0101_6^2 - 496715475458517459790613023998112825348576537/459221369289675721513\ 3060494133876153655358664, c_0101_6^28 - 123*c_0101_6^26 + 3105*c_0101_6^24 + 44137*c_0101_6^22 - 35173*c_0101_6^20 - 1260460*c_0101_6^18 + 2122426*c_0101_6^16 - 5226*c_0101_6^14 - 651708*c_0101_6^12 + 70901*c_0101_6^10 + 134202*c_0101_6^8 - 49876*c_0101_6^6 + 5999*c_0101_6^4 - 421*c_0101_6^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB