Magma V2.19-8 Tue Aug 20 2013 16:15:56 on localhost [Seed = 981181958] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0157 geometric_solution 3.64616698 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 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 0 1 -1 0 0 1 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.940158165400 0.056939453796 0 0 2 2 0132 3201 2310 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 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.178743141960 0.200221255428 3 1 1 3 0132 3201 0132 1023 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 1 -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 1.452958628151 0.195925324465 2 4 5 2 0132 0132 0132 1023 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 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.288441929978 0.981730167279 5 3 6 6 2310 0132 0132 3120 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 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.202336609681 0.402680178949 6 6 4 3 1023 0213 3201 0132 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 1 0 -1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202336609681 0.402680178949 4 5 5 4 3120 1023 0213 0132 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 1 0 -1 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.999054605162 0.504347437866 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_4'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 7872537142056566532317836384323338292788413031/72543370922030728564\ 236800086325033237070432*c_0101_4^24 + 707924334342680831569452479639904258865613479763/507803596454215099\ 949657600604275232659493024*c_0101_4^23 + 459098023545944697220232314077139614774347078127/846339327423691833\ 24942933434045872109915504*c_0101_4^22 + 19883884072639147646552861302082638256016096635369/5078035964542150\ 99949657600604275232659493024*c_0101_4^21 + 271895199807733515655704875904053875619023768621/453396068262692053\ 5264800005395314577316902*c_0101_4^20 + 54958041706787421402074234415060910460638566803575/1269508991135537\ 74987414400151068808164873256*c_0101_4^19 + 45418682377931944464594592242877821639795786474665/1692678654847383\ 66649885866868091744219831008*c_0101_4^18 + 313607187415693910737649233913402967323781960739633/126950899113553\ 774987414400151068808164873256*c_0101_4^17 + 22589340136040676620521473591399154388867453063691/4231696637118459\ 1662471466717022936054957752*c_0101_4^16 + 2052139567854377136800371706606555587839134585787475/25390179822710\ 7549974828800302137616329746512*c_0101_4^15 + 1705765628798433518088284264392670819916129160935/60452809101692273\ 80353066673860419436422536*c_0101_4^14 + 2722727839221429428756034253949187456538576157093883/16926786548473\ 8366649885866868091744219831008*c_0101_4^13 - 207102065445490197417474141065973609713816113795543/253901798227107\ 549974828800302137616329746512*c_0101_4^12 + 487147773328788622150179369488457408921900062945063/241811236406769\ 09521412266695441677745690144*c_0101_4^11 - 488361284201652783886457882149067086411551953550305/253901798227107\ 549974828800302137616329746512*c_0101_4^10 + 2714025236005068703859664466032812130956854559701471/16926786548473\ 8366649885866868091744219831008*c_0101_4^9 - 998700933494378987051719494795300800104652199538463/507803596454215\ 099949657600604275232659493024*c_0101_4^8 + 43035210144872968891406571956259029218633893163219/5402165919725692\ 552655931921322076943186096*c_0101_4^7 - 82229257868097105486182343242142311494219562947643/7254337092203072\ 8564236800086325033237070432*c_0101_4^6 + 197821014284301004847161748568967496320913067608091/846339327423691\ 83324942933434045872109915504*c_0101_4^5 - 187703621247953030420374268789123401134601056348865/507803596454215\ 099949657600604275232659493024*c_0101_4^4 + 182349356355670848548175844704518601430287548548249/507803596454215\ 099949657600604275232659493024*c_0101_4^3 - 10270390723164770365851690228391889197288315895587/1692678654847383\ 66649885866868091744219831008*c_0101_4^2 + 3712966662232700460281366065463641628792445363069/16926786548473836\ 6649885866868091744219831008*c_0101_4 - 113981551963065470998621939144568807244397089545/317377247783884437\ 46853600037767202041218314, c_0011_0 - 1, c_0011_2 - 6184546730017123231198820247210113856136/1607787476108837069\ 2428368813458562330911*c_0101_4^24 - 79898727024672628563310430458197720000301/1607787476108837069242836\ 8813458562330911*c_0101_4^23 - 311217906816022017462386679437138492\ 202301/16077874761088370692428368813458562330911*c_0101_4^22 - 2205669989858124675807996908147421694881606/16077874761088370692428\ 368813458562330911*c_0101_4^21 - 3388658504594272587851541846674083\ 760825333/16077874761088370692428368813458562330911*c_0101_4^20 - 23582037265019924719693796636898581424045618/1607787476108837069242\ 8368813458562330911*c_0101_4^19 - 149350321877200605033004668349040\ 59269532016/16077874761088370692428368813458562330911*c_0101_4^18 - 127688441596452901551063864704856300074292672/160778747610883706924\ 28368813458562330911*c_0101_4^17 - 30417439460416037599531475909163522892416288/1607787476108837069242\ 8368813458562330911*c_0101_4^16 - 386983286795149647335101799913682\ 609150403689/16077874761088370692428368813458562330911*c_0101_4^15 - 23991264640322860727247094456758147294427921/1607787476108837069242\ 8368813458562330911*c_0101_4^14 - 692816406917913419895534558633321\ 494926046747/16077874761088370692428368813458562330911*c_0101_4^13 + 17941296114834294203442253808841217300574016/1607787476108837069242\ 8368813458562330911*c_0101_4^12 - 753438263537869436139026408987353\ 856056807886/16077874761088370692428368813458562330911*c_0101_4^11 + 60623793055340555746746324784660185365875330/1607787476108837069242\ 8368813458562330911*c_0101_4^10 - 497101426921972802263008487689892\ 201956175590/16077874761088370692428368813458562330911*c_0101_4^9 + 62020616479944904931139728849128194074214776/1607787476108837069242\ 8368813458562330911*c_0101_4^8 - 1914237498192072917547524999316157\ 84716999795/16077874761088370692428368813458562330911*c_0101_4^7 + 32361910615187377632616982663817651005933680/1607787476108837069242\ 8368813458562330911*c_0101_4^6 - 3913215331434534657965777087923326\ 8223087467/16077874761088370692428368813458562330911*c_0101_4^5 + 8397346361739276313992897458298277686994293/16077874761088370692428\ 368813458562330911*c_0101_4^4 - 34753756265768183801381788547891379\ 27773255/16077874761088370692428368813458562330911*c_0101_4^3 + 814099143179699398526101706626723389496050/160778747610883706924283\ 68813458562330911*c_0101_4^2 - 666571945201856154040752172651035277\ 67480/16077874761088370692428368813458562330911*c_0101_4 + 7508965300665083597408566903427413898152/16077874761088370692428368\ 813458562330911, c_0011_5 - 8340632854533311031203975776906470403527/3215574952217674138\ 4856737626917124661822*c_0101_4^24 - 107400490856901220139078850282018835778609/321557495221767413848567\ 37626917124661822*c_0101_4^23 - 20654224711209194209724659943980387\ 3612860/16077874761088370692428368813458562330911*c_0101_4^22 - 2930295624549501994209262595046315910949591/32155749522176741384856\ 737626917124661822*c_0101_4^21 - 2171583839301216329292696955586034\ 893144040/16077874761088370692428368813458562330911*c_0101_4^20 - 15444657676911545681806368716429869049248138/1607787476108837069242\ 8368813458562330911*c_0101_4^19 - 177669813264043816646695371089048\ 57217592273/32155749522176741384856737626917124661822*c_0101_4^18 - 81894638876473591936035133749179923926542707/1607787476108837069242\ 8368813458562330911*c_0101_4^17 - 149511461541900744017832459897981\ 84236957892/16077874761088370692428368813458562330911*c_0101_4^16 - 240153307619248658626713433742698820063477042/160778747610883706924\ 28368813458562330911*c_0101_4^15 - 3125954110184619269101706802552432548579032/16077874761088370692428\ 368813458562330911*c_0101_4^14 - 8174750760592016918443945394150553\ 93594221237/32155749522176741384856737626917124661822*c_0101_4^13 + 27075202844034044749838505271087434685904901/1607787476108837069242\ 8368813458562330911*c_0101_4^12 - 825092912805821102975083822058973\ 622978006109/32155749522176741384856737626917124661822*c_0101_4^11 + 45113611202938607959796888967721600110478460/1607787476108837069242\ 8368813458562330911*c_0101_4^10 - 488330463553388045523356516311847\ 964838379859/32155749522176741384856737626917124661822*c_0101_4^9 + 66362121371319950959703545349245775869454309/3215574952217674138485\ 6737626917124661822*c_0101_4^8 - 7984435514582024779210835849453167\ 8454776122/16077874761088370692428368813458562330911*c_0101_4^7 + 23882307125306595323346483633119413920414433/3215574952217674138485\ 6737626917124661822*c_0101_4^6 - 1246689193546789222978895575580406\ 9842446767/16077874761088370692428368813458562330911*c_0101_4^5 + 3527869354700826643925198961349805952342835/32155749522176741384856\ 737626917124661822*c_0101_4^4 - 13434942509107261888871524769206751\ 25811553/32155749522176741384856737626917124661822*c_0101_4^3 + 112084118651368997621264057053224484725559/321557495221767413848567\ 37626917124661822*c_0101_4^2 - 461412077828120980702862562231799208\ 13/32155749522176741384856737626917124661822*c_0101_4 - 788878380261666718184030247165676189809/160778747610883706924283688\ 13458562330911, c_0101_0 - 1040904428764036056498237199440415098071/3215574952217674138\ 4856737626917124661822*c_0101_4^24 - 19612057970670434891172598681501524056709/3215574952217674138485673\ 7626917124661822*c_0101_4^23 - 662638085712095627950179772346820688\ 83985/16077874761088370692428368813458562330911*c_0101_4^22 - 685580315909524441167936072629280386142573/321557495221767413848567\ 37626917124661822*c_0101_4^21 - 13823108588194392437821960134734647\ 10716543/16077874761088370692428368813458562330911*c_0101_4^20 - 3712709094780349554545968059974080020529673/16077874761088370692428\ 368813458562330911*c_0101_4^19 - 2551699258881338575834649955709294\ 3886075077/32155749522176741384856737626917124661822*c_0101_4^18 - 18759146041745138545442679083949660347508277/1607787476108837069242\ 8368813458562330911*c_0101_4^17 - 627042546557929885921047474814003\ 72271870366/16077874761088370692428368813458562330911*c_0101_4^16 - 52704544292055268899232177441696908201950300/1607787476108837069242\ 8368813458562330911*c_0101_4^15 - 174098794472955175944502032226054\ 136101232440/16077874761088370692428368813458562330911*c_0101_4^14 - 185894426716478121159479845846804284299565443/321557495221767413848\ 56737626917124661822*c_0101_4^13 - 279697368557596631776929924792329443675176679/160778747610883706924\ 28368813458562330911*c_0101_4^12 - 219794418158292671196257502954343766111450579/321557495221767413848\ 56737626917124661822*c_0101_4^11 - 260323719369184088125411917588212803288832035/160778747610883706924\ 28368813458562330911*c_0101_4^10 - 174780818154174417652916638998326597651907723/321557495221767413848\ 56737626917124661822*c_0101_4^9 - 268619253955659667426819164518745\ 393411948143/32155749522176741384856737626917124661822*c_0101_4^8 - 43759629833805515446200279140046218564991849/1607787476108837069242\ 8368813458562330911*c_0101_4^7 - 6591316761404516339953409122433932\ 4816782969/32155749522176741384856737626917124661822*c_0101_4^6 - 11901641641461644231132083643649607404623327/1607787476108837069242\ 8368813458562330911*c_0101_4^5 - 3613531833369176204620813937499276\ 979807897/32155749522176741384856737626917124661822*c_0101_4^4 - 2545586273227123047210786277416948369987523/32155749522176741384856\ 737626917124661822*c_0101_4^3 + 64932307163924757930035901543373682\ 5466935/32155749522176741384856737626917124661822*c_0101_4^2 - 59778269430316793850612591008085868855293/3215574952217674138485673\ 7626917124661822*c_0101_4 + 142760319790164293605552309395209581550\ 55/16077874761088370692428368813458562330911, c_0101_1 - 1793477795512423265473588057963866528389/3215574952217674138\ 4856737626917124661822*c_0101_4^24 - 19056501298290958058630135942010108135029/3215574952217674138485673\ 7626917124661822*c_0101_4^23 - 179940551763478900044726093882448815\ 20496/16077874761088370692428368813458562330911*c_0101_4^22 - 417317058394833263553251027055045927525735/321557495221767413848567\ 37626917124661822*c_0101_4^21 + 27515070894231735487967802836214648\ 4057400/16077874761088370692428368813458562330911*c_0101_4^20 - 2080743764791929646206506178158653713302106/16077874761088370692428\ 368813458562330911*c_0101_4^19 + 1219505848922656736156354377807541\ 7467238019/32155749522176741384856737626917124661822*c_0101_4^18 - 11435195630356899707665547419558537748665277/1607787476108837069242\ 8368813458562330911*c_0101_4^17 + 405910400958435896340206178782958\ 44265253358/16077874761088370692428368813458562330911*c_0101_4^16 - 35970214414142747891592193862413676722498199/1607787476108837069242\ 8368813458562330911*c_0101_4^15 + 134527359597132942369063083935384\ 010325806486/16077874761088370692428368813458562330911*c_0101_4^14 - 135461072009961823080787974995764121833733947/321557495221767413848\ 56737626917124661822*c_0101_4^13 + 255249293486532390642439973881395342905743289/160778747610883706924\ 28368813458562330911*c_0101_4^12 - 164293732033094037148236707195728195087850497/321557495221767413848\ 56737626917124661822*c_0101_4^11 + 292673063165432279699452992686272482917115390/160778747610883706924\ 28368813458562330911*c_0101_4^10 - 135161071781325741337927692460713383082341345/321557495221767413848\ 56737626917124661822*c_0101_4^9 + 409488661585072645360821428762770\ 722421291837/32155749522176741384856737626917124661822*c_0101_4^8 - 36902812065157307450175218396157213308831686/1607787476108837069242\ 8368813458562330911*c_0101_4^7 + 1698073290492171949770823917916008\ 06148639469/32155749522176741384856737626917124661822*c_0101_4^6 - 11776229193833539350326502018596333013902875/1607787476108837069242\ 8368813458562330911*c_0101_4^5 + 3851009567324171652401705322276640\ 4519705153/32155749522176741384856737626917124661822*c_0101_4^4 - 3347090681266085848764259072390599310782109/32155749522176741384856\ 737626917124661822*c_0101_4^3 + 39692151386286950779448528628394543\ 57965477/32155749522176741384856737626917124661822*c_0101_4^2 - 139461767605735008394752822833143320813059/321557495221767413848567\ 37626917124661822*c_0101_4 + 43912880558225145533416044715077458660\ 309/16077874761088370692428368813458562330911, c_0101_3 - 8745459745230441543079160962034346589527/3215574952217674138\ 4856737626917124661822*c_0101_4^24 - 110026401845698650944660735310899502019195/321557495221767413848567\ 37626917124661822*c_0101_4^23 - 19870187726565416611516100472112388\ 7266088/16077874761088370692428368813458562330911*c_0101_4^22 - 2914036507658646171451019498473415490456273/32155749522176741384856\ 737626917124661822*c_0101_4^21 - 1768392225914934019337923217731913\ 362303642/16077874761088370692428368813458562330911*c_0101_4^20 - 15123964218772594343638315786902932773803353/1607787476108837069242\ 8368813458562330911*c_0101_4^19 - 812708842986879578919029293535012\ 7932173879/32155749522176741384856737626917124661822*c_0101_4^18 - 79065501535253163403594184858859992123845844/1607787476108837069242\ 8368813458562330911*c_0101_4^17 + 105787974202721870739422112688242\ 00329176673/16077874761088370692428368813458562330911*c_0101_4^16 - 226533726560150211975315577716119889044257512/160778747610883706924\ 28368813458562330911*c_0101_4^15 + 67276591561486407422455494608853720917205089/1607787476108837069242\ 8368813458562330911*c_0101_4^14 - 741407139705348143300225550692629\ 073569405429/32155749522176741384856737626917124661822*c_0101_4^13 + 135111300335285196118227037550958320689160626/160778747610883706924\ 28368813458562330911*c_0101_4^12 - 705804646540750823978799176635011101447792759/321557495221767413848\ 56737626917124661822*c_0101_4^11 + 137927315121340834004161496790371436033456227/160778747610883706924\ 28368813458562330911*c_0101_4^10 - 384605492427541538076516095550287517421128875/321557495221767413848\ 56737626917124661822*c_0101_4^9 + 149469738367936220737891513776114\ 324132836339/32155749522176741384856737626917124661822*c_0101_4^8 - 55932958371352089022138699586997095566511712/1607787476108837069242\ 8368813458562330911*c_0101_4^7 + 3814786287328557651533797410827478\ 8117643077/32155749522176741384856737626917124661822*c_0101_4^6 - 7460365307389121330940239344021530122994053/16077874761088370692428\ 368813458562330911*c_0101_4^5 + 24433451352660403912396450796139479\ 56237721/32155749522176741384856737626917124661822*c_0101_4^4 - 816990893588634684288077963084993210569169/321557495221767413848567\ 37626917124661822*c_0101_4^3 - 304360962313634933868674910478523586\ 325325/32155749522176741384856737626917124661822*c_0101_4^2 - 10749798841094782422048712391267402908301/3215574952217674138485673\ 7626917124661822*c_0101_4 - 695886312455968404537954649693392825907\ 7/16077874761088370692428368813458562330911, c_0101_4^25 + 13*c_0101_4^24 + 52*c_0101_4^23 + 369*c_0101_4^22 + 610*c_0101_4^21 + 4088*c_0101_4^20 + 3107*c_0101_4^19 + 23298*c_0101_4^18 + 8512*c_0101_4^17 + 76126*c_0101_4^16 + 14232*c_0101_4^15 + 151585*c_0101_4^14 + 15372*c_0101_4^13 + 190483*c_0101_4^12 + 10612*c_0101_4^11 + 152685*c_0101_4^10 + 4155*c_0101_4^9 + 76848*c_0101_4^8 + 467*c_0101_4^7 + 23096*c_0101_4^6 - 265*c_0101_4^5 + 3735*c_0101_4^4 - 91*c_0101_4^3 + 265*c_0101_4^2 - 6*c_0101_4 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB