Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 1242289770] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s261 geometric_solution 4.42363424 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0.592739045947 0.118929660190 2 0 2 0 0132 2310 1023 0132 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 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.785468196070 0.206473673579 1 3 1 4 0132 0132 1023 0132 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 0 0 0 0 0 0 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.931090303895 0.743508134023 5 2 4 4 0132 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.226247620637 1.125947529392 3 3 2 5 3012 1230 0132 0132 0 0 0 0 0 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.226247620637 1.125947529392 3 5 4 5 0132 1302 0132 2031 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 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.414558192002 0.603256008671 ==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' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, 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 - 1619852686556719663672439316929185464971180312279/19550331562777933\ 388545295007504564528920688992*c_0101_3^23 + 287098306872008071088843674637886978212526866111/977516578138896669\ 4272647503752282264460344496*c_0101_3^22 + 62949116954194701888901170470808733856815272296089/1955033156277793\ 3388545295007504564528920688992*c_0101_3^21 + 21420200845247582111053031367841537547024369574203/1955033156277793\ 3388545295007504564528920688992*c_0101_3^20 - 860417807519056177656172344674006066217353849218731/195503315627779\ 33388545295007504564528920688992*c_0101_3^19 - 130085788099660540279962261582697072678774325700561/195503315627779\ 33388545295007504564528920688992*c_0101_3^18 + 6801096900649090547222436043207896740928276382358197/19550331562777\ 933388545295007504564528920688992*c_0101_3^17 - 1897504610669636291308854930983918503458122866582575/19550331562777\ 933388545295007504564528920688992*c_0101_3^16 - 32921787284002726953424226038692298649030820412752053/1955033156277\ 7933388545295007504564528920688992*c_0101_3^15 + 12515355376445255473338214689022819828061616497813443/9775165781388\ 966694272647503752282264460344496*c_0101_3^14 + 84745283048441972488799175880911015295138721950677237/1955033156277\ 7933388545295007504564528920688992*c_0101_3^13 - 47714680320265159456298060813790828536875478570064673/9775165781388\ 966694272647503752282264460344496*c_0101_3^12 - 116803497909825076321504658758322838610017090107122733/195503315627\ 77933388545295007504564528920688992*c_0101_3^11 + 181725540984298015596054799549872199866614374548151845/195503315627\ 77933388545295007504564528920688992*c_0101_3^10 + 4392896705963080506134592566126657920900732117183025/12218957226736\ 20836784080937969035283057543062*c_0101_3^9 - 179547048698476066481286102448387620349113340301955277/195503315627\ 77933388545295007504564528920688992*c_0101_3^8 - 3089028633501310002592893068401810812645106946753049/19550331562777\ 933388545295007504564528920688992*c_0101_3^7 + 46096496108542291977350972313537360188681863351203545/9775165781388\ 966694272647503752282264460344496*c_0101_3^6 - 12806973329842679659005250668422802647274939453827893/1955033156277\ 7933388545295007504564528920688992*c_0101_3^5 - 23889394547386469763007192119392076467552276383267063/1955033156277\ 7933388545295007504564528920688992*c_0101_3^4 + 1040236231958952400345505438511065244811303832801999/48875828906944\ 83347136323751876141132230172248*c_0101_3^3 + 182300515142747848999061661793533719560809773068167/122189572267362\ 0836784080937969035283057543062*c_0101_3^2 - 45611890167198804919990396288920635733188129939763/2443791445347241\ 673568161875938070566115086124*c_0101_3 - 8649014728783759608655322189863230540489144801791/12218957226736208\ 36784080937969035283057543062, c_0011_0 - 1, c_0011_1 + 26650944152175521326154930125698794698152173/238418677594852\ 846201771890335421518645374256*c_0101_3^23 - 3317842741850196696918846125979870975253387/11920933879742642310088\ 5945167710759322687128*c_0101_3^22 - 1035543428376858563225964606099841604429223195/23841867759485284620\ 1771890335421518645374256*c_0101_3^21 - 460495903621067695035134799359063540441742437/238418677594852846201\ 771890335421518645374256*c_0101_3^20 + 14075323038520295650430807733730686464383949701/2384186775948528462\ 01771890335421518645374256*c_0101_3^19 + 3557971223699704189631091599307135006868482735/23841867759485284620\ 1771890335421518645374256*c_0101_3^18 - 111126775317621771171196699169993184164107981563/238418677594852846\ 201771890335421518645374256*c_0101_3^17 + 20287597272095531597273282845506509521334467961/2384186775948528462\ 01771890335421518645374256*c_0101_3^16 + 540786202474067160636521419445658336375508742555/238418677594852846\ 201771890335421518645374256*c_0101_3^15 - 179668109997149217679439156697108534315441195211/119209338797426423\ 100885945167710759322687128*c_0101_3^14 - 1416469535784539287052717325705949303185452555311/23841867759485284\ 6201771890335421518645374256*c_0101_3^13 + 717189063366274996760575797431861265524745186421/119209338797426423\ 100885945167710759322687128*c_0101_3^12 + 2021860945091292206268572852627356952555485391543/23841867759485284\ 6201771890335421518645374256*c_0101_3^11 - 2797270590326899590786151316470665084966232361499/23841867759485284\ 6201771890335421518645374256*c_0101_3^10 - 337577101771052389761863183111416176578468707235/596046693987132115\ 50442972583855379661343564*c_0101_3^9 + 2820164577688743607182330582066643886746150728383/23841867759485284\ 6201771890335421518645374256*c_0101_3^8 + 228120938679300547866856127254338061393957818895/238418677594852846\ 201771890335421518645374256*c_0101_3^7 - 738439928058802712779984147825032873109886870981/119209338797426423\ 100885945167710759322687128*c_0101_3^6 + 135598306446540079531794226242668195550162217887/238418677594852846\ 201771890335421518645374256*c_0101_3^5 + 387674154750336523729539342055682892087223456345/238418677594852846\ 201771890335421518645374256*c_0101_3^4 - 3462081249405187273873311313312853173719387704/14901167349678302887\ 610743145963844915335891*c_0101_3^3 - 2905574438829155692074869539807246660286004933/14901167349678302887\ 610743145963844915335891*c_0101_3^2 + 636574910533727523946506562448421023856706825/298023346993566057752\ 21486291927689830671782*c_0101_3 + 124291120952258028615666734936557657127037114/149011673496783028876\ 10743145963844915335891, c_0011_4 + 86446654597345348887532629751796633433994609/238418677594852\ 846201771890335421518645374256*c_0101_3^23 - 14421076292451880933932464568827339436087043/1192093387974264231008\ 85945167710759322687128*c_0101_3^22 - 3358622750126379945075952666264347282889180503/23841867759485284620\ 1771890335421518645374256*c_0101_3^21 - 1212288450913972315390848462466417447789189521/23841867759485284620\ 1771890335421518645374256*c_0101_3^20 + 45839182364770971334516112971320133878963404033/2384186775948528462\ 01771890335421518645374256*c_0101_3^19 + 7829117390697247576899610352630943693616363795/23841867759485284620\ 1771890335421518645374256*c_0101_3^18 - 362101632460754151318214130473045032377105316223/238418677594852846\ 201771890335421518645374256*c_0101_3^17 + 94472933952497067532467977533180671392988982325/2384186775948528462\ 01771890335421518645374256*c_0101_3^16 + 1753543748357446437596362162237231849614906158351/23841867759485284\ 6201771890335421518645374256*c_0101_3^15 - 651278181598808910178199296334853387781362524299/119209338797426423\ 100885945167710759322687128*c_0101_3^14 - 4522676677612741894082762438710229957986414887595/23841867759485284\ 6201771890335421518645374256*c_0101_3^13 + 2500302285331006124141936349062138654899733423581/11920933879742642\ 3100885945167710759322687128*c_0101_3^12 + 6258217056689462139404812678621799873583924146051/23841867759485284\ 6201771890335421518645374256*c_0101_3^11 - 9546870085381719288418880079673237396751648861743/23841867759485284\ 6201771890335421518645374256*c_0101_3^10 - 953343758022819187055553632733599413153973719025/596046693987132115\ 50442972583855379661343564*c_0101_3^9 + 9434513528187195524384986144203454464845838571483/23841867759485284\ 6201771890335421518645374256*c_0101_3^8 + 228306144974459647625844802482790147255045416099/238418677594852846\ 201771890335421518645374256*c_0101_3^7 - 2413372110831814149407845071514873185618240124189/11920933879742642\ 3100885945167710759322687128*c_0101_3^6 + 651454958970368195779753173834982817307098534139/238418677594852846\ 201771890335421518645374256*c_0101_3^5 + 1235375317665033791691823781568299447225197441701/23841867759485284\ 6201771890335421518645374256*c_0101_3^4 - 26658734112677780916410215752370101251754885699/2980233469935660577\ 5221486291927689830671782*c_0101_3^3 - 9167908230293004814981680795391293744195719474/14901167349678302887\ 610743145963844915335891*c_0101_3^2 + 2296305498737302349793373378029381128973782509/29802334699356605775\ 221486291927689830671782*c_0101_3 + 417276257017682058810404925872623277918636130/149011673496783028876\ 10743145963844915335891, c_0101_0 + 6769593004053778901461111938148127330283901/2384186775948528\ 46201771890335421518645374256*c_0101_3^23 - 290135849364910148915856850428250986236223/298023346993566057752214\ 86291927689830671782*c_0101_3^22 - 263195806104518425076170182907465986699575659/238418677594852846201\ 771890335421518645374256*c_0101_3^21 - 92555762098613935323383043318563541792366039/2384186775948528462017\ 71890335421518645374256*c_0101_3^20 + 3597779706156353239456715053338491572469290587/23841867759485284620\ 1771890335421518645374256*c_0101_3^19 + 587070707596560240703683758988320640179154449/238418677594852846201\ 771890335421518645374256*c_0101_3^18 - 28440853277747060251789942512334121314440086101/2384186775948528462\ 01771890335421518645374256*c_0101_3^17 + 7610920674879559036965167821995462895710166091/23841867759485284620\ 1771890335421518645374256*c_0101_3^16 + 137751024427949543717790875406998523597614573229/238418677594852846\ 201771890335421518645374256*c_0101_3^15 - 12915811993660679584744132604056430648236743549/2980233469935660577\ 5221486291927689830671782*c_0101_3^14 - 354897871728921604658435706730950409375912469807/238418677594852846\ 201771890335421518645374256*c_0101_3^13 + 24793624483455399716699239685686208582136025462/1490116734967830288\ 7610743145963844915335891*c_0101_3^12 + 486473036434655417628434485305349593140074938215/238418677594852846\ 201771890335421518645374256*c_0101_3^11 - 756450959859950095259320225588553105132120941921/238418677594852846\ 201771890335421518645374256*c_0101_3^10 - 140426646644709303194043388955698858721566091857/119209338797426423\ 100885945167710759322687128*c_0101_3^9 + 741771475501851733210323185673655403878214694163/238418677594852846\ 201771890335421518645374256*c_0101_3^8 - 13730859972020486686180313002152394526260208191/2384186775948528462\ 01771890335421518645374256*c_0101_3^7 - 91163800848193878310530390892182159592822305049/5960466939871321155\ 0442972583855379661343564*c_0101_3^6 + 74964782727854098806244595374210935291697440695/2384186775948528462\ 01771890335421518645374256*c_0101_3^5 + 79812614829353955905247168491202435737118190915/2384186775948528462\ 01771890335421518645374256*c_0101_3^4 - 11794066040878597106786401246265717638540388567/1192093387974264231\ 00885945167710759322687128*c_0101_3^3 - 1396947505160650098561154854658491706621820365/59604669398713211550\ 442972583855379661343564*c_0101_3^2 + 121391154053652774643707907879884474502595709/149011673496783028876\ 10743145963844915335891*c_0101_3 + 9010743192591268833380363705555496831102521/14901167349678302887610\ 743145963844915335891, c_0101_1 + 52043142925586070304347660484860574663084641/238418677594852\ 846201771890335421518645374256*c_0101_3^23 - 1899170988850194731955175072430778074341653/29802334699356605775221\ 486291927689830671782*c_0101_3^22 - 2021430389788526291445024799481563396192719387/23841867759485284620\ 1771890335421518645374256*c_0101_3^21 - 813977287369755314298676605927763269142979595/238418677594852846201\ 771890335421518645374256*c_0101_3^20 + 27516768239423358620311980016086965882003365875/2384186775948528462\ 01771890335421518645374256*c_0101_3^19 + 5822792275812512732797411220612795344777026521/23841867759485284620\ 1771890335421518645374256*c_0101_3^18 - 217149575424946375628046179826539093145107603997/238418677594852846\ 201771890335421518645374256*c_0101_3^17 + 48214758433313866777076822928185158274868106299/2384186775948528462\ 01771890335421518645374256*c_0101_3^16 + 1053025809072099648218507687870003987034323696349/23841867759485284\ 6201771890335421518645374256*c_0101_3^15 - 185314689069785694412851615424062619773970119631/596046693987132115\ 50442972583855379661343564*c_0101_3^14 - 2730993601926072706255326355674617908044078333959/23841867759485284\ 6201771890335421518645374256*c_0101_3^13 + 361322084002851163845506538178980643886061722741/298023346993566057\ 75221486291927689830671782*c_0101_3^12 + 3827118561536437000368027512680304851245843327183/23841867759485284\ 6201771890335421518645374256*c_0101_3^11 - 5555225115477441174414623460801116121205427810109/23841867759485284\ 6201771890335421518645374256*c_0101_3^10 - 1216555279511551090751074231144099265655379142235/11920933879742642\ 3100885945167710759322687128*c_0101_3^9 + 5511752376583949197717398432232460069690164475771/23841867759485284\ 6201771890335421518645374256*c_0101_3^8 + 286370417571704889862679358291669687568400619045/238418677594852846\ 201771890335421518645374256*c_0101_3^7 - 176900540867859664998358391337798818208154907342/149011673496783028\ 87610743145963844915335891*c_0101_3^6 + 315903305013107490789166631389761632578199220951/238418677594852846\ 201771890335421518645374256*c_0101_3^5 + 727081989569858875976371927085529142797922713527/238418677594852846\ 201771890335421518645374256*c_0101_3^4 - 56152433373888745200002152113784299340049759441/1192093387974264231\ 00885945167710759322687128*c_0101_3^3 - 10787656872953339994320257576702259244685719011/2980233469935660577\ 5221486291927689830671782*c_0101_3^2 + 617778496818414162837690093315807645381514113/149011673496783028876\ 10743145963844915335891*c_0101_3 + 249289919831014673928460176888525310505872684/149011673496783028876\ 10743145963844915335891, c_0101_3^24 - 39*c_0101_3^22 - 27*c_0101_3^21 + 527*c_0101_3^20 + 269*c_0101_3^19 - 4177*c_0101_3^18 - 321*c_0101_3^17 + 20793*c_0101_3^16 - 8240*c_0101_3^15 - 58059*c_0101_3^14 + 40456*c_0101_3^13 + 93715*c_0101_3^12 - 87085*c_0101_3^11 - 84290*c_0101_3^10 + 96431*c_0101_3^9 + 42157*c_0101_3^8 - 57244*c_0101_3^7 - 12701*c_0101_3^6 + 18071*c_0101_3^5 + 2770*c_0101_3^4 - 2836*c_0101_3^3 - 432*c_0101_3^2 + 176*c_0101_3 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB