Magma V2.19-8 Tue Aug 20 2013 16:18:58 on localhost [Seed = 526287474] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3129 geometric_solution 6.29049101 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 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 -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.524098489867 0.934667146539 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 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.652915375561 0.723219323554 3 0 4 5 3201 0132 3201 2310 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 1 -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 0 0 0 0.652915375561 0.723219323554 3 1 3 2 2031 0132 1302 2310 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 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.327230874400 1.062667375593 2 6 1 6 2310 0132 0132 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 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.091527522626 0.609344639509 2 5 5 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.916338022798 0.729348425091 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 1 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572678353299 0.225278543957 ==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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 3*c_0110_6 - 5, c_0011_0 - 1, c_0011_4 - 1, c_0101_0 + 1, c_0101_1 + c_0110_6, c_0101_2 - c_0110_6, c_0101_5 - c_0110_6, c_0110_6^2 + c_0110_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 556410545642747931836068826497421771718/264683407008454555534699367\ 9349444433*c_0110_6^20 + 1076848106912490881975204003009169605590/2\ 646834070084545555346993679349444433*c_0110_6^19 - 18230351302316244306724435741475077242182/2646834070084545555346993\ 679349444433*c_0110_6^18 - 6647130149392134066557695142086699796010\ /2646834070084545555346993679349444433*c_0110_6^17 + 106588849969237827358270888737226113305855/264683407008454555534699\ 3679349444433*c_0110_6^16 - 124495784723054606442065592919155390705\ 11/2646834070084545555346993679349444433*c_0110_6^15 - 299212499209372390802638055337351005589208/264683407008454555534699\ 3679349444433*c_0110_6^14 - 290082490984258187611469662270365914720\ 68/2646834070084545555346993679349444433*c_0110_6^13 + 524376386420824854188100606377061454155487/264683407008454555534699\ 3679349444433*c_0110_6^12 + 250939042171227832580356751632826699318\ 802/2646834070084545555346993679349444433*c_0110_6^11 - 174107043526763611600113085447091606785561/264683407008454555534699\ 3679349444433*c_0110_6^10 + 176284890968548147235584407901219270510\ 191/2646834070084545555346993679349444433*c_0110_6^9 - 15450329063381599477368184144810270346010/2646834070084545555346993\ 679349444433*c_0110_6^8 - 19702757376771991933141621482995173217389\ 3/2646834070084545555346993679349444433*c_0110_6^7 + 94936162234887911839171170339706672555222/2646834070084545555346993\ 679349444433*c_0110_6^6 + 29703456302973964654133243004254122260164\ /2646834070084545555346993679349444433*c_0110_6^5 - 2908730777414492172558685730557690570290/20360262077573427348823028\ 3026880341*c_0110_6^4 + 807749068952664191565800723233248733956/203\ 602620775734273488230283026880341*c_0110_6^3 - 125234540598934890748868259889906771921/264683407008454555534699367\ 9349444433*c_0110_6^2 - 1674157785439835432320196323682225645347/26\ 46834070084545555346993679349444433*c_0110_6 + 479174266281191999391958635023121202797/264683407008454555534699367\ 9349444433, c_0011_0 - 1, c_0011_4 - 2024020961164104975508071563341352475/2036026207757342734882\ 30283026880341*c_0110_6^20 - 4072699809951547939489255427919567974/\ 203602620775734273488230283026880341*c_0110_6^19 + 65997238992300391767092157543695639754/2036026207757342734882302830\ 26880341*c_0110_6^18 + 29221078235106643582796103875346495621/20360\ 2620775734273488230283026880341*c_0110_6^17 - 385345977316511399751099640146294252410/203602620775734273488230283\ 026880341*c_0110_6^16 + 16386846115067754619326734242289182962/2036\ 02620775734273488230283026880341*c_0110_6^15 + 1088738495885268948804913373933595745869/20360262077573427348823028\ 3026880341*c_0110_6^14 + 185582246679929143757481305505598523509/20\ 3602620775734273488230283026880341*c_0110_6^13 - 1889105312404906490656920828868788748215/20360262077573427348823028\ 3026880341*c_0110_6^12 - 1047789299045117746380334674146595397710/2\ 03602620775734273488230283026880341*c_0110_6^11 + 547008977095396996608571873827190406002/203602620775734273488230283\ 026880341*c_0110_6^10 - 619306037145848925346045852617195340212/203\ 602620775734273488230283026880341*c_0110_6^9 + 4235598079846502315453471726748874507/20360262077573427348823028302\ 6880341*c_0110_6^8 + 721679477138064013241428182901432077892/203602\ 620775734273488230283026880341*c_0110_6^7 - 294833472899269907185295848944286570522/203602620775734273488230283\ 026880341*c_0110_6^6 - 123952279659785037725524137070905455514/2036\ 02620775734273488230283026880341*c_0110_6^5 + 133431714685979992109192786945822535513/203602620775734273488230283\ 026880341*c_0110_6^4 - 30906077795153172977736239590882742077/20360\ 2620775734273488230283026880341*c_0110_6^3 - 1616657642890241641796514104400332915/20360262077573427348823028302\ 6880341*c_0110_6^2 + 6358289088645454288694485028520648554/20360262\ 0775734273488230283026880341*c_0110_6 - 1428118067961284465712521675687315313/20360262077573427348823028302\ 6880341, c_0101_0 - 51084460231785173838918531355356981/203602620775734273488230\ 283026880341*c_0110_6^20 - 143792527208188377708415078909580287/203\ 602620775734273488230283026880341*c_0110_6^19 + 1561050606536121020953558216561734399/20360262077573427348823028302\ 6880341*c_0110_6^18 + 2006504281190611133118773045664664255/2036026\ 20775734273488230283026880341*c_0110_6^17 - 8459290227861271746176138514632771847/20360262077573427348823028302\ 6880341*c_0110_6^16 - 6316222862481456548233272736867248226/2036026\ 20775734273488230283026880341*c_0110_6^15 + 23956604581794017958327110320200943425/2036026207757342734882302830\ 26880341*c_0110_6^14 + 22591003266058375435905281475667859929/20360\ 2620775734273488230283026880341*c_0110_6^13 - 32018169346541418063444284887543760260/2036026207757342734882302830\ 26880341*c_0110_6^12 - 50712730242168115643026311126559972521/20360\ 2620775734273488230283026880341*c_0110_6^11 - 25038994693505429258465120902654157611/2036026207757342734882302830\ 26880341*c_0110_6^10 - 36185127788394528822072874284073976416/20360\ 2620775734273488230283026880341*c_0110_6^9 - 20128063789178783392593877696336430246/2036026207757342734882302830\ 26880341*c_0110_6^8 + 14487922344046666111014286594739168434/203602\ 620775734273488230283026880341*c_0110_6^7 + 392974690478140346413691027798834442/203602620775734273488230283026\ 880341*c_0110_6^6 + 47730073955789397738243383075949971/20360262077\ 5734273488230283026880341*c_0110_6^5 + 4616568064878400904976166895624438029/20360262077573427348823028302\ 6880341*c_0110_6^4 - 1662542825064027140768610682035861100/20360262\ 0775734273488230283026880341*c_0110_6^3 - 32716921260073362399139465135416593/2036026207757342734882302830268\ 80341*c_0110_6^2 + 629267833249661744670146942648892075/20360262077\ 5734273488230283026880341*c_0110_6 - 67584746472757585096321530174383194/2036026207757342734882302830268\ 80341, c_0101_1 + 49319269576093765018440828962141745/203602620775734273488230\ 283026880341*c_0110_6^20 + 64434216441515115205653836979293329/2036\ 02620775734273488230283026880341*c_0110_6^19 - 1697847166494319309166906067079296312/20360262077573427348823028302\ 6880341*c_0110_6^18 + 378287715087709754779810361889426278/20360262\ 0775734273488230283026880341*c_0110_6^17 + 10527325780904415732481580013316102840/2036026207757342734882302830\ 26880341*c_0110_6^16 - 6570106287735813722181843822287238046/203602\ 620775734273488230283026880341*c_0110_6^15 - 30054120983574374090459779897731930960/2036026207757342734882302830\ 26880341*c_0110_6^14 + 13347898270393635777541477564718626708/20360\ 2620775734273488230283026880341*c_0110_6^13 + 60625783497852851722449404395878520826/2036026207757342734882302830\ 26880341*c_0110_6^12 - 2473502023148118676322137450686730806/203602\ 620775734273488230283026880341*c_0110_6^11 - 51418687616376212685167845299002788855/2036026207757342734882302830\ 26880341*c_0110_6^10 + 9073380714321287406767064643806599327/203602\ 620775734273488230283026880341*c_0110_6^9 - 4227250810618315077566817992006167504/20360262077573427348823028302\ 6880341*c_0110_6^8 - 19440975843739715724782338872458598065/2036026\ 20775734273488230283026880341*c_0110_6^7 + 17208585472582555928689791537980777226/2036026207757342734882302830\ 26880341*c_0110_6^6 + 5164315433317815199801523313001426374/2036026\ 20775734273488230283026880341*c_0110_6^5 - 7311260838512274019904439222719596579/20360262077573427348823028302\ 6880341*c_0110_6^4 + 51587101743806801032536753068606468/2036026207\ 75734273488230283026880341*c_0110_6^3 + 508676921417665622258907020358560125/203602620775734273488230283026\ 880341*c_0110_6^2 - 97779526840831537353447914317576782/20360262077\ 5734273488230283026880341*c_0110_6 + 91411867189826319706116495435900998/2036026207757342734882302830268\ 80341, c_0101_2 - 1751348618739854643010895688406816950/2036026207757342734882\ 30283026880341*c_0110_6^20 - 3549914530156571935240683008308837520/\ 203602620775734273488230283026880341*c_0110_6^19 + 57052581224198932596655875890748900772/2036026207757342734882302830\ 26880341*c_0110_6^18 + 26117969360795436323163116335753929048/20360\ 2620775734273488230283026880341*c_0110_6^17 - 333021321354995060573156920981137347988/203602620775734273488230283\ 026880341*c_0110_6^16 + 9515780875135921509890119874059711729/20360\ 2620775734273488230283026880341*c_0110_6^15 + 942025750022092841566361224246177946774/203602620775734273488230283\ 026880341*c_0110_6^14 + 173095675766193694707451987856073186447/203\ 602620775734273488230283026880341*c_0110_6^13 - 1631046139338158630061070875054330007214/20360262077573427348823028\ 3026880341*c_0110_6^12 - 926732775179769288511453256710261991376/20\ 3602620775734273488230283026880341*c_0110_6^11 + 458454937608250790400533966641735148764/203602620775734273488230283\ 026880341*c_0110_6^10 - 536714630474739128911366660304268597205/203\ 602620775734273488230283026880341*c_0110_6^9 - 6827500042178711226128720504125764920/20360262077573427348823028302\ 6880341*c_0110_6^8 + 626767547685173001034438383538279666482/203602\ 620775734273488230283026880341*c_0110_6^7 - 246991174132750020882758621060577288640/203602620775734273488230283\ 026880341*c_0110_6^6 - 108509179009113842576158027293547868257/2036\ 02620775734273488230283026880341*c_0110_6^5 + 116564197532783135797075836432174709950/203602620775734273488230283\ 026880341*c_0110_6^4 - 26159885222981200007404316309116358343/20360\ 2620775734273488230283026880341*c_0110_6^3 - 1902603670429761804165964605122195982/20360262077573427348823028302\ 6880341*c_0110_6^2 + 5539108241449190968797349820698834358/20360262\ 0775734273488230283026880341*c_0110_6 - 1195308514890675306419458984508734998/20360262077573427348823028302\ 6880341, c_0101_5 + 1539866544419136459293045548249450938/2036026207757342734882\ 30283026880341*c_0110_6^20 + 2822455634620653459802285738917442013/\ 203602620775734273488230283026880341*c_0110_6^19 - 50838879963637150317742775098479707515/2036026207757342734882302830\ 26880341*c_0110_6^18 - 13399258481739510296757370955006141018/20360\ 2620775734273488230283026880341*c_0110_6^17 + 299487164449448033077317137318490218635/203602620775734273488230283\ 026880341*c_0110_6^16 - 63269629921520689771286844019985859570/2036\ 02620775734273488230283026880341*c_0110_6^15 - 839510047246773173761440307303436098109/203602620775734273488230283\ 026880341*c_0110_6^14 + 3929077484042925730050512220115016010/20360\ 2620775734273488230283026880341*c_0110_6^13 + 1501111128937986307774169861621087135821/20360262077573427348823028\ 3026880341*c_0110_6^12 + 557290716443703183026641330731074500967/20\ 3602620775734273488230283026880341*c_0110_6^11 - 622560905272269535956123791804321239806/203602620775734273488230283\ 026880341*c_0110_6^10 + 489870101697499112439970502618248862184/203\ 602620775734273488230283026880341*c_0110_6^9 - 83252848488372636144453649157768428034/2036026207757342734882302830\ 26880341*c_0110_6^8 - 570478087035651063551958899867567291506/20360\ 2620775734273488230283026880341*c_0110_6^7 + 315264732413668141214658248605415948707/203602620775734273488230283\ 026880341*c_0110_6^6 + 78845378663564045931536768648888743643/20360\ 2620775734273488230283026880341*c_0110_6^5 - 122050772654301993481214194679609610118/203602620775734273488230283\ 026880341*c_0110_6^4 + 36247339395777482232313521279131655854/20360\ 2620775734273488230283026880341*c_0110_6^3 + 264830034160752618012347170550717000/203602620775734273488230283026\ 880341*c_0110_6^2 - 5360299254344249660443554342060562696/203602620\ 775734273488230283026880341*c_0110_6 + 1783957933622748151628445957083820186/20360262077573427348823028302\ 6880341, c_0110_6^21 + 7/3*c_0110_6^20 - 32*c_0110_6^19 - 25*c_0110_6^18 + 187*c_0110_6^17 + 54*c_0110_6^16 - 1643/3*c_0110_6^15 - 799/3*c_0110_6^14 + 2773/3*c_0110_6^13 + 2482/3*c_0110_6^12 - 412/3*c_0110_6^11 + 566/3*c_0110_6^10 + 97*c_0110_6^9 - 1108/3*c_0110_6^8 + 82/3*c_0110_6^7 + 362/3*c_0110_6^6 - 48*c_0110_6^5 - 26/3*c_0110_6^4 + 22/3*c_0110_6^3 - 3*c_0110_6^2 - 1/3*c_0110_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB