Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 2951623490] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0698 geometric_solution 4.65543507 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 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 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.201287604938 0.198899657662 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 -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 2.533842318445 0.610625265425 0 0 4 3 2310 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0.856846653955 1.626375556501 5 5 2 4 0132 2310 0132 3012 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 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.297506880857 0.888604569289 6 6 3 2 0132 2310 1230 0132 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 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.297506880857 0.888604569289 3 6 6 3 0132 1230 3012 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.437965521554 0.539428187533 4 5 5 4 0132 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.437965521554 0.539428187533 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : 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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_5'], '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_0101_5'], 'c_1100_2' : d['c_0101_5'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : negation(d['c_0101_0']), '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_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), '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_5'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_2']), '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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 18601680955424725836875024553630080418443/2775997444451742632836154\ 1599533559693*c_0101_5^21 - 227396916647629391793839486847774693002\ 427/27759974444517426328361541599533559693*c_0101_5^20 - 943937233177059939353953356714269263692971/277599744445174263283615\ 41599533559693*c_0101_5^19 - 15512430998205070660809616243044569361\ 15648/27759974444517426328361541599533559693*c_0101_5^18 - 71195026923310281038754238828930132810077/1461051286553548754124291\ 663133345247*c_0101_5^17 + 1260994949284954559603906009308485408792\ 8/27759974444517426328361541599533559693*c_0101_5^16 + 5211349803212018745602796541038710692192335/27759974444517426328361\ 541599533559693*c_0101_5^15 - 8800449252622256021438447750861899839\ 165583/27759974444517426328361541599533559693*c_0101_5^14 - 4413427363678525393287585187331353188076152/27759974444517426328361\ 541599533559693*c_0101_5^13 - 1105298760677658310975983055568429551\ 9291290/27759974444517426328361541599533559693*c_0101_5^12 - 31798196658736792239317733147056404054666296/2775997444451742632836\ 1541599533559693*c_0101_5^11 + 446852243484520638626724719570440733\ 6899224/27759974444517426328361541599533559693*c_0101_5^10 + 16092573796704833846205599932408710078497552/2775997444451742632836\ 1541599533559693*c_0101_5^9 + 7107282175865055273533372968762114236\ 109753/27759974444517426328361541599533559693*c_0101_5^8 + 16252847565073946432036555063274695644110487/2775997444451742632836\ 1541599533559693*c_0101_5^7 - 7231327425087685597626046807061661321\ 686779/27759974444517426328361541599533559693*c_0101_5^6 + 718204420915621887922445886078696427699853/277599744445174263283615\ 41599533559693*c_0101_5^5 - 392844744540783830024710587958807966215\ 5938/27759974444517426328361541599533559693*c_0101_5^4 + 308159568635604587728416818301543333203305/277599744445174263283615\ 41599533559693*c_0101_5^3 + 310400821459786712002986598375711447042\ 367/27759974444517426328361541599533559693*c_0101_5^2 - 376753172757127069821455827520252448439726/277599744445174263283615\ 41599533559693*c_0101_5 + 82572547546756459392513476356999825729534\ /27759974444517426328361541599533559693, c_0011_0 - 1, c_0011_3 + 2332887667339011645939445796391821792/1461051286553548754124\ 291663133345247*c_0101_5^21 + 2859085450529891418543584942965750471\ 1/1461051286553548754124291663133345247*c_0101_5^20 + 119265471608973971567844814272199891966/146105128655354875412429166\ 3133345247*c_0101_5^19 + 198210312901427238880214763159887045717/14\ 61051286553548754124291663133345247*c_0101_5^18 + 175697516810123874758664796217563237141/146105128655354875412429166\ 3133345247*c_0101_5^17 + 3928799627347348152973498945519404737/1461\ 051286553548754124291663133345247*c_0101_5^16 - 652973817964538952614984604322598419895/146105128655354875412429166\ 3133345247*c_0101_5^15 + 1084341049839721377698740858415390590376/1\ 461051286553548754124291663133345247*c_0101_5^14 + 588695407507141916025606838068248492705/146105128655354875412429166\ 3133345247*c_0101_5^13 + 1401624884337640866734238811626694207109/1\ 461051286553548754124291663133345247*c_0101_5^12 + 4032327661436846495760713302152679711506/14610512865535487541242916\ 63133345247*c_0101_5^11 - 434404658161484100687250830363174919067/1\ 461051286553548754124291663133345247*c_0101_5^10 - 2032186512611570358478751620009997664966/14610512865535487541242916\ 63133345247*c_0101_5^9 - 940449596236152002796930864717456113063/14\ 61051286553548754124291663133345247*c_0101_5^8 - 2056278117165278658197687714742571608516/14610512865535487541242916\ 63133345247*c_0101_5^7 + 844063796903748575838234526320279896872/14\ 61051286553548754124291663133345247*c_0101_5^6 - 63827552216877713923431721716094702928/1461051286553548754124291663\ 133345247*c_0101_5^5 + 484106815835746653706772409769011497264/1461\ 051286553548754124291663133345247*c_0101_5^4 - 25452699486954048413499742562372794838/1461051286553548754124291663\ 133345247*c_0101_5^3 - 42381145960138037170996687966324380585/14610\ 51286553548754124291663133345247*c_0101_5^2 + 46653812783914787904099068388791138505/1461051286553548754124291663\ 133345247*c_0101_5 - 8955999156869989450943434917757706274/14610512\ 86553548754124291663133345247, c_0011_4 + 2332887667339011645939445796391821792/1461051286553548754124\ 291663133345247*c_0101_5^21 + 2859085450529891418543584942965750471\ 1/1461051286553548754124291663133345247*c_0101_5^20 + 119265471608973971567844814272199891966/146105128655354875412429166\ 3133345247*c_0101_5^19 + 198210312901427238880214763159887045717/14\ 61051286553548754124291663133345247*c_0101_5^18 + 175697516810123874758664796217563237141/146105128655354875412429166\ 3133345247*c_0101_5^17 + 3928799627347348152973498945519404737/1461\ 051286553548754124291663133345247*c_0101_5^16 - 652973817964538952614984604322598419895/146105128655354875412429166\ 3133345247*c_0101_5^15 + 1084341049839721377698740858415390590376/1\ 461051286553548754124291663133345247*c_0101_5^14 + 588695407507141916025606838068248492705/146105128655354875412429166\ 3133345247*c_0101_5^13 + 1401624884337640866734238811626694207109/1\ 461051286553548754124291663133345247*c_0101_5^12 + 4032327661436846495760713302152679711506/14610512865535487541242916\ 63133345247*c_0101_5^11 - 434404658161484100687250830363174919067/1\ 461051286553548754124291663133345247*c_0101_5^10 - 2032186512611570358478751620009997664966/14610512865535487541242916\ 63133345247*c_0101_5^9 - 940449596236152002796930864717456113063/14\ 61051286553548754124291663133345247*c_0101_5^8 - 2056278117165278658197687714742571608516/14610512865535487541242916\ 63133345247*c_0101_5^7 + 844063796903748575838234526320279896872/14\ 61051286553548754124291663133345247*c_0101_5^6 - 63827552216877713923431721716094702928/1461051286553548754124291663\ 133345247*c_0101_5^5 + 484106815835746653706772409769011497264/1461\ 051286553548754124291663133345247*c_0101_5^4 - 25452699486954048413499742562372794838/1461051286553548754124291663\ 133345247*c_0101_5^3 - 42381145960138037170996687966324380585/14610\ 51286553548754124291663133345247*c_0101_5^2 + 46653812783914787904099068388791138505/1461051286553548754124291663\ 133345247*c_0101_5 - 8955999156869989450943434917757706274/14610512\ 86553548754124291663133345247, c_0101_0 + 3827112906464051102184792682691961857/1461051286553548754124\ 291663133345247*c_0101_5^21 + 4681321039212428394814899050495795080\ 7/1461051286553548754124291663133345247*c_0101_5^20 + 194547233830463915794088701883149808848/146105128655354875412429166\ 3133345247*c_0101_5^19 + 320506851028529416277973144803729643450/14\ 61051286553548754124291663133345247*c_0101_5^18 + 280256701052428023526503163060735067234/146105128655354875412429166\ 3133345247*c_0101_5^17 - 1403330531115495825563536964433224247/1461\ 051286553548754124291663133345247*c_0101_5^16 - 1073335723538265024324642774590782899620/14610512865535487541242916\ 63133345247*c_0101_5^15 + 1801888418156182132602776525409111550120/\ 1461051286553548754124291663133345247*c_0101_5^14 + 923105800442058416745781061589505031380/146105128655354875412429166\ 3133345247*c_0101_5^13 + 2278203370931319625928237363256518019777/1\ 461051286553548754124291663133345247*c_0101_5^12 + 6556408808608017352615314584421947022616/14610512865535487541242916\ 63133345247*c_0101_5^11 - 878756327977954524896657495515372955642/1\ 461051286553548754124291663133345247*c_0101_5^10 - 3333319540563708624240504066269300821601/14610512865535487541242916\ 63133345247*c_0101_5^9 - 1495604269228218745375056087105033130190/1\ 461051286553548754124291663133345247*c_0101_5^8 - 3357355074776400539527317768805349025286/14610512865535487541242916\ 63133345247*c_0101_5^7 + 1468609264552150350172885842488115577235/1\ 461051286553548754124291663133345247*c_0101_5^6 - 129626500931352285377177166685812058979/146105128655354875412429166\ 3133345247*c_0101_5^5 + 804720655351826357978234686825325751169/146\ 1051286553548754124291663133345247*c_0101_5^4 - 55015585093496639434653192838968357112/1461051286553548754124291663\ 133345247*c_0101_5^3 - 66194955232217513305061534167304580254/14610\ 51286553548754124291663133345247*c_0101_5^2 + 77920373762503222890412955258180201405/1461051286553548754124291663\ 133345247*c_0101_5 - 16216001887894338775382734633215092749/1461051\ 286553548754124291663133345247, c_0101_1 - 2147992522449452007150451805320412005/1461051286553548754124\ 291663133345247*c_0101_5^21 - 2615107036292689393193092029254445863\ 2/1461051286553548754124291663133345247*c_0101_5^20 - 107666421830510365987791172186846669001/146105128655354875412429166\ 3133345247*c_0101_5^19 - 173406516330232091831699649682965558656/14\ 61051286553548754124291663133345247*c_0101_5^18 - 146086674368830674510636417703014849693/146105128655354875412429166\ 3133345247*c_0101_5^17 + 11176122367255918527526300247900163858/146\ 1051286553548754124291663133345247*c_0101_5^16 + 603255222951233956604773379632149897990/146105128655354875412429166\ 3133345247*c_0101_5^15 - 1046641401653310833028115112007259024780/1\ 461051286553548754124291663133345247*c_0101_5^14 - 466073952137659656801886951720419187335/146105128655354875412429166\ 3133345247*c_0101_5^13 - 1240709228449617410710810304184531067752/1\ 461051286553548754124291663133345247*c_0101_5^12 - 3601893524453784746395476037841114697277/14610512865535487541242916\ 63133345247*c_0101_5^11 + 712680206834843747510783375272019206962/1\ 461051286553548754124291663133345247*c_0101_5^10 + 1870656645804728009304480441945930631141/14610512865535487541242916\ 63133345247*c_0101_5^9 + 720059957366501527662351140068035673791/14\ 61051286553548754124291663133345247*c_0101_5^8 + 1808097594883112433736003413647493825790/14610512865535487541242916\ 63133345247*c_0101_5^7 - 946256834485969065495859172492197306774/14\ 61051286553548754124291663133345247*c_0101_5^6 + 102070869213812221969201038154328504087/146105128655354875412429166\ 3133345247*c_0101_5^5 - 446338928888154248407971451303331516454/146\ 1051286553548754124291663133345247*c_0101_5^4 + 61085633584909583676823108130597600386/1461051286553548754124291663\ 133345247*c_0101_5^3 + 42035301029787050685036656149276520798/14610\ 51286553548754124291663133345247*c_0101_5^2 - 44345588207834830934707052650588950300/1461051286553548754124291663\ 133345247*c_0101_5 + 10096697087013392630749277908307324782/1461051\ 286553548754124291663133345247, c_0101_2 - 383490204047692238619682978523942379/14610512865535487541242\ 91663133345247*c_0101_5^21 - 4779750972423077364441367599119343047/\ 1461051286553548754124291663133345247*c_0101_5^20 - 20599056191908057421244099638434714926/1461051286553548754124291663\ 133345247*c_0101_5^19 - 36848896423506670228317094633155781337/1461\ 051286553548754124291663133345247*c_0101_5^18 - 36434738350142881526451169658115534854/1461051286553548754124291663\ 133345247*c_0101_5^17 - 7934627566573164156544417190278731528/14610\ 51286553548754124291663133345247*c_0101_5^16 + 106123234659231866168221033420799328158/146105128655354875412429166\ 3133345247*c_0101_5^15 - 155791384338338020327767901139296040597/14\ 61051286553548754124291663133345247*c_0101_5^14 - 129531135924571903709903058603069011194/146105128655354875412429166\ 3133345247*c_0101_5^13 - 257281614274379116594974393659180643054/14\ 61051286553548754124291663133345247*c_0101_5^12 - 715229995524068479461554915710840451090/146105128655354875412429166\ 3133345247*c_0101_5^11 - 75300547411931076584718183375443539815/146\ 1051286553548754124291663133345247*c_0101_5^10 + 323463543911032900959995324766693914872/146105128655354875412429166\ 3133345247*c_0101_5^9 + 227111618446798315532916245491638790322/146\ 1051286553548754124291663133345247*c_0101_5^8 + 386510791801043837803499379551953345273/146105128655354875412429166\ 3133345247*c_0101_5^7 - 60896910492384920938874546719839186347/1461\ 051286553548754124291663133345247*c_0101_5^6 - 6141865282828013581001455641698624530/14610512865535487541242916631\ 33345247*c_0101_5^5 - 83621099663665362178454259314175406075/146105\ 1286553548754124291663133345247*c_0101_5^4 - 15227952255659437524065095565106676304/1461051286553548754124291663\ 133345247*c_0101_5^3 + 3027831316124807818619379216672652301/146105\ 1286553548754124291663133345247*c_0101_5^2 - 6586948759664183250512218658963656006/14610512865535487541242916631\ 33345247*c_0101_5 + 762103113149366384175978495351585566/1461051286\ 553548754124291663133345247, c_0101_5^22 + 12*c_0101_5^21 + 48*c_0101_5^20 + 72*c_0101_5^19 + 54*c_0101_5^18 - 17*c_0101_5^17 - 280*c_0101_5^16 + 536*c_0101_5^15 + 131*c_0101_5^14 + 541*c_0101_5^13 + 1576*c_0101_5^12 - 624*c_0101_5^11 - 811*c_0101_5^10 - 188*c_0101_5^9 - 788*c_0101_5^8 + 585*c_0101_5^7 - 126*c_0101_5^6 + 220*c_0101_5^5 - 64*c_0101_5^4 - 13*c_0101_5^3 + 24*c_0101_5^2 - 9*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB