Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 559988221] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0885 geometric_solution 4.78619624 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.172208510151 0.594124897044 0 0 3 2 2310 0132 0132 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 -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 0.342333898723 0.466980969280 3 4 1 3 1230 0132 0132 1302 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 1 -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.697253990764 0.751028314103 4 2 2 1 2310 3012 2031 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 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 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.697253990764 0.751028314103 5 2 3 5 0132 0132 3201 3201 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 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.450312963036 0.638710114709 4 4 6 6 0132 2310 0132 2310 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 -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 2.235548344768 1.112692764655 5 6 6 5 3201 3201 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.616019833117 0.144830847161 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 525632022574465023299318036995226/31463947166546480775228551271517*\ c_0101_5^22 - 3271594287230809235868531100744489/314639471665464807\ 75228551271517*c_0101_5^21 - 3051346952207055621974807473079819/314\ 63947166546480775228551271517*c_0101_5^20 + 2635281726059219182141232190422992/31463947166546480775228551271517\ *c_0101_5^19 - 66882057765187530795976385154155445/3146394716654648\ 0775228551271517*c_0101_5^18 + 77478121143133859985815621621152139/\ 31463947166546480775228551271517*c_0101_5^17 + 553312535765452983520614406744843127/314639471665464807752285512715\ 17*c_0101_5^16 - 105796890050023568398435640391455203/3146394716654\ 6480775228551271517*c_0101_5^15 - 123416088970438349088933088587319\ 5580/31463947166546480775228551271517*c_0101_5^14 + 75268900278610786260190721355258158/3146394716654648077522855127151\ 7*c_0101_5^13 + 1264656107276611574664514830433942985/3146394716654\ 6480775228551271517*c_0101_5^12 - 149395017248262557385628099464409\ 364/31463947166546480775228551271517*c_0101_5^11 - 994703925033180894439537942762758107/314639471665464807752285512715\ 17*c_0101_5^10 - 223961452060026384968715277265959583/3146394716654\ 6480775228551271517*c_0101_5^9 + 6334240336882271911877111397335259\ 95/31463947166546480775228551271517*c_0101_5^8 + 280262793472938524358387891988819798/314639471665464807752285512715\ 17*c_0101_5^7 - 435376692121772110854247593591651424/31463947166546\ 480775228551271517*c_0101_5^6 - 10954598326588046649434629459922993\ 1/31463947166546480775228551271517*c_0101_5^5 + 140658450041936900139670439613259593/314639471665464807752285512715\ 17*c_0101_5^4 + 54574061224697105853029025636377296/314639471665464\ 80775228551271517*c_0101_5^3 + 34922617056556165478319957788018959/\ 31463947166546480775228551271517*c_0101_5^2 + 2816581925632786251202717513425937/31463947166546480775228551271517\ *c_0101_5 - 5688639388704239171250021066195301/31463947166546480775\ 228551271517, c_0011_0 - 1, c_0011_2 + 2662348696126442120398803521121/3146394716654648077522855127\ 1517*c_0101_5^22 - 8571672906787078960171851156704/3146394716654648\ 0775228551271517*c_0101_5^21 - 57338627853395232103465509583148/314\ 63947166546480775228551271517*c_0101_5^20 - 71313244453902383891857635185178/31463947166546480775228551271517*c\ _0101_5^19 - 397643233780932248467775062106295/31463947166546480775\ 228551271517*c_0101_5^18 - 725193811706099290357917238967418/314639\ 47166546480775228551271517*c_0101_5^17 + 2853975178268993920717120664949829/31463947166546480775228551271517\ *c_0101_5^16 + 7485105269005573998035062773437603/31463947166546480\ 775228551271517*c_0101_5^15 - 73039650485879109519225646404877/3146\ 3947166546480775228551271517*c_0101_5^14 - 8879084328811872876495817117491987/31463947166546480775228551271517\ *c_0101_5^13 + 1654625841396429371652235635449953/31463947166546480\ 775228551271517*c_0101_5^12 + 9769011072819588814929404355951670/31\ 463947166546480775228551271517*c_0101_5^11 + 462784389811611552709903251659688/31463947166546480775228551271517*\ c_0101_5^10 - 5942206952847275236578101056606778/314639471665464807\ 75228551271517*c_0101_5^9 - 2178642386347759695246403115226352/3146\ 3947166546480775228551271517*c_0101_5^8 + 3625384568006638337358592840688844/31463947166546480775228551271517\ *c_0101_5^7 + 1593175592202966903342614223405421/314639471665464807\ 75228551271517*c_0101_5^6 - 2471080720168065531153013741540241/3146\ 3947166546480775228551271517*c_0101_5^5 - 844813967243145345728357358824010/31463947166546480775228551271517*\ c_0101_5^4 - 79715960399534473773064828090184/314639471665464807752\ 28551271517*c_0101_5^3 - 71073375743068031460189902132214/314639471\ 66546480775228551271517*c_0101_5^2 + 132016862404281803056863715693990/31463947166546480775228551271517*\ c_0101_5 + 13535359747083661455713348277656/31463947166546480775228\ 551271517, c_0011_6 + 11974870758840890893217695681098/314639471665464807752285512\ 71517*c_0101_5^22 - 63511134984255389093193075384898/31463947166546\ 480775228551271517*c_0101_5^21 - 121234246835696508651466267345902/\ 31463947166546480775228551271517*c_0101_5^20 - 89431106762372537951638559911429/31463947166546480775228551271517*c\ _0101_5^19 - 1659066798221224638497696665889500/3146394716654648077\ 5228551271517*c_0101_5^18 + 185945175094721940937078800949028/31463\ 947166546480775228551271517*c_0101_5^17 + 11844516688235639008675461309252955/3146394716654648077522855127151\ 7*c_0101_5^16 + 8872715748800062677275570981142847/3146394716654648\ 0775228551271517*c_0101_5^15 - 13825522282395515624362586699353802/\ 31463947166546480775228551271517*c_0101_5^14 - 7612690233442667235567989230643647/31463947166546480775228551271517\ *c_0101_5^13 + 15504503677166381053503759055815250/3146394716654648\ 0775228551271517*c_0101_5^12 + 9080255099835045188073397014224372/3\ 1463947166546480775228551271517*c_0101_5^11 - 7701008912743780297217119085642047/31463947166546480775228551271517\ *c_0101_5^10 - 8785371166386353528768179664718632/31463947166546480\ 775228551271517*c_0101_5^9 + 3522924589430129900636974460422232/314\ 63947166546480775228551271517*c_0101_5^8 + 6142168418227989370807447628345749/31463947166546480775228551271517\ *c_0101_5^7 - 2646484172481072891015865721903122/314639471665464807\ 75228551271517*c_0101_5^6 - 2853182785423375613487122504049560/3146\ 3947166546480775228551271517*c_0101_5^5 - 423403981097300633536316559173490/31463947166546480775228551271517*\ c_0101_5^4 - 135765604672370615379502243999498/31463947166546480775\ 228551271517*c_0101_5^3 + 198254326392620887819650140821791/3146394\ 7166546480775228551271517*c_0101_5^2 + 94555609942200483727840012648767/31463947166546480775228551271517*c\ _0101_5 - 4176673067142894913748325839238/3146394716654648077522855\ 1271517, c_0101_0 + 12984596241099006839163689105674/314639471665464807752285512\ 71517*c_0101_5^22 - 70595957977916367436247151659409/31463947166546\ 480775228551271517*c_0101_5^21 - 124143610997157155672759587033924/\ 31463947166546480775228551271517*c_0101_5^20 - 67453520229443375921160876613559/31463947166546480775228551271517*c\ _0101_5^19 - 1781607065191715710162890408758521/3146394716654648077\ 5228551271517*c_0101_5^18 + 452783327994504917854234539982931/31463\ 947166546480775228551271517*c_0101_5^17 + 13067054756281523148475730681907136/3146394716654648077522855127151\ 7*c_0101_5^16 + 7596864106497142801993189533187937/3146394716654648\ 0775228551271517*c_0101_5^15 - 17674055650177426832108199708866725/\ 31463947166546480775228551271517*c_0101_5^14 - 6009579948159331735385678289352380/31463947166546480775228551271517\ *c_0101_5^13 + 19222287752367747810095271120343852/3146394716654648\ 0775228551271517*c_0101_5^12 + 6783318401722349341902264617472833/3\ 1463947166546480775228551271517*c_0101_5^11 - 10506060796393205417061998728394334/3146394716654648077522855127151\ 7*c_0101_5^10 - 8480664850222408234080115826717132/3146394716654648\ 0775228551271517*c_0101_5^9 + 5435475043685259323504328604067856/31\ 463947166546480775228551271517*c_0101_5^8 + 6487676535498242762720719614169634/31463947166546480775228551271517\ *c_0101_5^7 - 4202645718373755041906261434164661/314639471665464807\ 75228551271517*c_0101_5^6 - 2610009842824069945496429709248410/3146\ 3947166546480775228551271517*c_0101_5^5 - 66472788081291213054163220568348/31463947166546480775228551271517*c\ _0101_5^4 - 44440137589903486240829276220276/3146394716654648077522\ 8551271517*c_0101_5^3 + 408730319846425179337781315986073/314639471\ 66546480775228551271517*c_0101_5^2 + 77224164334941509723431782023009/31463947166546480775228551271517*c\ _0101_5 - 28105027592056275628799896233965/314639471665464807752285\ 51271517, c_0101_1 + 4350446482119089118344010974805/3146394716654648077522855127\ 1517*c_0101_5^22 - 19414021150861602904477326207765/314639471665464\ 80775228551271517*c_0101_5^21 - 66523955378548554795493783671152/31\ 463947166546480775228551271517*c_0101_5^20 - 50168236373629316785659373206312/31463947166546480775228551271517*c\ _0101_5^19 - 618938031996773005528611557850528/31463947166546480775\ 228551271517*c_0101_5^18 - 424596922261083896891459736875483/314639\ 47166546480775228551271517*c_0101_5^17 + 4773716252527447474462441486293027/31463947166546480775228551271517\ *c_0101_5^16 + 6385911032277896957975064177893779/31463947166546480\ 775228551271517*c_0101_5^15 - 4817587983620825741153765106475927/31\ 463947166546480775228551271517*c_0101_5^14 - 6793372299018230835165058958086318/31463947166546480775228551271517\ *c_0101_5^13 + 6228863686422365370265497315102976/31463947166546480\ 775228551271517*c_0101_5^12 + 6813253984568300914787525669663814/31\ 463947166546480775228551271517*c_0101_5^11 - 2493397747818271812264792900424911/31463947166546480775228551271517\ *c_0101_5^10 - 5258423703003087401483403479537374/31463947166546480\ 775228551271517*c_0101_5^9 - 3530931605465208560905967075078/314639\ 47166546480775228551271517*c_0101_5^8 + 3773646249117967634490620314929356/31463947166546480775228551271517\ *c_0101_5^7 - 340523722586917912429228075715557/3146394716654648077\ 5228551271517*c_0101_5^6 - 1880751310760431301785783693488075/31463\ 947166546480775228551271517*c_0101_5^5 - 442716701014579624791267519355360/31463947166546480775228551271517*\ c_0101_5^4 - 151412111025277946477610921315731/31463947166546480775\ 228551271517*c_0101_5^3 + 128057269363383379197803473518074/3146394\ 7166546480775228551271517*c_0101_5^2 + 111850363346478117497114776523242/31463947166546480775228551271517*\ c_0101_5 - 668632993517790759411471426240/3146394716654648077522855\ 1271517, c_0101_3 - 4817204926886080859345531412238/3146394716654648077522855127\ 1517*c_0101_5^22 + 23572290666466641018843040019852/314639471665464\ 80775228551271517*c_0101_5^21 + 59186103505564696920948851172154/31\ 463947166546480775228551271517*c_0101_5^20 + 56174066797690733177799589240210/31463947166546480775228551271517*c\ _0101_5^19 + 684349987897981500519587736452848/31463947166546480775\ 228551271517*c_0101_5^18 + 197269749337476489236756804101552/314639\ 47166546480775228551271517*c_0101_5^17 - 4784420486348835247717914279574373/31463947166546480775228551271517\ *c_0101_5^16 - 5506046406812609736383903768154640/31463947166546480\ 775228551271517*c_0101_5^15 + 3953160230062686278202887103858020/31\ 463947166546480775228551271517*c_0101_5^14 + 5253355772066117504480734032051933/31463947166546480775228551271517\ *c_0101_5^13 - 4644499150884234643667863599594945/31463947166546480\ 775228551271517*c_0101_5^12 - 6167593552733394566223016596250190/31\ 463947166546480775228551271517*c_0101_5^11 + 1211661432289576456695824659133554/31463947166546480775228551271517\ *c_0101_5^10 + 4787767625885510410281223833261886/31463947166546480\ 775228551271517*c_0101_5^9 + 285976603797584691528256137086862/3146\ 3947166546480775228551271517*c_0101_5^8 - 2895679435056278886217162947879882/31463947166546480775228551271517\ *c_0101_5^7 - 166658998653044003199239538129487/3146394716654648077\ 5228551271517*c_0101_5^6 + 1504764894769181358414063095344767/31463\ 947166546480775228551271517*c_0101_5^5 + 815955843867728770691265757109152/31463947166546480775228551271517*\ c_0101_5^4 + 97162592626826243748678232401422/314639471665464807752\ 28551271517*c_0101_5^3 - 75499610342141224468573783831255/314639471\ 66546480775228551271517*c_0101_5^2 - 70549701017408222173860431687154/31463947166546480775228551271517*c\ _0101_5 - 4210383090774752722110974776592/3146394716654648077522855\ 1271517, c_0101_5^23 - 5*c_0101_5^22 - 12*c_0101_5^21 - 9*c_0101_5^20 - 139*c_0101_5^19 - 25*c_0101_5^18 + 1030*c_0101_5^17 + 1019*c_0101_5^16 - 1170*c_0101_5^15 - 1072*c_0101_5^14 + 1390*c_0101_5^13 + 1182*c_0101_5^12 - 696*c_0101_5^11 - 1013*c_0101_5^10 + 216*c_0101_5^9 + 717*c_0101_5^8 - 156*c_0101_5^7 - 375*c_0101_5^6 - 55*c_0101_5^5 + 7*c_0101_5^4 + 23*c_0101_5^3 + 16*c_0101_5^2 - 2*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB