Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 981182168] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0578 geometric_solution 4.59761121 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 0 0 0 0 0 0 1 -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 -1 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.625006137525 0.251991916833 0 3 4 3 0132 0321 0132 3201 0 0 0 0 0 0 0 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 1 -1 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.489252221752 1.139002990358 5 0 0 5 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 0 0 0 1 -1 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.036480013475 0.340231225391 4 1 0 1 1023 2310 0132 0321 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 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.489252221752 1.139002990358 4 3 4 1 2310 1023 3201 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 0 -1 1 1 0 0 -1 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.318379409779 0.741202765535 2 6 6 2 0132 0132 3201 1023 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 1.123364430317 0.154934654764 5 5 6 6 2310 0132 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.387995355858 0.155262707666 ==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' : 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' : negation(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_0101_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 2854794054634126058906741143448705/2091994263150358205847268117898*\ c_0101_6^26 - 7464826944970297622230690096916479/209199426315035820\ 5847268117898*c_0101_6^25 - 94653720350757445857999746212991059/209\ 1994263150358205847268117898*c_0101_6^24 + 81196761808743789698773456659527377/1045997131575179102923634058949\ *c_0101_6^23 + 649401773702150257996245931346660958/104599713157517\ 9102923634058949*c_0101_6^22 - 672717860851045200138002343123323514\ /1045997131575179102923634058949*c_0101_6^21 - 4506922286672786513062273002437598823/10459971315751791029236340589\ 49*c_0101_6^20 + 5628393133568901984290557271609297333/209199426315\ 0358205847268117898*c_0101_6^19 + 172117086442700358086545723936070\ 20639/1045997131575179102923634058949*c_0101_6^18 - 5772210138516305911357137377268444262/10459971315751791029236340589\ 49*c_0101_6^17 - 79554805960788885137144710357256382047/20919942631\ 50358205847268117898*c_0101_6^16 + 10799793960151392528208267970630288821/2091994263150358205847268117\ 898*c_0101_6^15 + 58617074447109079219094766377426287493/1045997131\ 575179102923634058949*c_0101_6^14 - 63138556575745156442074057618514341/1045997131575179102923634058949\ *c_0101_6^13 - 56582327289753570405637910209220932146/1045997131575\ 179102923634058949*c_0101_6^12 - 5005889449927378251091443972601771\ 323/1045997131575179102923634058949*c_0101_6^11 + 35854358709515263305811107641762848905/1045997131575179102923634058\ 949*c_0101_6^10 + 5182081693375892671305891243084878933/10459971315\ 75179102923634058949*c_0101_6^9 - 286705022417604428874669422277711\ 68511/2091994263150358205847268117898*c_0101_6^8 - 2609495106013944681611475605994854066/10459971315751791029236340589\ 49*c_0101_6^7 + 3172631886222285642436705549956563561/1045997131575\ 179102923634058949*c_0101_6^6 + 78970676335030432946322646787144921\ 3/1045997131575179102923634058949*c_0101_6^5 - 459147232232268164732284186007644597/209199426315035820584726811789\ 8*c_0101_6^4 - 163052793420065788387574782336581480/104599713157517\ 9102923634058949*c_0101_6^3 - 54268081748654981519147695661309401/2\ 091994263150358205847268117898*c_0101_6^2 + 19302638015035475045311546292174486/1045997131575179102923634058949\ *c_0101_6 + 3843397694297344129841487596547647/20919942631503582058\ 47268117898, c_0011_0 - 1, c_0011_3 - 1490833965137117622213973228634/6152924303383406487786082699\ 7*c_0101_6^26 + 2827536186763214807967915441058/6152924303383406487\ 7860826997*c_0101_6^25 + 51780198270129560013799888385205/615292430\ 33834064877860826997*c_0101_6^24 - 48426062046723131274133965229104/61529243033834064877860826997*c_01\ 01_6^23 - 723564612752471303499615771841004/61529243033834064877860\ 826997*c_0101_6^22 + 199959786974707070263752370199531/615292430338\ 34064877860826997*c_0101_6^21 + 4993323966086991599558102393043744/\ 61529243033834064877860826997*c_0101_6^20 + 514690716879636012236879736751091/61529243033834064877860826997*c_0\ 101_6^19 - 18570854473029167209963908170962013/61529243033834064877\ 860826997*c_0101_6^18 - 6813403584499719227388279339971774/61529243\ 033834064877860826997*c_0101_6^17 + 40175228446879974167530727417660403/61529243033834064877860826997*c\ _0101_6^16 + 22444656970325766063956394112808810/615292430338340648\ 77860826997*c_0101_6^15 - 52737195323983359192880586468030314/61529\ 243033834064877860826997*c_0101_6^14 - 37703917054227371745152302775156368/61529243033834064877860826997*c\ _0101_6^13 + 42281669084209036593850731567187424/615292430338340648\ 77860826997*c_0101_6^12 + 36887318104743835450654285845305587/61529\ 243033834064877860826997*c_0101_6^11 - 19664778900403104923325507680080332/61529243033834064877860826997*c\ _0101_6^10 - 21479190565537391298778283185367586/615292430338340648\ 77860826997*c_0101_6^9 + 4127486738279124856137698100069953/6152924\ 3033834064877860826997*c_0101_6^8 + 7023375491462634341177265546474016/61529243033834064877860826997*c_\ 0101_6^7 + 382167761399237303565926519723663/6152924303383406487786\ 0826997*c_0101_6^6 - 1039449625936654089760735728289129/61529243033\ 834064877860826997*c_0101_6^5 - 366054936650592059512797929524713/6\ 1529243033834064877860826997*c_0101_6^4 + 7046325828802872151526695154741/61529243033834064877860826997*c_010\ 1_6^3 + 52380271782163185696726213891892/61529243033834064877860826\ 997*c_0101_6^2 + 7298286040032534688352012913740/615292430338340648\ 77860826997*c_0101_6 + 221080605694742694032020435819/6152924303383\ 4064877860826997, c_0101_0 + 53585820799760115078807313506/61529243033834064877860826997*\ c_0101_6^26 - 13764655083710836474059404973/61529243033834064877860\ 826997*c_0101_6^25 - 2042390493616284735970497954897/61529243033834\ 064877860826997*c_0101_6^24 - 1297562507863633181047530371315/61529\ 243033834064877860826997*c_0101_6^23 + 29393095134543606420361896782476/61529243033834064877860826997*c_01\ 01_6^22 + 35468575072483854484588774372774/615292430338340648778608\ 26997*c_0101_6^21 - 198737130561897581547678038001233/6152924303383\ 4064877860826997*c_0101_6^20 - 317514834085275599509957480500964/61\ 529243033834064877860826997*c_0101_6^19 + 687082951802074609031202018545290/61529243033834064877860826997*c_0\ 101_6^18 + 1389268494971238046886835673723323/615292430338340648778\ 60826997*c_0101_6^17 - 1214390239777315437094765978574050/615292430\ 33834064877860826997*c_0101_6^16 - 3399856425336101600052474214753054/61529243033834064877860826997*c_\ 0101_6^15 + 888428923697797920540711907838857/615292430338340648778\ 60826997*c_0101_6^14 + 4999044842282007191746647755927707/615292430\ 33834064877860826997*c_0101_6^13 + 406209378759386703978067799190829/61529243033834064877860826997*c_0\ 101_6^12 - 4549236339517029734069462215119296/615292430338340648778\ 60826997*c_0101_6^11 - 1376518191785836987262171856495281/615292430\ 33834064877860826997*c_0101_6^10 + 2521113258491286569193437221351807/61529243033834064877860826997*c_\ 0101_6^9 + 1191124561258963089945583437690930/615292430338340648778\ 60826997*c_0101_6^8 - 767350764147725454654177336407063/61529243033\ 834064877860826997*c_0101_6^7 - 505348350440012793203615086019311/6\ 1529243033834064877860826997*c_0101_6^6 + 74969276824491028317437834900667/61529243033834064877860826997*c_01\ 01_6^5 + 100186742567181591150902133732870/615292430338340648778608\ 26997*c_0101_6^4 + 19901828279784924524707182401502/615292430338340\ 64877860826997*c_0101_6^3 - 5429238959980701736742642490275/6152924\ 3033834064877860826997*c_0101_6^2 - 4571978121413923545597913037703/61529243033834064877860826997*c_010\ 1_6 - 215882252502746859865475249928/61529243033834064877860826997, c_0101_1 - 486681720497989631086651103002/61529243033834064877860826997\ *c_0101_6^26 + 883582504971911673383765605265/615292430338340648778\ 60826997*c_0101_6^25 + 17030508595672406941548841011985/61529243033\ 834064877860826997*c_0101_6^24 - 14548890888781595206919813227207/6\ 1529243033834064877860826997*c_0101_6^23 - 239244396315692889288757063038283/61529243033834064877860826997*c_0\ 101_6^22 + 48172414002940394456437409711274/61529243033834064877860\ 826997*c_0101_6^21 + 1659243081077350432588686408402258/61529243033\ 834064877860826997*c_0101_6^20 + 288550551611650357088842776040590/\ 61529243033834064877860826997*c_0101_6^19 - 6208165818524151610829951729212359/61529243033834064877860826997*c_\ 0101_6^18 - 2700892717982329548544059223397446/61529243033834064877\ 860826997*c_0101_6^17 + 13498060968568022130409863760550979/6152924\ 3033834064877860826997*c_0101_6^16 + 8494211086450336052695884287606777/61529243033834064877860826997*c_\ 0101_6^15 - 17762027710256422438553550733189340/6152924303383406487\ 7860826997*c_0101_6^14 - 14133080228428459859815275360985650/615292\ 43033834064877860826997*c_0101_6^13 + 14175082152746104596282062535310324/61529243033834064877860826997*c\ _0101_6^12 + 13865495174013462926988717987892670/615292430338340648\ 77860826997*c_0101_6^11 - 6420958384263960667305387055599650/615292\ 43033834064877860826997*c_0101_6^10 - 8143200985474390090998678554476098/61529243033834064877860826997*c_\ 0101_6^9 + 1169643156872923623653868211393752/615292430338340648778\ 60826997*c_0101_6^8 + 2686801219993288212954897395301644/6152924303\ 3834064877860826997*c_0101_6^7 + 243726623551950204752544356662755/\ 61529243033834064877860826997*c_0101_6^6 - 393242975150434324475162971282909/61529243033834064877860826997*c_0\ 101_6^5 - 152072046828167980751091104183507/61529243033834064877860\ 826997*c_0101_6^4 - 1867012465623621469396205407405/615292430338340\ 64877860826997*c_0101_6^3 + 20248920450420555977305471989904/615292\ 43033834064877860826997*c_0101_6^2 + 3408158524593929050648423960636/61529243033834064877860826997*c_010\ 1_6 + 159125114935071674382353346951/61529243033834064877860826997, c_0101_2 - 107686246095621675266891350503/61529243033834064877860826997\ *c_0101_6^26 + 252535333820912168589662113726/615292430338340648778\ 60826997*c_0101_6^25 + 3634255684857407123302704732843/615292430338\ 34064877860826997*c_0101_6^24 - 5125173809491371547618781441256/615\ 29243033834064877860826997*c_0101_6^23 - 50257555667298238603983040353657/61529243033834064877860826997*c_01\ 01_6^22 + 36667921369337330225225678578018/615292430338340648778608\ 26997*c_0101_6^21 + 348503178996216580014517570133268/6152924303383\ 4064877860826997*c_0101_6^20 - 112601542756621578604959130341114/61\ 529243033834064877860826997*c_0101_6^19 - 1319987486308571112727315005037943/61529243033834064877860826997*c_\ 0101_6^18 + 47219703447184951256141718810240/6152924303383406487786\ 0826997*c_0101_6^17 + 2981977358686791376750657862829621/6152924303\ 3834064877860826997*c_0101_6^16 + 495191121771324212156968531076284\ /61529243033834064877860826997*c_0101_6^15 - 4211847853036806237212735282918726/61529243033834064877860826997*c_\ 0101_6^14 - 1308790739507107875303486094947729/61529243033834064877\ 860826997*c_0101_6^13 + 3788976352340012696023259779521727/61529243\ 033834064877860826997*c_0101_6^12 + 1593948845912950291424641117383101/61529243033834064877860826997*c_\ 0101_6^11 - 2136034142712736545265019032550630/61529243033834064877\ 860826997*c_0101_6^10 - 1092697071457989917487197860202515/61529243\ 033834064877860826997*c_0101_6^9 + 689381812934098164049164474763511/61529243033834064877860826997*c_0\ 101_6^8 + 424421242059218717356854423171474/61529243033834064877860\ 826997*c_0101_6^7 - 85088844579380249145162117937708/61529243033834\ 064877860826997*c_0101_6^6 - 83691911031931265260413283233095/61529\ 243033834064877860826997*c_0101_6^5 - 13293779819467463124322298958530/61529243033834064877860826997*c_01\ 01_6^4 + 5410299917285929953915416714053/61529243033834064877860826\ 997*c_0101_6^3 + 3910662265788168465800556049414/615292430338340648\ 77860826997*c_0101_6^2 + 125701307906495197472248913509/61529243033\ 834064877860826997*c_0101_6 - 15356213227388237598379809638/6152924\ 3033834064877860826997, c_0101_5 - 37162841629668818055879412720/61529243033834064877860826997*\ c_0101_6^26 + 134762928489351511038492534762/6152924303383406487786\ 0826997*c_0101_6^25 + 1140782703953369562743801472645/6152924303383\ 4064877860826997*c_0101_6^24 - 3370194888321355678928852196837/6152\ 9243033834064877860826997*c_0101_6^23 - 15022985904117373496580517126915/61529243033834064877860826997*c_01\ 01_6^22 + 34752170858100962260348746306909/615292430338340648778608\ 26997*c_0101_6^21 + 103340525592398114532006474197856/6152924303383\ 4064877860826997*c_0101_6^20 - 191819722627861586344572664673674/61\ 529243033834064877860826997*c_0101_6^19 - 401076708117397776183146696563098/61529243033834064877860826997*c_0\ 101_6^18 + 594390560394900080538070778725512/6152924303383406487786\ 0826997*c_0101_6^17 + 991955936809211123278801019370146/61529243033\ 834064877860826997*c_0101_6^16 - 1132405168196706262932548659844158\ /61529243033834064877860826997*c_0101_6^15 - 1638797188622248620101863951020387/61529243033834064877860826997*c_\ 0101_6^14 + 1383947851355365718772400024590884/61529243033834064877\ 860826997*c_0101_6^13 + 1842750011982719853042929442569641/61529243\ 033834064877860826997*c_0101_6^12 - 1092937946464479387612718112281825/61529243033834064877860826997*c_\ 0101_6^11 - 1406377641683102300431549710920606/61529243033834064877\ 860826997*c_0101_6^10 + 539533627509136394096599617176725/615292430\ 33834064877860826997*c_0101_6^9 + 703269127054131466038031799295942\ /61529243033834064877860826997*c_0101_6^8 - 141375330959712133941110392170101/61529243033834064877860826997*c_0\ 101_6^7 - 212337579484932720048271039299652/61529243033834064877860\ 826997*c_0101_6^6 + 1986723979427187221298707155715/615292430338340\ 64877860826997*c_0101_6^5 + 32064513723990413038962773260991/615292\ 43033834064877860826997*c_0101_6^4 + 9119373511782054241493297361449/61529243033834064877860826997*c_010\ 1_6^3 - 925662033637634534729518890536/6152924303383406487786082699\ 7*c_0101_6^2 - 1707623724302558566671881798410/61529243033834064877\ 860826997*c_0101_6 - 169215489129455740144752177500/615292430338340\ 64877860826997, c_0101_6^27 - 2*c_0101_6^26 - 35*c_0101_6^25 + 37*c_0101_6^24 + 498*c_0101_6^23 - 201*c_0101_6^22 - 3559*c_0101_6^21 + 86*c_0101_6^20 + 14039*c_0101_6^19 + 3286*c_0101_6^18 - 33211*c_0101_6^17 - 13810*c_0101_6^16 + 49628*c_0101_6^15 + 27372*c_0101_6^14 - 48037*c_0101_6^13 - 31914*c_0101_6^12 + 29985*c_0101_6^11 + 23207*c_0101_6^10 - 11412*c_0101_6^9 - 10472*c_0101_6^8 + 2103*c_0101_6^7 + 2749*c_0101_6^6 + 105*c_0101_6^5 - 348*c_0101_6^4 - 121*c_0101_6^3 + 8*c_0101_6^2 + 16*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB