Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 3684321024] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0893 geometric_solution 4.79170395 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 1 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 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.803546614197 0.571786516320 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 -1 1 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 1.163102203457 1.559243310882 4 3 1 3 0132 2031 0132 3012 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 0 0 0 0 0 0.664804522739 0.741793452029 2 4 2 1 1302 0132 1230 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664804522739 0.741793452029 2 3 5 5 0132 0132 2310 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 -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 -0.450027832440 0.493398023893 6 4 4 6 0132 3201 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 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.248526732299 0.765207184744 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.265707766181 0.466987129319 ==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_0'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), '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_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 374061897668214523149241690648945494743/732466406380128513439672965\ 661898723*c_0101_6^24 - 1389452237831844073282108160763891180712/73\ 2466406380128513439672965661898723*c_0101_6^23 + 8605220105784230751245980822281823733333/73246640638012851343967296\ 5661898723*c_0101_6^22 + 24764261110240995904577456001758989821120/\ 732466406380128513439672965661898723*c_0101_6^21 - 88920175478568542087954185997220759754612/7324664063801285134396729\ 65661898723*c_0101_6^20 - 17506587663972654023545793688005637148942\ 5/732466406380128513439672965661898723*c_0101_6^19 + 489315245471753861566643381863128664829459/732466406380128513439672\ 965661898723*c_0101_6^18 + 6862202118527677606765815934969572075432\ 37/732466406380128513439672965661898723*c_0101_6^17 - 1630105811512993333109307970354683329373561/73246640638012851343967\ 2965661898723*c_0101_6^16 - 152097570741323623993959884500603785679\ 3331/732466406380128513439672965661898723*c_0101_6^15 + 3211725331602903280424198305821224822534427/73246640638012851343967\ 2965661898723*c_0101_6^14 + 220693401649234117945723794547772033381\ 5159/732466406380128513439672965661898723*c_0101_6^13 - 3819335456685435683988550615770331650718798/73246640638012851343967\ 2965661898723*c_0101_6^12 - 293215321708115894365129102628828065091\ 0556/732466406380128513439672965661898723*c_0101_6^11 + 3688081955432375451833231920403864694574091/73246640638012851343967\ 2965661898723*c_0101_6^10 + 271605345894542275161148490360061671414\ 6410/732466406380128513439672965661898723*c_0101_6^9 - 3010108989831603704961212988548705413001573/73246640638012851343967\ 2965661898723*c_0101_6^8 - 1120069982521542799806237416072949969494\ 432/732466406380128513439672965661898723*c_0101_6^7 + 1265551963839384323834958009790177556547738/73246640638012851343967\ 2965661898723*c_0101_6^6 + 3456245720070451015439056054168373833562\ 64/732466406380128513439672965661898723*c_0101_6^5 - 355857570934764266338058132034196907909055/732466406380128513439672\ 965661898723*c_0101_6^4 - 25057368502600946490597339502433279395990\ /732466406380128513439672965661898723*c_0101_6^3 + 36874282359178616265128845821075772307415/7324664063801285134396729\ 65661898723*c_0101_6^2 + 453047116160558694071521314034076756656/73\ 2466406380128513439672965661898723*c_0101_6 - 1125208122397748345539248338484271407999/73246640638012851343967296\ 5661898723, c_0011_0 - 1, c_0011_2 + 847885589799828568105800421832430166/73246640638012851343967\ 2965661898723*c_0101_6^24 + 3642175513376023234847651428899458004/7\ 32466406380128513439672965661898723*c_0101_6^23 - 17437123609791531612413185271502698055/7324664063801285134396729656\ 61898723*c_0101_6^22 - 66440916449282140329662670423380871639/73246\ 6406380128513439672965661898723*c_0101_6^21 + 164062680363850137218047602195103939847/732466406380128513439672965\ 661898723*c_0101_6^20 + 495239214322919810054889195188133125610/732\ 466406380128513439672965661898723*c_0101_6^19 - 832915979560175938803730030486516436682/732466406380128513439672965\ 661898723*c_0101_6^18 - 2060728344074911487801288236356857329930/73\ 2466406380128513439672965661898723*c_0101_6^17 + 2560907686912676483028806278458826282301/73246640638012851343967296\ 5661898723*c_0101_6^16 + 5016378031427186765178232311665617543271/7\ 32466406380128513439672965661898723*c_0101_6^15 - 4574471062054964408297259552328069644533/73246640638012851343967296\ 5661898723*c_0101_6^14 - 7828559825760680766410428129970583082766/7\ 32466406380128513439672965661898723*c_0101_6^13 + 4512511627950930440253185561720065432240/73246640638012851343967296\ 5661898723*c_0101_6^12 + 9492433709375170810385886809747326433626/7\ 32466406380128513439672965661898723*c_0101_6^11 - 3309331013536075744262591997637413495643/73246640638012851343967296\ 5661898723*c_0101_6^10 - 8374445288728726963309467999138383775764/7\ 32466406380128513439672965661898723*c_0101_6^9 + 2403853368074835600573404626137810273183/73246640638012851343967296\ 5661898723*c_0101_6^8 + 4191004595428429888840659457824592268686/73\ 2466406380128513439672965661898723*c_0101_6^7 - 795654203818490304694022222663749588761/732466406380128513439672965\ 661898723*c_0101_6^6 - 1306212479855870028018210191174182683777/732\ 466406380128513439672965661898723*c_0101_6^5 + 179848093953120976218302517821295961286/732466406380128513439672965\ 661898723*c_0101_6^4 + 167268531144577336032348612283297834185/7324\ 66406380128513439672965661898723*c_0101_6^3 - 17266633166939341180644797973332045944/7324664063801285134396729656\ 61898723*c_0101_6^2 - 4235673247411673372593689348108034626/7324664\ 06380128513439672965661898723*c_0101_6 + 498124398345058478621417235008546033/732466406380128513439672965661\ 898723, c_0011_5 + 182678132531114163055806468461995419/73246640638012851343967\ 2965661898723*c_0101_6^24 + 1169449834481309613359055001623373976/7\ 32466406380128513439672965661898723*c_0101_6^23 - 2100914993502597455269616620792439773/73246640638012851343967296566\ 1898723*c_0101_6^22 - 22202544602820312389722640205547160174/732466\ 406380128513439672965661898723*c_0101_6^21 + 5186681827327572027735852328424834432/73246640638012851343967296566\ 1898723*c_0101_6^20 + 180726598158260032871683040660597035439/73246\ 6406380128513439672965661898723*c_0101_6^19 + 44955923256518612172191500727098867452/7324664063801285134396729656\ 61898723*c_0101_6^18 - 818927755799487915883491192265541504813/7324\ 66406380128513439672965661898723*c_0101_6^17 - 379883978283021111413450645339904233628/732466406380128513439672965\ 661898723*c_0101_6^16 + 2231418507816292545435231789066868959318/73\ 2466406380128513439672965661898723*c_0101_6^15 + 1275257700327816579377820625600883197131/73246640638012851343967296\ 5661898723*c_0101_6^14 - 3738571599858651876491535203238481856879/7\ 32466406380128513439672965661898723*c_0101_6^13 - 2544944439511629497335086378295014597254/73246640638012851343967296\ 5661898723*c_0101_6^12 + 4067573121661820954747164551184975973528/7\ 32466406380128513439672965661898723*c_0101_6^11 + 3549584481173412218780525056679361995710/73246640638012851343967296\ 5661898723*c_0101_6^10 - 3294812853275105837346499971661778076549/7\ 32466406380128513439672965661898723*c_0101_6^9 - 3243146546311498399447530778175826683647/73246640638012851343967296\ 5661898723*c_0101_6^8 + 1991494510703717598471702664169206887753/73\ 2466406380128513439672965661898723*c_0101_6^7 + 1712152207170079545752296796322463385517/73246640638012851343967296\ 5661898723*c_0101_6^6 - 640831547627846248888832480298100766584/732\ 466406380128513439672965661898723*c_0101_6^5 - 558734727398230464667519535040299772052/732466406380128513439672965\ 661898723*c_0101_6^4 + 118481356832616623394770100503002547144/7324\ 66406380128513439672965661898723*c_0101_6^3 + 77737242351404791860171376509446813663/7324664063801285134396729656\ 61898723*c_0101_6^2 - 7752836938755514071853609919833367341/7324664\ 06380128513439672965661898723*c_0101_6 - 2904441319716990202545247651963427562/73246640638012851343967296566\ 1898723, c_0101_0 + 574503163298296352601472209564239973/73246640638012851343967\ 2965661898723*c_0101_6^24 + 2222592765842904813107622059790033375/7\ 32466406380128513439672965661898723*c_0101_6^23 - 12872938304667793554328455915599879722/7324664063801285134396729656\ 61898723*c_0101_6^22 - 40021814086731857190751474804685952346/73246\ 6406380128513439672965661898723*c_0101_6^21 + 130334803725968923510087296033261074414/732466406380128513439672965\ 661898723*c_0101_6^20 + 288889630996095821028472248232977493581/732\ 466406380128513439672965661898723*c_0101_6^19 - 706027407710105269287891467643383363461/732466406380128513439672965\ 661898723*c_0101_6^18 - 1160962382290639347352322358979190855972/73\ 2466406380128513439672965661898723*c_0101_6^17 + 2318088030617656888013057075479321879412/73246640638012851343967296\ 5661898723*c_0101_6^16 + 2679117429731261501743874253445578494670/7\ 32466406380128513439672965661898723*c_0101_6^15 - 4495518260647115251575803586768217073851/73246640638012851343967296\ 5661898723*c_0101_6^14 - 4024125178512146912203240644011720409190/7\ 32466406380128513439672965661898723*c_0101_6^13 + 5195815274352819319293038081762950392106/73246640638012851343967296\ 5661898723*c_0101_6^12 + 5168821652974865196946204028917477507395/7\ 32466406380128513439672965661898723*c_0101_6^11 - 4817274398705530930543189064798856698277/73246640638012851343967296\ 5661898723*c_0101_6^10 - 4723475040279736716271870317905802269006/7\ 32466406380128513439672965661898723*c_0101_6^9 + 3884162157846631832716620517568077541196/73246640638012851343967296\ 5661898723*c_0101_6^8 + 2126335554485438686701528066593857774754/73\ 2466406380128513439672965661898723*c_0101_6^7 - 1636765767962949101928351795331762405950/73246640638012851343967296\ 5661898723*c_0101_6^6 - 646664703662134897471455023680813537881/732\ 466406380128513439672965661898723*c_0101_6^5 + 464539933800961968714364816065703882529/732466406380128513439672965\ 661898723*c_0101_6^4 + 59517831914498712605880303508442275065/73246\ 6406380128513439672965661898723*c_0101_6^3 - 55911967075325533447686080195884880925/7324664063801285134396729656\ 61898723*c_0101_6^2 + 951441514162637459874946846004249567/73246640\ 6380128513439672965661898723*c_0101_6 + 1949297484736328068681907540135928494/73246640638012851343967296566\ 1898723, c_0101_1 + 145084082742542045293436956768228665/73246640638012851343967\ 2965661898723*c_0101_6^24 + 957386383788215641754358787138819598/73\ 2466406380128513439672965661898723*c_0101_6^23 - 1621683997113689951113750709584478219/73246640638012851343967296566\ 1898723*c_0101_6^22 - 18588282120007301044054570746496156814/732466\ 406380128513439672965661898723*c_0101_6^21 + 3226482031418841263562975312639348816/73246640638012851343967296566\ 1898723*c_0101_6^20 + 155632325925048709424288290019634386657/73246\ 6406380128513439672965661898723*c_0101_6^19 + 41496020023668569350204882065378541455/7324664063801285134396729656\ 61898723*c_0101_6^18 - 726792560536310422374936776859794745781/7324\ 66406380128513439672965661898723*c_0101_6^17 - 324280791257849135799078550523866747938/732466406380128513439672965\ 661898723*c_0101_6^16 + 2054406238051344990334462101046754322148/73\ 2466406380128513439672965661898723*c_0101_6^15 + 1063231369560103062610419841351431561983/73246640638012851343967296\ 5661898723*c_0101_6^14 - 3580602130909425340252924932053081771376/7\ 32466406380128513439672965661898723*c_0101_6^13 - 2127834495977153389007276255634589092781/73246640638012851343967296\ 5661898723*c_0101_6^12 + 4039221032297128907364411695096704077471/7\ 32466406380128513439672965661898723*c_0101_6^11 + 3078496263924607307694354026080876374853/73246640638012851343967296\ 5661898723*c_0101_6^10 - 3431155551242763166621739424458626727093/7\ 32466406380128513439672965661898723*c_0101_6^9 - 2890843024306307344974132549892653278337/73246640638012851343967296\ 5661898723*c_0101_6^8 + 2215188980390134721677211538794031502878/73\ 2466406380128513439672965661898723*c_0101_6^7 + 1512473040644263251040461233570555582178/73246640638012851343967296\ 5661898723*c_0101_6^6 - 770424142496775890520548593871094155279/732\ 466406380128513439672965661898723*c_0101_6^5 - 497583394301268214218530392923593455068/732466406380128513439672965\ 661898723*c_0101_6^4 + 153411977451375354029395232300227833401/7324\ 66406380128513439672965661898723*c_0101_6^3 + 64933434390252299739526472069826219425/7324664063801285134396729656\ 61898723*c_0101_6^2 - 9934111504060993259647370664845280736/7324664\ 06380128513439672965661898723*c_0101_6 - 1971897930061605734020798086304800511/73246640638012851343967296566\ 1898723, c_0101_4 + 134672825361150065692937205789968336/73246640638012851343967\ 2965661898723*c_0101_6^24 + 615706818588842235913189403512964299/73\ 2466406380128513439672965661898723*c_0101_6^23 - 2575856154932160419223339515759092276/73246640638012851343967296566\ 1898723*c_0101_6^22 - 11160993983488870050614036752122712790/732466\ 406380128513439672965661898723*c_0101_6^21 + 22503846151810716874180574246446835013/7324664063801285134396729656\ 61898723*c_0101_6^20 + 83009851018909163420517169567861569782/73246\ 6406380128513439672965661898723*c_0101_6^19 - 105047807682234787262831160875708828878/732466406380128513439672965\ 661898723*c_0101_6^18 - 342614000908939773275075424472313907069/732\ 466406380128513439672965661898723*c_0101_6^17 + 290820701616305948168615843900509570581/732466406380128513439672965\ 661898723*c_0101_6^16 + 821165924506175268875517004768833511748/732\ 466406380128513439672965661898723*c_0101_6^15 - 436215033224698461011955793359716042319/732466406380128513439672965\ 661898723*c_0101_6^14 - 1231792559334032593411206901221461437990/73\ 2466406380128513439672965661898723*c_0101_6^13 + 267765334677731979339444729643251463484/732466406380128513439672965\ 661898723*c_0101_6^12 + 1383443807553411002862291066414165098592/73\ 2466406380128513439672965661898723*c_0101_6^11 - 44872638077190612402628882768306410486/7324664063801285134396729656\ 61898723*c_0101_6^10 - 1109103804828221706506416570983231742096/732\ 466406380128513439672965661898723*c_0101_6^9 + 8987764740025450043484242853009159943/73246640638012851343967296566\ 1898723*c_0101_6^8 + 470438579782145801790203585097185409479/732466\ 406380128513439672965661898723*c_0101_6^7 + 52231735884096876960066222473461688427/7324664063801285134396729656\ 61898723*c_0101_6^6 - 104675359828918035614053554290282248529/73246\ 6406380128513439672965661898723*c_0101_6^5 - 11514307037478407209328378314150396829/7324664063801285134396729656\ 61898723*c_0101_6^4 - 1320918940214151044307724340366780931/7324664\ 06380128513439672965661898723*c_0101_6^3 - 1477651893133586351387221524089063698/73246640638012851343967296566\ 1898723*c_0101_6^2 + 1819521788332888211501658135254689372/73246640\ 6380128513439672965661898723*c_0101_6 + 106658989752581621350089806952432071/732466406380128513439672965661\ 898723, c_0101_6^25 + 4*c_0101_6^24 - 22*c_0101_6^23 - 73*c_0101_6^22 + 220*c_0101_6^21 + 540*c_0101_6^20 - 1186*c_0101_6^19 - 2238*c_0101_6^18 + 3894*c_0101_6^17 + 5432*c_0101_6^16 - 7614*c_0101_6^15 - 8636*c_0101_6^14 + 8873*c_0101_6^13 + 11182*c_0101_6^12 - 7987*c_0101_6^11 - 10602*c_0101_6^10 + 6282*c_0101_6^9 + 5753*c_0101_6^8 - 2768*c_0101_6^7 - 2096*c_0101_6^6 + 773*c_0101_6^5 + 400*c_0101_6^4 - 101*c_0101_6^3 - 35*c_0101_6^2 + 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB