Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 2850567496] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0570 geometric_solution 4.59210710 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1.538182088607 0.163663666559 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 0 0 0 1 -1 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 1.283294062391 0.306679170962 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629900669941 0.742789283553 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 1 -1 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 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.339582905635 0.396710555672 3 3 2 5 2031 1302 0132 2310 0 0 0 0 0 0 1 -1 -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 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.339582905635 0.396710555672 4 3 6 6 3201 0132 0132 3201 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 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.899007869421 1.119343200247 6 5 6 5 2310 2310 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 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 -1 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.360811781300 0.752565234722 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 102247696748211051047378794065730/712203782269664996394311291581*c_\ 0101_5^20 + 30998236466170750260337212243691/7122037822696649963943\ 11291581*c_0101_5^19 + 262051255689481529610322152752676/1017433974\ 67094999484901613083*c_0101_5^18 + 3531543861915080628590472967770360/712203782269664996394311291581*c\ _0101_5^17 - 2969421034891946149868650837691143/7122037822696649963\ 94311291581*c_0101_5^16 - 8496787210371006854255534472831887/712203\ 782269664996394311291581*c_0101_5^15 - 16004824935452023245524291905377404/712203782269664996394311291581*\ c_0101_5^14 - 29370587924461618245027608288295302/71220378226966499\ 6394311291581*c_0101_5^13 + 22925406767516482441327425534215492/101\ 743397467094999484901613083*c_0101_5^12 - 17714889013987922331719148098492812/712203782269664996394311291581*\ c_0101_5^11 - 299311446922247455360098744873969009/7122037822696649\ 96394311291581*c_0101_5^10 + 35557968987218037294602886896950997/10\ 1743397467094999484901613083*c_0101_5^9 + 16399003849301876695251456524179391/101743397467094999484901613083*\ c_0101_5^8 - 264041212877793805887321698213411618/71220378226966499\ 6394311291581*c_0101_5^7 + 60110115818024590083209462505067096/7122\ 03782269664996394311291581*c_0101_5^6 + 104753174804134373871171758471853557/712203782269664996394311291581\ *c_0101_5^5 - 50451149462530434808526521714147604/71220378226966499\ 6394311291581*c_0101_5^4 - 18493995455667793592736823439321331/7122\ 03782269664996394311291581*c_0101_5^3 + 11059002099019553697451941270137282/712203782269664996394311291581*\ c_0101_5^2 + 1862811759678689299206088778719019/7122037822696649963\ 94311291581*c_0101_5 - 484177181520275440096038474785496/7122037822\ 69664996394311291581, c_0011_0 - 1, c_0011_1 + 205060180010281110804005270871/10174339746709499948490161308\ 3*c_0101_5^20 - 106036120122321694142414439230/10174339746709499948\ 4901613083*c_0101_5^19 - 3640269322265522578535707321311/1017433974\ 67094999484901613083*c_0101_5^18 - 6319499533121115815959811222872/101743397467094999484901613083*c_01\ 01_5^17 + 7029512979912634645766826409673/1017433974670949994849016\ 13083*c_0101_5^16 + 15176092501285191735539206002459/10174339746709\ 4999484901613083*c_0101_5^15 + 29614147294638168401986510742901/101\ 743397467094999484901613083*c_0101_5^14 + 53511586018313624394671769174808/101743397467094999484901613083*c_0\ 101_5^13 - 331430232993018026984209639912864/1017433974670949994849\ 01613083*c_0101_5^12 + 109520265865771401069767349586665/1017433974\ 67094999484901613083*c_0101_5^11 + 549163039362427155086528295544267/101743397467094999484901613083*c_\ 0101_5^10 - 596401621940598530482748724031721/101743397467094999484\ 901613083*c_0101_5^9 - 66040274880623020332624977132466/10174339746\ 7094999484901613083*c_0101_5^8 + 481410996473863798226210362542575/\ 101743397467094999484901613083*c_0101_5^7 - 205904554862330599593393880747968/101743397467094999484901613083*c_\ 0101_5^6 - 133214585382787780627359365242029/1017433974670949994849\ 01613083*c_0101_5^5 + 101495999128315062555094700587807/10174339746\ 7094999484901613083*c_0101_5^4 + 13691239445385230019056288199365/1\ 01743397467094999484901613083*c_0101_5^3 - 16194340556422364980577821945782/101743397467094999484901613083*c_0\ 101_5^2 - 1763562508649221455576937772322/1017433974670949994849016\ 13083*c_0101_5 + 312857606443116162899307794997/1017433974670949994\ 84901613083, c_0011_4 + 598622086255959281408726964961/10174339746709499948490161308\ 3*c_0101_5^20 - 231172061468800120559193117336/10174339746709499948\ 4901613083*c_0101_5^19 - 10677319979704090657929772575703/101743397\ 467094999484901613083*c_0101_5^18 - 19823606260051904370200343866778/101743397467094999484901613083*c_0\ 101_5^17 + 18280387502715151462324639570016/10174339746709499948490\ 1613083*c_0101_5^16 + 47107056000634659434401548965560/101743397467\ 094999484901613083*c_0101_5^15 + 91509634593150121282154982733932/1\ 01743397467094999484901613083*c_0101_5^14 + 166961569304877409714771571181554/101743397467094999484901613083*c_\ 0101_5^13 - 947794542130552004784704089253703/101743397467094999484\ 901613083*c_0101_5^12 + 192259237184035074851628884451085/101743397\ 467094999484901613083*c_0101_5^11 + 1664742592427759702714844157701266/101743397467094999484901613083*c\ _0101_5^10 - 1551858302221190759113379741474265/1017433974670949994\ 84901613083*c_0101_5^9 - 445908269026057418928272816743271/10174339\ 7467094999484901613083*c_0101_5^8 + 1434451930160344244580569208320600/101743397467094999484901613083*c\ _0101_5^7 - 436894510796972364427823937993756/101743397467094999484\ 901613083*c_0101_5^6 - 496430206630870667225400256486630/1017433974\ 67094999484901613083*c_0101_5^5 + 274538003132092776264085292599163\ /101743397467094999484901613083*c_0101_5^4 + 78999305022079033892480679703926/101743397467094999484901613083*c_0\ 101_5^3 - 52071897052033427658715861080716/101743397467094999484901\ 613083*c_0101_5^2 - 8940360659263002267318030607528/101743397467094\ 999484901613083*c_0101_5 + 1519159126761609295470793364436/10174339\ 7467094999484901613083, c_0011_6 + 321711612560838821727340370896/10174339746709499948490161308\ 3*c_0101_5^20 - 122453743074025085519197249352/10174339746709499948\ 4901613083*c_0101_5^19 - 5738858315621083150288348732620/1017433974\ 67094999484901613083*c_0101_5^18 - 10685266144664371572309839713366/101743397467094999484901613083*c_0\ 101_5^17 + 9765644446014867474328392029764/101743397467094999484901\ 613083*c_0101_5^16 + 25367350892290676982404020122971/1017433974670\ 94999484901613083*c_0101_5^15 + 49295835957734286618248746416216/10\ 1743397467094999484901613083*c_0101_5^14 + 89951684004143846891495271457227/101743397467094999484901613083*c_0\ 101_5^13 - 508876222159391021640205718020924/1017433974670949994849\ 01613083*c_0101_5^12 + 100583912522742790227005998119799/1017433974\ 67094999484901613083*c_0101_5^11 + 895465386211727304842088405418334/101743397467094999484901613083*c_\ 0101_5^10 - 828678672730416309251917534482265/101743397467094999484\ 901613083*c_0101_5^9 - 245310158456394540683068460766358/1017433974\ 67094999484901613083*c_0101_5^8 + 769326668211047042779754143795285\ /101743397467094999484901613083*c_0101_5^7 - 229210609945845793835592538341195/101743397467094999484901613083*c_\ 0101_5^6 - 269214496294151638753969225369980/1017433974670949994849\ 01613083*c_0101_5^5 + 145946868097649004275825342982131/10174339746\ 7094999484901613083*c_0101_5^4 + 43966681606809020017313694335423/1\ 01743397467094999484901613083*c_0101_5^3 - 27870332001474453704370229877516/101743397467094999484901613083*c_0\ 101_5^2 - 5016697329954976528705538420662/1017433974670949994849016\ 13083*c_0101_5 + 835338884767012647256208682385/1017433974670949994\ 84901613083, c_0101_0 + 292134035518947905694802006113/10174339746709499948490161308\ 3*c_0101_5^20 - 114021492931588798040705945030/10174339746709499948\ 4901613083*c_0101_5^19 - 5218418436970090707822452718873/1017433974\ 67094999484901613083*c_0101_5^18 - 9645614593138578371998609362791/101743397467094999484901613083*c_01\ 01_5^17 + 9101906734731941203135334260130/1017433974670949994849016\ 13083*c_0101_5^16 + 23160702165857897100855106419911/10174339746709\ 4999484901613083*c_0101_5^15 + 44263327051056674675641649226605/101\ 743397467094999484901613083*c_0101_5^14 + 80875314337346882024577397905490/101743397467094999484901613083*c_0\ 101_5^13 - 464009777972106191027181820191878/1017433974670949994849\ 01613083*c_0101_5^12 + 93776195642719009120852731165316/10174339746\ 7094999484901613083*c_0101_5^11 + 825534350726231807772328547161114\ /101743397467094999484901613083*c_0101_5^10 - 770376978412976760782295817313132/101743397467094999484901613083*c_\ 0101_5^9 - 228584875363944382819886296543335/1017433974670949994849\ 01613083*c_0101_5^8 + 727498687598027780917473590965814/10174339746\ 7094999484901613083*c_0101_5^7 - 228622612358418515695828741718113/\ 101743397467094999484901613083*c_0101_5^6 - 248413679177049656029959583194849/101743397467094999484901613083*c_\ 0101_5^5 + 144192233224612382724278781992072/1017433974670949994849\ 01613083*c_0101_5^4 + 36194131183350743062565952673329/101743397467\ 094999484901613083*c_0101_5^3 - 26666914825535321894388250974706/10\ 1743397467094999484901613083*c_0101_5^2 - 3906134902976390911353088064378/101743397467094999484901613083*c_01\ 01_5 + 785913926972547284742370116154/10174339746709499948490161308\ 3, c_0101_2 - 4386422800341680917506338638/101743397467094999484901613083*\ c_0101_5^20 + 14114172918813113862190529088/10174339746709499948490\ 1613083*c_0101_5^19 + 62390748899443417842205251962/101743397467094\ 999484901613083*c_0101_5^18 - 68927116876529302709739866039/1017433\ 97467094999484901613083*c_0101_5^17 - 352298108000442504839566134237/101743397467094999484901613083*c_010\ 1_5^16 + 347000906694719969314604289561/101743397467094999484901613\ 083*c_0101_5^15 - 80281112843980390312514681942/1017433974670949994\ 84901613083*c_0101_5^14 - 14137913633616679415312538065/10174339746\ 7094999484901613083*c_0101_5^13 + 8854004460407138283671471351307/1\ 01743397467094999484901613083*c_0101_5^12 - 23895662163626175136935763059503/101743397467094999484901613083*c_0\ 101_5^11 + 9707557971731704091464470890297/101743397467094999484901\ 613083*c_0101_5^10 + 36722518067258262559377429087365/1017433974670\ 94999484901613083*c_0101_5^9 - 53802069632138213044565299230518/101\ 743397467094999484901613083*c_0101_5^8 + 15350778828985801414701220023660/101743397467094999484901613083*c_0\ 101_5^7 + 26061401949893738808312827517633/101743397467094999484901\ 613083*c_0101_5^6 - 25278051678573859351160467289930/10174339746709\ 4999484901613083*c_0101_5^5 + 2246101671624359209074805322134/10174\ 3397467094999484901613083*c_0101_5^4 + 6421557548480767723267599783446/101743397467094999484901613083*c_01\ 01_5^3 - 2247197360572130042554336001854/10174339746709499948490161\ 3083*c_0101_5^2 - 301135210475436310546642203573/101743397467094999\ 484901613083*c_0101_5 + 151113880242708726648740190321/101743397467\ 094999484901613083, c_0101_5^21 - 18*c_0101_5^19 - 40*c_0101_5^18 + 18*c_0101_5^17 + 91*c_0101_5^16 + 183*c_0101_5^15 + 337*c_0101_5^14 - 1478*c_0101_5^13 - 295*c_0101_5^12 + 2926*c_0101_5^11 - 1522*c_0101_5^10 - 1778*c_0101_5^9 + 2140*c_0101_5^8 + 198*c_0101_5^7 - 1133*c_0101_5^6 + 147*c_0101_5^5 + 314*c_0101_5^4 - 39*c_0101_5^3 - 49*c_0101_5^2 - 3*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB