Magma V2.19-8 Tue Aug 20 2013 16:18:38 on localhost [Seed = 2682127022] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2816 geometric_solution 6.04187298 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 1 -1 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 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.920031036023 0.935737224559 0 3 5 4 0132 0132 0132 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 0 -1 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.265155150598 0.799453440828 4 5 3 0 3201 3201 3201 0132 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 0.265155150598 0.799453440828 2 1 3 3 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 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.583559786051 0.500404290016 6 6 1 2 0132 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 -0.540213734386 0.931084878212 5 5 2 1 1230 3012 2310 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 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.149963399309 1.300849018120 4 6 4 6 0132 2310 2310 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.481026757189 0.835218917180 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0101_2'], '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_4, c_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 69096988228453562666740278214/40449533131059971959013125*c_0101_3^1\ 9 - 49953384479531206282958476744/8089906626211994391802625*c_0101_\ 3^18 - 1063651942358979503184044659276/40449533131059971959013125*c\ _0101_3^17 + 691978548432450520510836167497/80899066262119943918026\ 25*c_0101_3^16 + 7829092749005682473133254054256/404495331310599719\ 59013125*c_0101_3^15 - 3280709459061189044077532750973/808990662621\ 1994391802625*c_0101_3^14 - 32099995493048618327803817343082/404495\ 33131059971959013125*c_0101_3^13 + 18122802829169048374164041092406/40449533131059971959013125*c_0101_\ 3^12 + 33613839820349888851597587349384/40449533131059971959013125*\ c_0101_3^11 + 21905504729609567579257890611911/40449533131059971959\ 013125*c_0101_3^10 + 62712585447585064812367755360068/4044953313105\ 9971959013125*c_0101_3^9 - 41839940578391545609285396872488/4044953\ 3131059971959013125*c_0101_3^8 - 83398633315146702520160123017184/4\ 0449533131059971959013125*c_0101_3^7 + 41659398263684777293362887578672/40449533131059971959013125*c_0101_\ 3^6 + 14827757869844256012219439686812/40449533131059971959013125*c\ _0101_3^5 - 9824631461079637277557126018573/40449533131059971959013\ 125*c_0101_3^4 + 1490729438883321244180741228201/808990662621199439\ 1802625*c_0101_3^3 - 243966178699367476936621411373/161798132524239\ 8878360525*c_0101_3^2 + 1858910201742148994205734095379/40449533131\ 059971959013125*c_0101_3 - 174483097582392951468713844436/404495331\ 31059971959013125, c_0011_0 - 1, c_0011_2 + 106791746981565836750307/1578518366090145247181*c_0101_3^19 - 392421989135604203915451/1578518366090145247181*c_0101_3^18 - 1622901686018089333264792/1578518366090145247181*c_0101_3^17 + 5452738707639603247488327/1578518366090145247181*c_0101_3^16 + 11814968378493198832289630/1578518366090145247181*c_0101_3^15 - 26169943721286716902393938/1578518366090145247181*c_0101_3^14 - 48367804934229924008542840/1578518366090145247181*c_0101_3^13 + 31379665730392250400518048/1578518366090145247181*c_0101_3^12 + 51406153247378894659494750/1578518366090145247181*c_0101_3^11 + 30621873316415135948215506/1578518366090145247181*c_0101_3^10 + 93834257104853997896075679/1578518366090145247181*c_0101_3^9 - 71544077517028998654014304/1578518366090145247181*c_0101_3^8 - 127367142973539875794554723/1578518366090145247181*c_0101_3^7 + 72480692638059357009213319/1578518366090145247181*c_0101_3^6 + 21723249291713253877995874/1578518366090145247181*c_0101_3^5 - 16834458795753256959910546/1578518366090145247181*c_0101_3^4 + 11900715609187038571518174/1578518366090145247181*c_0101_3^3 - 10007562168735325647660831/1578518366090145247181*c_0101_3^2 + 3244708421204636121037126/1578518366090145247181*c_0101_3 - 326236760188405924762365/1578518366090145247181, c_0011_4 + 20602122453791099870377/1578518366090145247181*c_0101_3^19 - 76902398692531749772422/1578518366090145247181*c_0101_3^18 - 309012388397379728628043/1578518366090145247181*c_0101_3^17 + 1071212742334826074886667/1578518366090145247181*c_0101_3^16 + 2223440280257975141661287/1578518366090145247181*c_0101_3^15 - 5195998363344416986675132/1578518366090145247181*c_0101_3^14 - 9077872242536309126780270/1578518366090145247181*c_0101_3^13 + 6662943340855618425981025/1578518366090145247181*c_0101_3^12 + 9731642929914831953259246/1578518366090145247181*c_0101_3^11 + 5285643897273599793680226/1578518366090145247181*c_0101_3^10 + 17589719460100907455747339/1578518366090145247181*c_0101_3^9 - 14995766040698061629718503/1578518366090145247181*c_0101_3^8 - 24093577548146675452924204/1578518366090145247181*c_0101_3^7 + 15530965556808091806453780/1578518366090145247181*c_0101_3^6 + 3799718304832168727399661/1578518366090145247181*c_0101_3^5 - 3588757739214101336500407/1578518366090145247181*c_0101_3^4 + 2385064600056039216245165/1578518366090145247181*c_0101_3^3 - 2043647600743927719271894/1578518366090145247181*c_0101_3^2 + 708871237378565553851062/1578518366090145247181*c_0101_3 - 76497583245402598610760/1578518366090145247181, c_0011_5 + 126811175245053873301102/1578518366090145247181*c_0101_3^19 - 464734226904152717211517/1578518366090145247181*c_0101_3^18 - 1931152864094449189233405/1578518366090145247181*c_0101_3^17 + 6454042351008426553293055/1578518366090145247181*c_0101_3^16 + 14083978393777515344187564/1578518366090145247181*c_0101_3^15 - 30912380617132394090344190/1578518366090145247181*c_0101_3^14 - 57664854902009850734256048/1578518366090145247181*c_0101_3^13 + 36590175471482747323348315/1578518366090145247181*c_0101_3^12 + 61094410754493654138423045/1578518366090145247181*c_0101_3^11 + 36980723049409066016284962/1578518366090145247181*c_0101_3^10 + 112072912700944109675041247/1578518366090145247181*c_0101_3^9 - 83548149237261375596154853/1578518366090145247181*c_0101_3^8 - 151418726053292323597081110/1578518366090145247181*c_0101_3^7 + 84513257149805929839730138/1578518366090145247181*c_0101_3^6 + 25917605149785916033444596/1578518366090145247181*c_0101_3^5 - 19691955418941484202513875/1578518366090145247181*c_0101_3^4 + 14077497574090768947536565/1578518366090145247181*c_0101_3^3 - 11769936293156767220067366/1578518366090145247181*c_0101_3^2 + 3789044292093901340576755/1578518366090145247181*c_0101_3 - 379210233919994209512162/1578518366090145247181, c_0101_0 + 81210600994960962588729/1578518366090145247181*c_0101_3^19 - 299103665124257256256212/1578518366090145247181*c_0101_3^18 - 1231853210020861563820472/1578518366090145247181*c_0101_3^17 + 4157713691191688200048233/1578518366090145247181*c_0101_3^16 + 8953327095507691300299203/1578518366090145247181*c_0101_3^15 - 19987087324491972408887696/1578518366090145247181*c_0101_3^14 - 36640220109616260959458800/1578518366090145247181*c_0101_3^13 + 24220074168715843536988568/1578518366090145247181*c_0101_3^12 + 38999252679581785809497521/1578518366090145247181*c_0101_3^11 + 22916665637775968279786590/1578518366090145247181*c_0101_3^10 + 71046895952232724238243562/1578518366090145247181*c_0101_3^9 - 55094979749282657529883281/1578518366090145247181*c_0101_3^8 - 96605475695888049316703561/1578518366090145247181*c_0101_3^7 + 56039182074847788042964942/1578518366090145247181*c_0101_3^6 + 16338479449589125011407428/1578518366090145247181*c_0101_3^5 - 13021093470303543364171618/1578518366090145247181*c_0101_3^4 + 9091873685207409391809803/1578518366090145247181*c_0101_3^3 - 7670773878298635517486689/1578518366090145247181*c_0101_3^2 + 2512915437525854989284328/1578518366090145247181*c_0101_3 - 255475087266691958965366/1578518366090145247181, c_0101_2 - 144263715774042262/14612798812198747*c_0101_3^19 + 510559172814715860/14612798812198747*c_0101_3^18 + 2255069473255806422/14612798812198747*c_0101_3^17 - 7039502352960267037/14612798812198747*c_0101_3^16 - 16806174673817506635/14612798812198747*c_0101_3^15 + 32793865327827153303/14612798812198747*c_0101_3^14 + 68930875689464604287/14612798812198747*c_0101_3^13 - 31858651780906703825/14612798812198747*c_0101_3^12 - 70245670256903338948/14612798812198747*c_0101_3^11 - 51119552450710831017/14612798812198747*c_0101_3^10 - 136935343377845094863/14612798812198747*c_0101_3^9 + 74664559722287472685/14612798812198747*c_0101_3^8 + 174828880147028897586/14612798812198747*c_0101_3^7 - 73370677995651667342/14612798812198747*c_0101_3^6 - 31138907777888208351/14612798812198747*c_0101_3^5 + 18001298289726750171/14612798812198747*c_0101_3^4 - 15215620728247131472/14612798812198747*c_0101_3^3 + 11733715856669914304/14612798812198747*c_0101_3^2 - 3368784391415227805/14612798812198747*c_0101_3 + 316058262308780252/14612798812198747, c_0101_3^20 - 4*c_0101_3^19 - 14*c_0101_3^18 + 56*c_0101_3^17 + 94*c_0101_3^16 - 281*c_0101_3^15 - 373*c_0101_3^14 + 441*c_0101_3^13 + 385*c_0101_3^12 + 130*c_0101_3^11 + 786*c_0101_3^10 - 955*c_0101_3^9 - 973*c_0101_3^8 + 1067*c_0101_3^7 - 19*c_0101_3^6 - 224*c_0101_3^5 + 163*c_0101_3^4 - 130*c_0101_3^3 + 61*c_0101_3^2 - 13*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB