Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 678016198] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1913 geometric_solution 5.51982004 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440180333596 0.303617010739 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.020415486357 0.758196204874 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 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 -1 0 1 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 1.157567547897 0.923492549247 5 2 4 1 1023 1230 1023 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 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 1.157567547897 0.923492549247 4 2 3 4 3201 0132 1023 2310 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 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.031608805086 0.725744923748 6 3 2 6 0132 1023 0132 3201 0 0 0 0 0 0 -1 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 -1 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.733028494935 0.328311536916 5 5 6 6 0132 2310 1230 3012 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 1.441913878353 0.575809085828 ==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' : d['c_0101_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), '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' : 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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), '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_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 67789376296245547090863735231006725625804928257/1514182717060020342\ 015293633064319170109743116*c_0101_6^20 - 161512021394710327765516233183663862979451084951/378545679265005085\ 503823408266079792527435779*c_0101_6^19 + 438016933466003098948637640809884269308549446513/757091358530010171\ 007646816532159585054871558*c_0101_6^18 + 253302957856063560401741601405717753128216552149/540779541807150122\ 14831915466582827503919397*c_0101_6^17 + 10771667316540536692310947836770696456326540529675/7570913585300101\ 71007646816532159585054871558*c_0101_6^16 + 3253063043308660769919841760593390518360611826555/15141827170600203\ 42015293633064319170109743116*c_0101_6^15 - 69219974423075663845743606997458464791112820859513/1514182717060020\ 342015293633064319170109743116*c_0101_6^14 + 34661462428292080738144866036006592441156243471161/1514182717060020\ 342015293633064319170109743116*c_0101_6^13 + 38432895933014844819608066249950608441990959353934/3785456792650050\ 85503823408266079792527435779*c_0101_6^12 + 388882055974961888864661560683241104548524103765/890695715917659024\ 71487860768489362947631948*c_0101_6^11 - 3132135852358835548489381149965320809239063546054/22267392897941475\ 617871965192122340736907987*c_0101_6^10 - 211952077769721190486729722598934855167908681010019/151418271706002\ 0342015293633064319170109743116*c_0101_6^9 + 98602060631644084761348880451904610912522522942451/2163118167228600\ 48859327661866331310015677588*c_0101_6^8 - 76958389679863563401397148966655015055813306517287/7570913585300101\ 71007646816532159585054871558*c_0101_6^7 - 795759451781808778516940886390297275428223403654889/151418271706002\ 0342015293633064319170109743116*c_0101_6^6 + 199677531001460414203043848163794670430218389175741/378545679265005\ 085503823408266079792527435779*c_0101_6^5 - 48660516369985086840136803585796623811168260171053/3785456792650050\ 85503823408266079792527435779*c_0101_6^4 - 18086036983492309495277628595049416490518112756854/3785456792650050\ 85503823408266079792527435779*c_0101_6^3 + 33157437052304430350091833712457945721005147582321/1514182717060020\ 342015293633064319170109743116*c_0101_6^2 - 55708240617067793392947887018273793594760211559/7570913585300101710\ 07646816532159585054871558*c_0101_6 - 453130603432316788506680631074174136774412126261/151418271706002034\ 2015293633064319170109743116, c_0011_0 - 1, c_0011_1 + 45371939651817251617553304647767668495763/181774635901563066\ 2683425729969170672400652*c_0101_6^20 + 113107136116974898013439355040615117877063/454436589753907665670856\ 432492292668100163*c_0101_6^19 - 1889093084348929869004566987463010\ 25543153/908873179507815331341712864984585336200326*c_0101_6^18 - 1206401952814509905585383723534657927016398/45443658975390766567085\ 6432492292668100163*c_0101_6^17 - 831210584258882058890307786546276\ 2014594251/908873179507815331341712864984585336200326*c_0101_6^16 - 10465606230813300436540679760435434475679501/1817746359015630662683\ 425729969170672400652*c_0101_6^15 + 38484855759338431915398600936066463121923271/1817746359015630662683\ 425729969170672400652*c_0101_6^14 - 8109578015905580597106098702070264376512327/18177463590156306626834\ 25729969170672400652*c_0101_6^13 - 24636598763334061304203916219569899221064090/4544365897539076656708\ 56432492292668100163*c_0101_6^12 - 49367338215496486872592070922990043380926815/1817746359015630662683\ 425729969170672400652*c_0101_6^11 + 25082736601950303613940175145250442485280808/4544365897539076656708\ 56432492292668100163*c_0101_6^10 + 176366947262208140407917254871225256707468921/181774635901563066268\ 3425729969170672400652*c_0101_6^9 - 362091603884725693345964197288828276826743467/181774635901563066268\ 3425729969170672400652*c_0101_6^8 - 10570564150572829702292730379145078179979989/9088731795078153313417\ 12864984585336200326*c_0101_6^7 + 448833496743115144258459610163098\ 427513361379/1817746359015630662683425729969170672400652*c_0101_6^6 - 86457146557209097430111985181385738599187148/45443658975390766567\ 0856432492292668100163*c_0101_6^5 + 18460169561748982863250492612842596495337520/4544365897539076656708\ 56432492292668100163*c_0101_6^4 + 384013656075138573189944435017660\ 9328779810/454436589753907665670856432492292668100163*c_0101_6^3 - 12749189721091432069517594048863739077205759/1817746359015630662683\ 425729969170672400652*c_0101_6^2 + 1207764763635772832209458054895023459020335/90887317950781533134171\ 2864984585336200326*c_0101_6 + 156816781916889352278636154149578990\ 6927235/1817746359015630662683425729969170672400652, c_0011_3 + 436636789276324858144949319643692706214721/18177463590156306\ 62683425729969170672400652*c_0101_6^20 + 1038096896720236867899756448000092437265157/45443658975390766567085\ 6432492292668100163*c_0101_6^19 - 286292469018097254104360939372770\ 8520501085/908873179507815331341712864984585336200326*c_0101_6^18 - 11388651930207089083638733771338351730201278/4544365897539076656708\ 56432492292668100163*c_0101_6^17 - 68911231816086833686190089704579287175447849/9088731795078153313417\ 12864984585336200326*c_0101_6^16 - 18283580813375233657694271353416484757998055/1817746359015630662683\ 425729969170672400652*c_0101_6^15 + 445582426329112364939891838298642796345885293/181774635901563066268\ 3425729969170672400652*c_0101_6^14 - 233415076210989612489791533811110126288163469/181774635901563066268\ 3425729969170672400652*c_0101_6^13 - 246265483034551414213552196021717128908557592/454436589753907665670\ 856432492292668100163*c_0101_6^12 - 20227505966867171488900548889487149009212321/1817746359015630662683\ 425729969170672400652*c_0101_6^11 + 342551131991801142450307238894986492812525003/454436589753907665670\ 856432492292668100163*c_0101_6^10 + 1329718177697903013904068297997989159635853011/18177463590156306626\ 83425729969170672400652*c_0101_6^9 - 4473887131813444424978723051489213246202023529/18177463590156306626\ 83425729969170672400652*c_0101_6^8 + 547211219106009141773814673699565797226275473/908873179507815331341\ 712864984585336200326*c_0101_6^7 + 5107976651453317069787100556830329374864426749/18177463590156306626\ 83425729969170672400652*c_0101_6^6 - 1317607628814082925275578804181321161391092948/45443658975390766567\ 0856432492292668100163*c_0101_6^5 + 339931936146388739321787182919955041519126448/454436589753907665670\ 856432492292668100163*c_0101_6^4 + 115623164531070599447562221059004555617527519/454436589753907665670\ 856432492292668100163*c_0101_6^3 - 232746372762301442160336473726776279564436229/181774635901563066268\ 3425729969170672400652*c_0101_6^2 - 1608573087849195942119066563674409445754571/90887317950781533134171\ 2864984585336200326*c_0101_6 + 661304851961493465400137419108089005\ 7105065/1817746359015630662683425729969170672400652, c_0101_0 + 94810733998273218357415931111946013634779/908873179507815331\ 341712864984585336200326*c_0101_6^20 + 937802354991395958110190298819982707504117/908873179507815331341712\ 864984585336200326*c_0101_6^19 - 8810951262856131210773907131045869\ 34177445/908873179507815331341712864984585336200326*c_0101_6^18 - 10181259950216465328517235566428134588720251/9088731795078153313417\ 12864984585336200326*c_0101_6^17 - 33837873549660682987530773793563287788404899/9088731795078153313417\ 12864984585336200326*c_0101_6^16 - 8687487857344462229537710205727586795946202/45443658975390766567085\ 6432492292668100163*c_0101_6^15 + 883525203648166697414141399098170\ 57601928311/908873179507815331341712864984585336200326*c_0101_6^14 - 9169344412669601968213618882480524752942447/45443658975390766567085\ 6432492292668100163*c_0101_6^13 - 108491891795588601374976589170865\ 797307126173/454436589753907665670856432492292668100163*c_0101_6^12 - 86835782119847374533481630055984391877835549/90887317950781533134\ 1712864984585336200326*c_0101_6^11 + 253843588990581901162078306496378707169336917/908873179507815331341\ 712864984585336200326*c_0101_6^10 + 189183108500076861008303382238186087753156324/454436589753907665670\ 856432492292668100163*c_0101_6^9 - 816515016872590213851056256441317572593343493/908873179507815331341\ 712864984585336200326*c_0101_6^8 - 52419118753520088030746637864556997791596203/9088731795078153313417\ 12864984585336200326*c_0101_6^7 + 527673210143084781430791104085303\ 102713670639/454436589753907665670856432492292668100163*c_0101_6^6 - 377731119972540060003262927154849901533779918/454436589753907665670\ 856432492292668100163*c_0101_6^5 + 28286355698493606454191224797827183109897748/4544365897539076656708\ 56432492292668100163*c_0101_6^4 + 502892234981005284876003836340456\ 75815790429/454436589753907665670856432492292668100163*c_0101_6^3 - 19575265111139060199691892244391879699213447/9088731795078153313417\ 12864984585336200326*c_0101_6^2 - 367890022589839143760796102214662\ 8457493295/908873179507815331341712864984585336200326*c_0101_6 + 508063707859659819606876604836138798882745/454436589753907665670856\ 432492292668100163, c_0101_1 + 57933739681305377345919279449339918255971/908873179507815331\ 341712864984585336200326*c_0101_6^20 + 557285030329036906410768189710787764703347/908873179507815331341712\ 864984585336200326*c_0101_6^19 - 7019521016387086708633231329214457\ 00508019/908873179507815331341712864984585336200326*c_0101_6^18 - 6151818389488230121127359054246300561764933/90887317950781533134171\ 2864984585336200326*c_0101_6^17 - 189179315869140282365448161935035\ 04044809943/908873179507815331341712864984585336200326*c_0101_6^16 - 2071199910127726655030473220590015740947004/45443658975390766567085\ 6432492292668100163*c_0101_6^15 + 597037200332707372990959364787945\ 02952610901/908873179507815331341712864984585336200326*c_0101_6^14 - 12198920402553091252113882830175071604649112/4544365897539076656708\ 56432492292668100163*c_0101_6^13 - 68656277582961957967495905979185479131840817/4544365897539076656708\ 56432492292668100163*c_0101_6^12 - 17082161631896028323238126540066543605906345/9088731795078153313417\ 12864984585336200326*c_0101_6^11 + 187920247017398348955084375578402398068714227/908873179507815331341\ 712864984585336200326*c_0101_6^10 + 99106322207655124025849700035376098857932874/4544365897539076656708\ 56432492292668100163*c_0101_6^9 - 584825718474142709010795363337682\ 172490646677/908873179507815331341712864984585336200326*c_0101_6^8 + 66299930497327348672563709598496465279164263/9088731795078153313417\ 12864984585336200326*c_0101_6^7 + 358737872484808162229907734102744\ 809109541213/454436589753907665670856432492292668100163*c_0101_6^6 - 309767435289331237639785284247602916866960030/454436589753907665670\ 856432492292668100163*c_0101_6^5 + 34835926596964244130788719262202429633287686/4544365897539076656708\ 56432492292668100163*c_0101_6^4 + 487290259336220380181797422288825\ 23212294386/454436589753907665670856432492292668100163*c_0101_6^3 - 19015033438599253935259844023388089321399547/9088731795078153313417\ 12864984585336200326*c_0101_6^2 - 543359730407595036230012475770856\ 9364248721/908873179507815331341712864984585336200326*c_0101_6 + 174559537965221998643055101172815533149682/454436589753907665670856\ 432492292668100163, c_0101_3 - 146442066889271015690359967316186384272939/90887317950781533\ 1341712864984585336200326*c_0101_6^20 - 1378396234161929018970032100234809450746157/90887317950781533134171\ 2864984585336200326*c_0101_6^19 + 206234953473693656906102083748574\ 4841595235/908873179507815331341712864984585336200326*c_0101_6^18 + 15152938061310054398631657650692647687808973/9088731795078153313417\ 12864984585336200326*c_0101_6^17 + 44657886721230038256194072635291661773547247/9088731795078153313417\ 12864984585336200326*c_0101_6^16 + 463439748700006945645980928770752681449903/454436589753907665670856\ 432492292668100163*c_0101_6^15 - 1521466079763681618461003110828425\ 91903347761/908873179507815331341712864984585336200326*c_0101_6^14 + 46292772209373209104081631315352839142052637/4544365897539076656708\ 56432492292668100163*c_0101_6^13 + 165225295812697750025500790379613243013709872/454436589753907665670\ 856432492292668100163*c_0101_6^12 - 26265775468553706352133430536251442331728129/9088731795078153313417\ 12864984585336200326*c_0101_6^11 - 476161236222373229279063059702234044901438461/908873179507815331341\ 712864984585336200326*c_0101_6^10 - 202452171176191840006233880112512376874729109/454436589753907665670\ 856432492292668100163*c_0101_6^9 + 1568785204531291217673972949787525970414337427/90887317950781533134\ 1712864984585336200326*c_0101_6^8 - 482497881960645730362267333949011499177048337/908873179507815331341\ 712864984585336200326*c_0101_6^7 - 869895331229534368708127178334693505137520502/454436589753907665670\ 856432492292668100163*c_0101_6^6 + 964032069105427798781075434737100160454855432/454436589753907665670\ 856432492292668100163*c_0101_6^5 - 272170212973204560855042892664798820988099068/454436589753907665670\ 856432492292668100163*c_0101_6^4 - 81014975569018609817236965338655756304316768/4544365897539076656708\ 56432492292668100163*c_0101_6^3 + 879910760317617044523745438768521\ 43309666653/908873179507815331341712864984585336200326*c_0101_6^2 + 1130275943896572773080179886919588755072319/90887317950781533134171\ 2864984585336200326*c_0101_6 - 116923083723096166552284491158394194\ 7829879/454436589753907665670856432492292668100163, c_0101_6^21 + 9*c_0101_6^20 - 18*c_0101_6^19 - 98*c_0101_6^18 - 262*c_0101_6^17 + 123*c_0101_6^16 + 1054*c_0101_6^15 - 1052*c_0101_6^14 - 2021*c_0101_6^13 + 1119*c_0101_6^12 + 3247*c_0101_6^11 + 1459*c_0101_6^10 - 11914*c_0101_6^9 + 7601*c_0101_6^8 + 10783*c_0101_6^7 - 18079*c_0101_6^6 + 8840*c_0101_6^5 - 148*c_0101_6^4 - 1145*c_0101_6^3 + 233*c_0101_6^2 + 27*c_0101_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB