Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 4122241326] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0890 geometric_solution 4.79028710 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 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 -1 2 -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.880643541112 0.992911088378 2 0 0 3 0132 0132 1023 0132 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 1 0 -1 1 0 -2 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.043234902843 0.359536461234 1 4 4 5 0132 0132 1023 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 0 1 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502180598385 0.595010599916 6 5 1 4 0132 0321 0132 2310 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 -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.565347535556 1.569473847352 3 2 2 6 3201 0132 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.234439101681 0.401637128934 6 6 2 3 1023 1302 0132 0321 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 0 -1 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.724321701747 0.719088338053 3 5 4 5 0132 1023 1230 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 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 -3.486194785195 0.320315368245 ==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_0110_4'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0101_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 26901245920546142528417821702709/1450547993131042905296507841633*c_\ 0110_4^20 + 39899816788587298783778843840029/1450547993131042905296\ 507841633*c_0110_4^19 + 415632917553385142574776218436609/145054799\ 3131042905296507841633*c_0110_4^18 - 202383835845400435140891957737564/483515997710347635098835947211*c_\ 0110_4^17 - 1017295062622090861651057669701295/14505479931310429052\ 96507841633*c_0110_4^16 + 1597479892934552182279160041186313/483515\ 997710347635098835947211*c_0110_4^15 - 3440285580312872587460852505700039/1450547993131042905296507841633*\ c_0110_4^14 - 15236081119982259461976694029320177/14505479931310429\ 05296507841633*c_0110_4^13 + 3558466147426937361341878597800307/145\ 0547993131042905296507841633*c_0110_4^12 + 15522238822710855651956629548229730/1450547993131042905296507841633\ *c_0110_4^11 - 9358951873960996526327056249631686/14505479931310429\ 05296507841633*c_0110_4^10 - 9177661525244574765102590967608846/145\ 0547993131042905296507841633*c_0110_4^9 + 17880254120280987684999863762921726/1450547993131042905296507841633\ *c_0110_4^8 - 2904112022430051333460154504406748/483515997710347635\ 098835947211*c_0110_4^7 - 12101320612386418679845075921113788/14505\ 47993131042905296507841633*c_0110_4^6 + 17910901596930877661406672275285417/1450547993131042905296507841633\ *c_0110_4^5 + 3130411043588962021906405034892233/145054799313104290\ 5296507841633*c_0110_4^4 - 7733300120124693118039814644431740/14505\ 47993131042905296507841633*c_0110_4^3 + 568423502854091775460233292057888/1450547993131042905296507841633*c\ _0110_4^2 + 1074796975423630046032499549309920/14505479931310429052\ 96507841633*c_0110_4 - 89437961922852886429937726116918/48351599771\ 0347635098835947211, c_0011_0 - 1, c_0011_3 + 1101731003078416652159794773667/4835159977103476350988359472\ 11*c_0110_4^20 + 2349502140600929741728908540209/483515997710347635\ 098835947211*c_0110_4^19 + 18210235691638871828025529380196/4835159\ 97710347635098835947211*c_0110_4^18 - 4567004224187210686442776536550/161171999236782545032945315737*c_01\ 10_4^17 - 55981618503617575335117208968107/483515997710347635098835\ 947211*c_0110_4^16 + 55028108379423012608982244063420/1611719992367\ 82545032945315737*c_0110_4^15 - 16873807845297545134782915993398/48\ 3515997710347635098835947211*c_0110_4^14 - 690172986209858590905826100091934/483515997710347635098835947211*c_\ 0110_4^13 - 287596279036691282566297280744593/483515997710347635098\ 835947211*c_0110_4^12 + 665946639014328432554849986875622/483515997\ 710347635098835947211*c_0110_4^11 + 84973843288613177880278471657809/483515997710347635098835947211*c_0\ 110_4^10 - 543058716139383241603481386951249/4835159977103476350988\ 35947211*c_0110_4^9 + 417811601630178140633974755247099/48351599771\ 0347635098835947211*c_0110_4^8 + 28349939136744764658902549705485/1\ 61171999236782545032945315737*c_0110_4^7 - 627409705165484203566995093245678/483515997710347635098835947211*c_\ 0110_4^6 + 339912457794731465732682744020182/4835159977103476350988\ 35947211*c_0110_4^5 + 566071436574701449664310398641165/48351599771\ 0347635098835947211*c_0110_4^4 - 131223043891835391241597294886956/\ 483515997710347635098835947211*c_0110_4^3 - 190924044738419531096731564450690/483515997710347635098835947211*c_\ 0110_4^2 + 7437270396193505067847777317686/483515997710347635098835\ 947211*c_0110_4 + 6338533691095993597218530064922/16117199923678254\ 5032945315737, c_0101_0 - 204556517070747666270218756354/48351599771034763509883594721\ 1*c_0110_4^20 - 306416151684321482008940876812/48351599771034763509\ 8835947211*c_0110_4^19 - 3123369179195338406967056870345/4835159977\ 10347635098835947211*c_0110_4^18 + 1543648705075478708733295931690/161171999236782545032945315737*c_01\ 10_4^17 + 8465255018660324718228879035521/4835159977103476350988359\ 47211*c_0110_4^16 - 12419195722285620074632802861888/16117199923678\ 2545032945315737*c_0110_4^15 + 24383821992822451278782767258117/483\ 515997710347635098835947211*c_0110_4^14 + 123077256809665985181372508842137/483515997710347635098835947211*c_\ 0110_4^13 - 31217756095013622490767208296721/4835159977103476350988\ 35947211*c_0110_4^12 - 138223216381142038120742579523602/4835159977\ 10347635098835947211*c_0110_4^11 + 70961931890503119970786030887139/483515997710347635098835947211*c_0\ 110_4^10 + 86281977876764017206777438454367/48351599771034763509883\ 5947211*c_0110_4^9 - 144768642711101280393105525785639/483515997710\ 347635098835947211*c_0110_4^8 + 19025766635473745267398404496579/16\ 1171999236782545032945315737*c_0110_4^7 + 112508302070127026383276171333940/483515997710347635098835947211*c_\ 0110_4^6 - 149333328559415709481493633843945/4835159977103476350988\ 35947211*c_0110_4^5 - 32652515169020321476564532571842/483515997710\ 347635098835947211*c_0110_4^4 + 74655628888493484061400737323005/48\ 3515997710347635098835947211*c_0110_4^3 + 905530056910763632457470735472/483515997710347635098835947211*c_011\ 0_4^2 - 10537086406357278076378721772487/48351599771034763509883594\ 7211*c_0110_4 + 317282178171747285599735602690/16117199923678254503\ 2945315737, c_0101_1 + 210082588431479543141400071665/48351599771034763509883594721\ 1*c_0110_4^20 + 545941208883184000057121109233/48351599771034763509\ 8835947211*c_0110_4^19 + 3618993560616058837432792316251/4835159977\ 10347635098835947211*c_0110_4^18 - 359833288064745836160743887495/161171999236782545032945315737*c_011\ 0_4^17 - 12855314878332785240991183544850/4835159977103476350988359\ 47211*c_0110_4^16 + 9336259486102535593498467277084/161171999236782\ 545032945315737*c_0110_4^15 + 13498554617926756642994521133125/4835\ 15997710347635098835947211*c_0110_4^14 - 144008075136876528507275914025164/483515997710347635098835947211*c_\ 0110_4^13 - 107025535646464922865165433046731/483515997710347635098\ 835947211*c_0110_4^12 + 133698933784071392531363626663681/483515997\ 710347635098835947211*c_0110_4^11 + 67063606075704047506675902891232/483515997710347635098835947211*c_0\ 110_4^10 - 128083774184059369016581846856035/4835159977103476350988\ 35947211*c_0110_4^9 + 50935105584041116988280545604472/483515997710\ 347635098835947211*c_0110_4^8 + 23390611613084794582755597781570/16\ 1171999236782545032945315737*c_0110_4^7 - 148631519074397184879903125235283/483515997710347635098835947211*c_\ 0110_4^6 + 31320366523976005664334484786156/48351599771034763509883\ 5947211*c_0110_4^5 + 157176483115961281014754428708592/483515997710\ 347635098835947211*c_0110_4^4 - 8924416628273765470285003080655/483\ 515997710347635098835947211*c_0110_4^3 - 55256144622320288128037952622189/483515997710347635098835947211*c_0\ 110_4^2 - 2278793255390250502335761346946/4835159977103476350988359\ 47211*c_0110_4 + 1931006249825097063355895831950/161171999236782545\ 032945315737, c_0101_2 + 676863694823440240444992608012/48351599771034763509883594721\ 1*c_0110_4^20 + 1269319621146052308861671422180/4835159977103476350\ 98835947211*c_0110_4^19 + 10865593168863114100616641939169/48351599\ 7710347635098835947211*c_0110_4^18 - 3732163775924606438049347687816/161171999236782545032945315737*c_01\ 10_4^17 - 31445364761589158576175248261473/483515997710347635098835\ 947211*c_0110_4^16 + 36513844480307893227404163519542/1611719992367\ 82545032945315737*c_0110_4^15 - 39170590065457001303415666431341/48\ 3515997710347635098835947211*c_0110_4^14 - 413112826079206145244915748257572/483515997710347635098835947211*c_\ 0110_4^13 - 68885499246590865750858283110452/4835159977103476350988\ 35947211*c_0110_4^12 + 420453701279793706853601800618471/4835159977\ 10347635098835947211*c_0110_4^11 - 58004335076033445784125815169802/483515997710347635098835947211*c_0\ 110_4^10 - 308057571401882233668977881585835/4835159977103476350988\ 35947211*c_0110_4^9 + 337347302631648375957384139077908/48351599771\ 0347635098835947211*c_0110_4^8 - 14921934242087880213456525218386/1\ 61171999236782545032945315737*c_0110_4^7 - 368959149273271984649037059361203/483515997710347635098835947211*c_\ 0110_4^6 + 310210352739994384383581891292539/4835159977103476350988\ 35947211*c_0110_4^5 + 254657871842562205015889121291440/48351599771\ 0347635098835947211*c_0110_4^4 - 139853840682173057108324102005703/\ 483515997710347635098835947211*c_0110_4^3 - 72866980223823634644393818006429/483515997710347635098835947211*c_0\ 110_4^2 + 16399896382120999255203487542706/483515997710347635098835\ 947211*c_0110_4 + 1837265997918092256743167505903/16117199923678254\ 5032945315737, c_0101_4 - 968195591536866157694696948417/48351599771034763509883594721\ 1*c_0110_4^20 - 2311474405821004841247018596404/4835159977103476350\ 98835947211*c_0110_4^19 - 16412290047313519865215922354852/48351599\ 7710347635098835947211*c_0110_4^18 + 2717296797864238726124360240408/161171999236782545032945315737*c_01\ 10_4^17 + 54094708094696057404548556673380/483515997710347635098835\ 947211*c_0110_4^16 - 44978530182385900718287473601826/1611719992367\ 82545032945315737*c_0110_4^15 - 26975440786622268803012052449654/48\ 3515997710347635098835947211*c_0110_4^14 + 630411313075476546153990868876031/483515997710347635098835947211*c_\ 0110_4^13 + 395528168836496220812915442469961/483515997710347635098\ 835947211*c_0110_4^12 - 589186226718383668394268923648114/483515997\ 710347635098835947211*c_0110_4^11 - 218878592211543929524220075424719/483515997710347635098835947211*c_\ 0110_4^10 + 529997571710716637746085478152198/483515997710347635098\ 835947211*c_0110_4^9 - 272737580954073984413353438940330/4835159977\ 10347635098835947211*c_0110_4^8 - 71664328299841677204445940695568/\ 161171999236782545032945315737*c_0110_4^7 + 601692265361093693807035037161322/483515997710347635098835947211*c_\ 0110_4^6 - 182549750919970244208446463559904/4835159977103476350988\ 35947211*c_0110_4^5 - 630885982721260749611695958150897/48351599771\ 0347635098835947211*c_0110_4^4 + 55548397429537499834146883100275/4\ 83515997710347635098835947211*c_0110_4^3 + 225597764541420562522319184847580/483515997710347635098835947211*c_\ 0110_4^2 + 4694658767317260793472894209445/483515997710347635098835\ 947211*c_0110_4 - 8035395566965199856990601109417/16117199923678254\ 5032945315737, c_0110_4^21 + 2*c_0110_4^20 + 16*c_0110_4^19 - 15*c_0110_4^18 - 53*c_0110_4^17 + 162*c_0110_4^16 - 26*c_0110_4^15 - 667*c_0110_4^14 - 148*c_0110_4^13 + 775*c_0110_4^12 - 23*c_0110_4^11 - 640*c_0110_4^10 + 511*c_0110_4^9 + 108*c_0110_4^8 - 724*c_0110_4^7 + 454*c_0110_4^6 + 571*c_0110_4^5 - 325*c_0110_4^4 - 199*c_0110_4^3 + 86*c_0110_4^2 + 24*c_0110_4 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB