Magma V2.19-8 Tue Aug 20 2013 16:16:58 on localhost [Seed = 1612840116] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1220 geometric_solution 5.11606130 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 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 -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 2.559296543711 1.244333770189 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 0 0 0 1 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 1 0 -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.103455337961 0.905031998416 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 -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.412816207033 0.094445909470 4 5 6 2 1230 0132 0132 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 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.925186410085 1.323976076242 5 3 2 6 2310 3012 0132 0132 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925186410085 1.323976076242 5 3 4 5 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.073027678820 0.646644607885 6 6 4 3 1230 3012 0132 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.113790165432 0.897947282812 ==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' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_1100_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1100_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_1100_2'], 'c_1100_2' : d['c_1100_2'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_0011_6, c_0101_1, c_0101_5, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 37706242605178340638291803485772499916587/3190349260220908638084955\ 810730228340425664*c_1100_2^14 - 3660904432807770250736196287379659\ 0885527/265862438351742386507079650894185695035472*c_1100_2^13 - 1437320192522611403295356586654324767165941/31903492602209086380849\ 55810730228340425664*c_1100_2^12 + 10908728096375499050912352356662204012179101/3190349260220908638084\ 955810730228340425664*c_1100_2^11 + 7752249086514732109685571534870973496314867/31903492602209086380849\ 55810730228340425664*c_1100_2^10 - 38712137960778722805887846471690202879537365/7975873150552271595212\ 38952682557085106416*c_1100_2^9 + 279689562031079223951630187396883\ 9000954789/132931219175871193253539825447092847517736*c_1100_2^8 + 34766520215367316003608657157189896172948939/9969841438190339494015\ 4869085319635638302*c_1100_2^7 - 6200346200041917973051411351743940\ 55705196535/3190349260220908638084955810730228340425664*c_1100_2^6 - 1624913331431352504957845253144026482087234733/15951746301104543190\ 42477905365114170212832*c_1100_2^5 + 2498804549476601556803172832722211092397558489/31903492602209086380\ 84955810730228340425664*c_1100_2^4 + 2174119600179291473609990588122646178698665817/31903492602209086380\ 84955810730228340425664*c_1100_2^3 - 1205634337765430353027323090862896703595575825/15951746301104543190\ 42477905365114170212832*c_1100_2^2 + 1357033842124328721600785706793554596671967/22155203195978532208923\ 304241182141252956*c_1100_2 + 6384922203068439827894560612650377624\ 917079/39387027903961835038085874206546028894144, c_0011_0 - 1, c_0011_1 - 173222305014621213978825623/2156198165111765137380779499453*\ c_1100_2^14 + 637722729995296674366253028/7187327217039217124602598\ 33151*c_1100_2^13 + 7801925046555722274347832521/215619816511176513\ 7380779499453*c_1100_2^12 - 45941406174039479392807205047/215619816\ 5111765137380779499453*c_1100_2^11 - 63790005402013885520450075228/2156198165111765137380779499453*c_110\ 0_2^10 + 687842016582380615747002166983/215619816511176513738077949\ 9453*c_1100_2^9 + 30296009835445079113391068348/7187327217039217124\ 60259833151*c_1100_2^8 - 5233310695287914822322215385547/2156198165\ 111765137380779499453*c_1100_2^7 + 92998358295830610394154208725/2156198165111765137380779499453*c_110\ 0_2^6 + 15996260986027306678209771781265/21561981651117651373807794\ 99453*c_1100_2^5 - 4597235880194014162220587867082/2156198165111765\ 137380779499453*c_1100_2^4 - 15463373168738208667339272673468/21561\ 98165111765137380779499453*c_1100_2^3 + 7843860584291999621902049825464/2156198165111765137380779499453*c_1\ 100_2^2 + 337843077494842303297442272367/23957757390130723748675327\ 7717*c_1100_2 - 28926341161921209040995914490/266197304334785819429\ 72586413, c_0011_3 - 56185286584780253706752729/718732721703921712460259833151*c_\ 1100_2^14 + 214998517106733868173285055/239577573901307237486753277\ 717*c_1100_2^13 + 2289830114404126549291695161/71873272170392171246\ 0259833151*c_1100_2^12 - 16265685253161676391251290961/718732721703\ 921712460259833151*c_1100_2^11 - 16157605876220724569418768737/7187\ 32721703921712460259833151*c_1100_2^10 + 236884959634150273432893835633/718732721703921712460259833151*c_110\ 0_2^9 - 4916072415671064763009686026/79859191300435745828917759239*\ c_1100_2^8 - 1800338182742616463134975906463/7187327217039217124602\ 59833151*c_1100_2^7 + 567039926665411100727924028700/71873272170392\ 1712460259833151*c_1100_2^6 + 5911013383873212954215429458607/71873\ 2721703921712460259833151*c_1100_2^5 - 2474029468260901566237713708378/718732721703921712460259833151*c_11\ 00_2^4 - 5819340656197749330193807653478/71873272170392171246025983\ 3151*c_1100_2^3 + 3251190458828162868948026466604/71873272170392171\ 2460259833151*c_1100_2^2 + 251958843256315719579901457822/239577573\ 901307237486753277717*c_1100_2 - 49639635480472300188573951577/2661\ 9730433478581942972586413, c_0011_6 - 2108105151722101065251252761464682/2930582433330493678429008\ 4975108652451*c_1100_2^14 + 7175881691072208040899492708947749/9768\ 608111101645594763361658369550817*c_1100_2^13 + 114199864002809735578914777553877866/293058243333049367842900849751\ 08652451*c_1100_2^12 - 480162801951089427277980306859398188/2930582\ 4333304936784290084975108652451*c_1100_2^11 - 1217452435023101826262498063035595735/29305824333304936784290084975\ 108652451*c_1100_2^10 + 7759485512186300668486338110391587117/29305\ 824333304936784290084975108652451*c_1100_2^9 + 2538464507669194770148848176538522470/97686081111016455947633616583\ 69550817*c_1100_2^8 - 62750987574276804004093424249681502302/293058\ 24333304936784290084975108652451*c_1100_2^7 - 45885201634092469141869872760294026243/2930582433330493678429008497\ 5108652451*c_1100_2^6 + 191982357741379018208911710178589077216/293\ 05824333304936784290084975108652451*c_1100_2^5 + 64074581127080736815582342318826336908/2930582433330493678429008497\ 5108652451*c_1100_2^4 - 225095355003945391452301281339594742643/293\ 05824333304936784290084975108652451*c_1100_2^3 + 43248622891112132299671508599709507529/2930582433330493678429008497\ 5108652451*c_1100_2^2 + 3583781646993260105747059293761317005/10854\ 00901233516177195929073152172313*c_1100_2 - 1458421243067516349840369965242265868/10854009012335161771959290731\ 52172313, c_0101_1 - 82057722168652872486427982009285/503104280400084751661632360\ 087702188*c_1100_2^14 + 314403956744514578174488479117949/167701426\ 800028250553877453362567396*c_1100_2^13 + 1619793281184568470343748149087357/25155214020004237583081618004385\ 1094*c_1100_2^12 - 22846385159588008779281950885788061/503104280400\ 084751661632360087702188*c_1100_2^11 - 4691852128168156713583604991439166/12577607010002118791540809002192\ 5547*c_1100_2^10 + 81312366525041683543502693121196030/125776070100\ 021187915408090021925547*c_1100_2^9 - 6065401857876997053497346932815177/27950237800004708425646242227094\ 566*c_1100_2^8 - 1152713044099076285182434953114929751/251552140200\ 042375830816180043851094*c_1100_2^7 + 1027703347640005446115147018441858265/50310428040008475166163236008\ 7702188*c_1100_2^6 + 6254282813998014734230248594353774549/50310428\ 0400084751661632360087702188*c_1100_2^5 - 2308371405543791253750155778248074231/25155214020004237583081618004\ 3851094*c_1100_2^4 - 2868445699561680956419900310805366667/50310428\ 0400084751661632360087702188*c_1100_2^3 + 4162330119345046329662080261170849091/50310428040008475166163236008\ 7702188*c_1100_2^2 - 415745984662352660553204152957824471/167701426\ 800028250553877453362567396*c_1100_2 - 9667634787530615155379652189487529/93167459333349028085487474090315\ 22, c_0101_5 + 95903206930254566506550318735318/293058243333049367842900849\ 75108652451*c_1100_2^14 + 378650779967076252081917521489210/9768608\ 111101645594763361658369550817*c_1100_2^13 - 28449243554735399846510996727685499/2930582433330493678429008497510\ 8652451*c_1100_2^12 - 72009297552629829453671883661361285/293058243\ 33304936784290084975108652451*c_1100_2^11 + 583670803248847054641200215322492105/293058243333049367842900849751\ 08652451*c_1100_2^10 + 326765162404209497933288750232599915/2930582\ 4333304936784290084975108652451*c_1100_2^9 - 2693401119325455202893165225198251557/97686081111016455947633616583\ 69550817*c_1100_2^8 + 2429048918369771312866750362639335857/2930582\ 4333304936784290084975108652451*c_1100_2^7 + 56402513861646090423849273890246643619/2930582433330493678429008497\ 5108652451*c_1100_2^6 - 10733290419065291066719525010793059480/2930\ 5824333304936784290084975108652451*c_1100_2^5 - 128065144162057651480215727280374840915/293058243333049367842900849\ 75108652451*c_1100_2^4 + 77345213539842305012472603842633499619/293\ 05824333304936784290084975108652451*c_1100_2^3 + 19474898640424524906053050109107318592/2930582433330493678429008497\ 5108652451*c_1100_2^2 - 2398593370242326702276978145096012185/10854\ 00901233516177195929073152172313*c_1100_2 + 1099488611552732384984081596175883204/10854009012335161771959290731\ 52172313, c_1100_2^15 - 12*c_1100_2^14 - 34*c_1100_2^13 + 302*c_1100_2^12 + 103*c_1100_2^11 - 4163*c_1100_2^10 + 3216*c_1100_2^9 + 28676*c_1100_2^8 - 26545*c_1100_2^7 - 79078*c_1100_2^6 + 94858*c_1100_2^5 + 30998*c_1100_2^4 - 79454*c_1100_2^3 + 28179*c_1100_2^2 + 10368*c_1100_2 - 5103 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB