Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 1949690029] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0817 geometric_solution 4.74891610 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 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.522316213175 0.477069418132 3 2 2 0 0132 3012 2031 0132 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 0 0 0 -1 0 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.675657453900 0.734237162154 1 3 0 1 1230 2310 0132 1302 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 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.675657453900 0.734237162154 1 4 4 2 0132 0132 1023 3201 0 0 0 0 0 0 1 -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 0 0 0 1 0 -1 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.544015542656 0.493715771368 5 3 3 5 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 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 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 1.209966546146 0.340271998303 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.176249943232 0.107436627413 6 5 5 6 3201 0132 1023 2310 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 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 1.140692080617 0.060098777110 ==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_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 37933568391969114457215459902855444964983543/4133034275392256044302\ 10646426041336707001*c_0101_6^24 + 359039124020543672865187903750964794863403937/413303427539225604430\ 210646426041336707001*c_0101_6^23 + 1880350324976525267372717088924208465685207459/41330342753922560443\ 0210646426041336707001*c_0101_6^22 - 11561237125922754830525307051276192156321837800/4133034275392256044\ 30210646426041336707001*c_0101_6^21 - 46496179524596602784619823990863297363415031888/4133034275392256044\ 30210646426041336707001*c_0101_6^20 + 65564077530073326554495192440317048871415790238/4133034275392256044\ 30210646426041336707001*c_0101_6^19 + 282907990181659077994877434061405767446703564844/413303427539225604\ 430210646426041336707001*c_0101_6^18 - 203076440476963230208942940564578936534045639026/413303427539225604\ 430210646426041336707001*c_0101_6^17 - 703619722701718262054430070639625999285523254071/413303427539225604\ 430210646426041336707001*c_0101_6^16 + 496153218292332309175439606911697722727907894186/413303427539225604\ 430210646426041336707001*c_0101_6^15 + 726098674421138669497984010344370590794749955978/413303427539225604\ 430210646426041336707001*c_0101_6^14 - 684752771107813266824931834247589738081453101051/413303427539225604\ 430210646426041336707001*c_0101_6^13 - 199172630400797836555894667073962428434016315345/413303427539225604\ 430210646426041336707001*c_0101_6^12 + 294705264287809725938356514096568434441549441535/413303427539225604\ 430210646426041336707001*c_0101_6^11 + 96823776089022517008167054890828950365664126885/4133034275392256044\ 30210646426041336707001*c_0101_6^10 - 121922346083720929101568679763756338557066904882/413303427539225604\ 430210646426041336707001*c_0101_6^9 - 30502219661352301592861243367781108771155549707/4133034275392256044\ 30210646426041336707001*c_0101_6^8 + 41984075684890772408851546627073916184992820326/4133034275392256044\ 30210646426041336707001*c_0101_6^7 - 1261073016015186585629362058581810251849103503/41330342753922560443\ 0210646426041336707001*c_0101_6^6 - 5908095277452370083911650729452950981386251072/41330342753922560443\ 0210646426041336707001*c_0101_6^5 - 490904221931457692608595046292374395869935134/413303427539225604430\ 210646426041336707001*c_0101_6^4 + 1065354918343401492041053480238017404763941468/41330342753922560443\ 0210646426041336707001*c_0101_6^3 - 200750040743128473673812211818017179721099470/413303427539225604430\ 210646426041336707001*c_0101_6^2 - 229328767586636726418364059348384838204685411/413303427539225604430\ 210646426041336707001*c_0101_6 + 6665536280180098695549079087076727\ 6035023839/413303427539225604430210646426041336707001, c_0011_0 - 1, c_0011_1 - 26283634737624478550122773722876703256802/413303427539225604\ 430210646426041336707001*c_0101_6^24 + 201678696550355024587143314245720367558796/413303427539225604430210\ 646426041336707001*c_0101_6^23 + 1728365390184383802122282197037718\ 204409850/413303427539225604430210646426041336707001*c_0101_6^22 - 5479872170002544311052380577575433774624644/41330342753922560443021\ 0646426041336707001*c_0101_6^21 - 456089085107131744472575238539634\ 87085641779/413303427539225604430210646426041336707001*c_0101_6^20 - 18704305966552305758490159714632424080399886/4133034275392256044302\ 10646426041336707001*c_0101_6^19 + 253932832965521105368738372019266266209955496/413303427539225604430\ 210646426041336707001*c_0101_6^18 + 251336634683979693482961997296381231832916193/413303427539225604430\ 210646426041336707001*c_0101_6^17 - 594467385550442309761286752490803505808895023/413303427539225604430\ 210646426041336707001*c_0101_6^16 - 669925747615817278895182909903852421187166219/413303427539225604430\ 210646426041336707001*c_0101_6^15 + 757739900415863615625682721080833351068618353/413303427539225604430\ 210646426041336707001*c_0101_6^14 + 757381779688744849378257988727403423140348277/413303427539225604430\ 210646426041336707001*c_0101_6^13 - 640801917449933814113487190257499153779149258/413303427539225604430\ 210646426041336707001*c_0101_6^12 - 452057854460826435346286503100675641113684608/413303427539225604430\ 210646426041336707001*c_0101_6^11 + 385861168439378360132949970026324037621398699/413303427539225604430\ 210646426041336707001*c_0101_6^10 + 178974847765287255887222442419774041009786165/413303427539225604430\ 210646426041336707001*c_0101_6^9 - 133879145427140619972957737568461259270830962/413303427539225604430\ 210646426041336707001*c_0101_6^8 - 75407167240552147654337810564554869087840353/4133034275392256044302\ 10646426041336707001*c_0101_6^7 + 431876042474636411742610643571496\ 37565036827/413303427539225604430210646426041336707001*c_0101_6^6 + 15185922166937979555809757347075094843978367/4133034275392256044302\ 10646426041336707001*c_0101_6^5 - 121670658791036286484300406724489\ 51511169099/413303427539225604430210646426041336707001*c_0101_6^4 - 2014065288872971934376484903003207457171937/41330342753922560443021\ 0646426041336707001*c_0101_6^3 + 1319103506372361410409168215742696\ 040531450/413303427539225604430210646426041336707001*c_0101_6^2 + 247098404145838287741145938029904097094352/413303427539225604430210\ 646426041336707001*c_0101_6 - 3362344766594267428355038689118176704\ 00539/413303427539225604430210646426041336707001, c_0101_0 - 587834644114916395394450702209023372245778/41330342753922560\ 4430210646426041336707001*c_0101_6^24 + 5526864594616584571628675214718162871955004/41330342753922560443021\ 0646426041336707001*c_0101_6^23 + 294811857865403274225681989221545\ 71395480474/413303427539225604430210646426041336707001*c_0101_6^22 - 177284546024318525326274769922967274545975684/413303427539225604430\ 210646426041336707001*c_0101_6^21 - 731168648287191477801800053920756906046112672/413303427539225604430\ 210646426041336707001*c_0101_6^20 + 969939221425337858914128391841423892629293395/413303427539225604430\ 210646426041336707001*c_0101_6^19 + 4430888883156423135497931761809413273407120354/41330342753922560443\ 0210646426041336707001*c_0101_6^18 - 2895285557920418128486025745533886097287004080/41330342753922560443\ 0210646426041336707001*c_0101_6^17 - 11010108244360877248129168819858765558116452292/4133034275392256044\ 30210646426041336707001*c_0101_6^16 + 7180676572320509942987842130966332019713719537/41330342753922560443\ 0210646426041336707001*c_0101_6^15 + 11518522898035178561802574847406879884697684976/4133034275392256044\ 30210646426041336707001*c_0101_6^14 - 10333628182131467928414981161238818499061346345/4133034275392256044\ 30210646426041336707001*c_0101_6^13 - 3418069543300733343875431881497940454098904952/41330342753922560443\ 0210646426041336707001*c_0101_6^12 + 4790343253164802290454150590062169237998842772/41330342753922560443\ 0210646426041336707001*c_0101_6^11 + 1444964488779491931416172580639573206725229539/41330342753922560443\ 0210646426041336707001*c_0101_6^10 - 1926994326241585807705319468327327508011787900/41330342753922560443\ 0210646426041336707001*c_0101_6^9 - 465324223374191028999829501823378691417131437/413303427539225604430\ 210646426041336707001*c_0101_6^8 + 681231701164657747867651551816744122880839164/413303427539225604430\ 210646426041336707001*c_0101_6^7 - 22640523737297110792739522029735597056607036/4133034275392256044302\ 10646426041336707001*c_0101_6^6 - 108645917615707971340605023001234\ 618801546226/413303427539225604430210646426041336707001*c_0101_6^5 - 1984114415644318749138554852201991019432883/41330342753922560443021\ 0646426041336707001*c_0101_6^4 + 1657651226661301159910171059944258\ 9798143533/413303427539225604430210646426041336707001*c_0101_6^3 - 3292895759069154918164449894817099598416808/41330342753922560443021\ 0646426041336707001*c_0101_6^2 - 4044812059081846639338794313045744\ 808222847/413303427539225604430210646426041336707001*c_0101_6 + 1004508977233182428406115930623663399396751/41330342753922560443021\ 0646426041336707001, c_0101_1 - 210783822055048849658179853848404351795531/41330342753922560\ 4430210646426041336707001*c_0101_6^24 + 2039837406476544298441593885223313709419368/41330342753922560443021\ 0646426041336707001*c_0101_6^23 + 100557066818328941896839469400986\ 05273824082/413303427539225604430210646426041336707001*c_0101_6^22 - 66752085835007311791237548566106552927626814/4133034275392256044302\ 10646426041336707001*c_0101_6^21 - 246291384182335386980619141603085153805745868/413303427539225604430\ 210646426041336707001*c_0101_6^20 + 428484618385485809745229465856630554139926964/413303427539225604430\ 210646426041336707001*c_0101_6^19 + 1533938713107214925661109882544869285457230779/41330342753922560443\ 0210646426041336707001*c_0101_6^18 - 1510989276877823235223431356509171323670521601/41330342753922560443\ 0210646426041336707001*c_0101_6^17 - 3910698499532491024422682254682927578908702719/41330342753922560443\ 0210646426041336707001*c_0101_6^16 + 3712510502361163807487450903608816961021987506/41330342753922560443\ 0210646426041336707001*c_0101_6^15 + 4052125786235731666281650230176908410670334854/41330342753922560443\ 0210646426041336707001*c_0101_6^14 - 4921736032385000985574753984331385814978763486/41330342753922560443\ 0210646426041336707001*c_0101_6^13 - 939462737826951244864026087971480310519613766/413303427539225604430\ 210646426041336707001*c_0101_6^12 + 2180963009363058567015333110002261091389281799/41330342753922560443\ 0210646426041336707001*c_0101_6^11 + 420630175622453732602048092772665363726030723/413303427539225604430\ 210646426041336707001*c_0101_6^10 - 825879916068460315875360715069639141354713805/413303427539225604430\ 210646426041336707001*c_0101_6^9 - 172267427455058027447156024304599653895407625/413303427539225604430\ 210646426041336707001*c_0101_6^8 + 289970410324385549855182863124063606471953629/413303427539225604430\ 210646426041336707001*c_0101_6^7 - 6810011918768477092427747083718262451352928/41330342753922560443021\ 0646426041336707001*c_0101_6^6 - 3844747667692109933039977875719541\ 0482329500/413303427539225604430210646426041336707001*c_0101_6^5 - 2550815022490082295449966968342552248411398/41330342753922560443021\ 0646426041336707001*c_0101_6^4 + 5805490238994806605717936288495876\ 820323983/413303427539225604430210646426041336707001*c_0101_6^3 - 20232632966469604219198386695039578598918/4133034275392256044302106\ 46426041336707001*c_0101_6^2 - 160545857693647122575820710310472697\ 9502716/413303427539225604430210646426041336707001*c_0101_6 + 295564813382239834682297090535893145980524/413303427539225604430210\ 646426041336707001, c_0101_4 - 480426084087488093132779311315817614193173/41330342753922560\ 4430210646426041336707001*c_0101_6^24 + 4465442363317493296292386332751067102969803/41330342753922560443021\ 0646426041336707001*c_0101_6^23 + 245781719418019233249084601343540\ 88895069801/413303427539225604430210646426041336707001*c_0101_6^22 - 142286601756840690357970880316083449479569771/413303427539225604430\ 210646426041336707001*c_0101_6^21 - 613145872586555243077122985612559636647030785/413303427539225604430\ 210646426041336707001*c_0101_6^20 + 727694142188217445387719839812071828353429930/413303427539225604430\ 210646426041336707001*c_0101_6^19 + 3707251157899709782988788974362219246368677525/41330342753922560443\ 0210646426041336707001*c_0101_6^18 - 1960833503058874271897791191478903647188046825/41330342753922560443\ 0210646426041336707001*c_0101_6^17 - 9242293657906972838017165845528550531077311528/41330342753922560443\ 0210646426041336707001*c_0101_6^16 + 4817191647622293592273498739001051395981756804/41330342753922560443\ 0210646426041336707001*c_0101_6^15 + 9967466073117387873445788672330466699671790405/41330342753922560443\ 0210646426041336707001*c_0101_6^14 - 7250701733719081750887719529474833522381641124/41330342753922560443\ 0210646426041336707001*c_0101_6^13 - 3547520771573810240954632873043813789062725764/41330342753922560443\ 0210646426041336707001*c_0101_6^12 + 3424519824319080042246702736950190672463888583/41330342753922560443\ 0210646426041336707001*c_0101_6^11 + 1483726825141569289340077283739894965087553998/41330342753922560443\ 0210646426041336707001*c_0101_6^10 - 1358346909101646668839340596367467486465843354/41330342753922560443\ 0210646426041336707001*c_0101_6^9 - 482388926566639501658209418564818474915698172/413303427539225604430\ 210646426041336707001*c_0101_6^8 + 488806076480743987179186351205155119407958590/413303427539225604430\ 210646426041336707001*c_0101_6^7 + 6743602875960639738680996128787393135976148/41330342753922560443021\ 0646426041336707001*c_0101_6^6 - 8275788572346952684126590464699090\ 2091185583/413303427539225604430210646426041336707001*c_0101_6^5 - 4157921428882553319442208832709046275890572/41330342753922560443021\ 0646426041336707001*c_0101_6^4 + 1351308113667537062283148582069771\ 4389748332/413303427539225604430210646426041336707001*c_0101_6^3 - 2188113331762052130023615542414290917288074/41330342753922560443021\ 0646426041336707001*c_0101_6^2 - 3649028428599104346614057225782722\ 152941906/413303427539225604430210646426041336707001*c_0101_6 + 740474621804759237205204426439918950094446/413303427539225604430210\ 646426041336707001, c_0101_5 - 135276941646900104963309526948981528072567/41330342753922560\ 4430210646426041336707001*c_0101_6^24 + 1248682679317810109125258313197420327055069/41330342753922560443021\ 0646426041336707001*c_0101_6^23 + 700729823252955359742814004568877\ 4080401853/413303427539225604430210646426041336707001*c_0101_6^22 - 39674227553981307075448139261947500353372132/4133034275392256044302\ 10646426041336707001*c_0101_6^21 - 175534239407153664842468123846407722533105024/413303427539225604430\ 210646426041336707001*c_0101_6^20 + 195486560993278399149133684501623598670937186/413303427539225604430\ 210646426041336707001*c_0101_6^19 + 1064914049155306632999969144351071679246377872/41330342753922560443\ 0210646426041336707001*c_0101_6^18 - 491657011499495494220631707650666191521935553/413303427539225604430\ 210646426041336707001*c_0101_6^17 - 2683011783089633197973022637331689717746520602/41330342753922560443\ 0210646426041336707001*c_0101_6^16 + 1199366508904374616314084026016989102342355454/41330342753922560443\ 0210646426041336707001*c_0101_6^15 + 2997184671488491874782497872133293508320378222/41330342753922560443\ 0210646426041336707001*c_0101_6^14 - 1884332236263445659380601238267971386139588926/41330342753922560443\ 0210646426041336707001*c_0101_6^13 - 1227738982028305359595994168007406817026875239/41330342753922560443\ 0210646426041336707001*c_0101_6^12 + 936069004722632184961824357467000375680993067/413303427539225604430\ 210646426041336707001*c_0101_6^11 + 503822439096282397209077813651752811036821756/413303427539225604430\ 210646426041336707001*c_0101_6^10 - 354059627152849900069887488728913354151446700/413303427539225604430\ 210646426041336707001*c_0101_6^9 - 173044627164561438899331622954056791872286284/413303427539225604430\ 210646426041336707001*c_0101_6^8 + 131148908504126718657585257665119463263462501/413303427539225604430\ 210646426041336707001*c_0101_6^7 + 9296173944708303701580473719299227582852066/41330342753922560443021\ 0646426041336707001*c_0101_6^6 - 2313511269113425406999564272212262\ 2020944123/413303427539225604430210646426041336707001*c_0101_6^5 - 1840348226767576753707473540307679814548392/41330342753922560443021\ 0646426041336707001*c_0101_6^4 + 4006040803275098629280197121894225\ 527572778/413303427539225604430210646426041336707001*c_0101_6^3 - 436084502895104901135129883891208707586588/413303427539225604430210\ 646426041336707001*c_0101_6^2 - 17513869637241455221634514074621595\ 15180301/413303427539225604430210646426041336707001*c_0101_6 + 192737438751459189810545834782391030778216/413303427539225604430210\ 646426041336707001, c_0101_6^25 - 9*c_0101_6^24 - 54*c_0101_6^23 + 282*c_0101_6^22 + 1369*c_0101_6^21 - 1167*c_0101_6^20 - 8301*c_0101_6^19 + 1923*c_0101_6^18 + 21271*c_0101_6^17 - 4530*c_0101_6^16 - 25790*c_0101_6^15 + 9334*c_0101_6^14 + 14252*c_0101_6^13 - 5635*c_0101_6^12 - 6407*c_0101_6^11 + 2155*c_0101_6^10 + 2417*c_0101_6^9 - 785*c_0101_6^8 - 519*c_0101_6^7 + 189*c_0101_6^6 + 90*c_0101_6^5 - 25*c_0101_6^4 - 9*c_0101_6^3 + 9*c_0101_6^2 + c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB