Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 2631729240] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0431 geometric_solution 4.48495258 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.689518656424 0.068012876125 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 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 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.874168855098 0.073662396104 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -1 0 1 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 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.808722322263 0.195406102328 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -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 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.974736008033 0.740388564564 3 6 5 5 0132 0132 3012 1230 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 0 0 0 0 0 -1 1 -1 0 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 1.249704832618 1.130139222984 4 4 6 3 3012 1230 0132 0132 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 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 1.249704832618 1.130139222984 6 4 6 5 2031 0132 1302 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.407734211208 0.614153528732 ==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' : negation(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' : 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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], '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' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 62481306932191981141162577377269448807/1926292756086196489076652363\ 966646264*c_0101_5^31 + 5930830036802182840525475048925774316627/38\ 52585512172392978153304727933292528*c_0101_5^29 - 14689301921669001241813276916024995028613/4815731890215491222691630\ 90991661566*c_0101_5^27 + 64432571347997056845160634452107620879917\ 3/1926292756086196489076652363966646264*c_0101_5^25 - 1145665847261975196125432829288610039359397/48157318902154912226916\ 3090991661566*c_0101_5^23 + 210429216468957775326092415310657160999\ 79785/1926292756086196489076652363966646264*c_0101_5^21 - 15714938541090712939989738313561913150673177/4815731890215491222691\ 63090991661566*c_0101_5^19 + 12636864066628747194310919836762151413\ 1511523/1926292756086196489076652363966646264*c_0101_5^17 - 352138648637948946932064312999806196811714557/385258551217239297815\ 3304727933292528*c_0101_5^15 + 345470088539334275097706148816258376\ 161401643/3852585512172392978153304727933292528*c_0101_5^13 - 238832641345117075283973276759473658504227499/385258551217239297815\ 3304727933292528*c_0101_5^11 + 713522721983084602704527641001302590\ 5644807/240786594510774561134581545495830783*c_0101_5^9 - 35909309500354723059604349593734309789429907/3852585512172392978153\ 304727933292528*c_0101_5^7 + 66553216548075664105706904862939580172\ 55133/3852585512172392978153304727933292528*c_0101_5^5 - 540001533262521816053995971596865042959817/385258551217239297815330\ 4727933292528*c_0101_5^3 - 612193854586838922454090888797943027087/\ 963146378043098244538326181983323132*c_0101_5, c_0011_0 - 1, c_0011_1 + 192490573586094339805222635909565007/22662267718661135165607\ 6748701958384*c_0101_5^30 - 570696510950476615849680597463279451/14\ 163917324163209478504796793872399*c_0101_5^28 + 90401638863688503094942853379523444829/1133113385933056758280383743\ 50979192*c_0101_5^26 - 495228058632375012875937317529932846587/5665\ 5669296652837914019187175489596*c_0101_5^24 + 7037559401731910531472943085073993827189/11331133859330567582803837\ 4350979192*c_0101_5^22 - 4033706018966276544883147654948474737085/1\ 4163917324163209478504796793872399*c_0101_5^20 + 24055748371407220507011205326463307212451/2832783464832641895700959\ 3587744798*c_0101_5^18 - 386194070340678747856270238732341550346783\ /226622677186611351656076748701958384*c_0101_5^16 + 537410918873953344589729843257867771761437/226622677186611351656076\ 748701958384*c_0101_5^14 - 5272199341728879528627095115608587908171\ 59/226622677186611351656076748701958384*c_0101_5^12 + 182682922126541966756400989643909569615297/113311338593305675828038\ 374350979192*c_0101_5^10 - 1759226582221172294164199371258376016398\ 01/226622677186611351656076748701958384*c_0101_5^8 + 56335476556330690934904464077891794287179/2266226771866113516560767\ 48701958384*c_0101_5^6 - 10935061761132944308277793292073799029929/\ 226622677186611351656076748701958384*c_0101_5^4 + 129888630995276740095329474207020875965/283278346483264189570095935\ 87744798*c_0101_5^2 - 1348093916132023525649094761118446578/1416391\ 7324163209478504796793872399, c_0011_5 + 215656144482290502368598476504067829/22662267718661135165607\ 6748701958384*c_0101_5^30 - 640922807795886538160532618750472240/14\ 163917324163209478504796793872399*c_0101_5^28 + 101861690820130958898527122512454447239/113311338593305675828038374\ 350979192*c_0101_5^26 - 560496129856422159122229693472230502937/566\ 55669296652837914019187175489596*c_0101_5^24 + 8006408873522242902537888203638162217775/11331133859330567582803837\ 4350979192*c_0101_5^22 - 4625017432875017632726885340682167335744/1\ 4163917324163209478504796793872399*c_0101_5^20 + 27888253777964812498940579861815623392893/2832783464832641895700959\ 3587744798*c_0101_5^18 - 453902474390965910327583868538072969208581\ /226622677186611351656076748701958384*c_0101_5^16 + 641853856923266492046805657459742913199999/226622677186611351656076\ 748701958384*c_0101_5^14 - 6413509809227610837935350315046496859272\ 29/226622677186611351656076748701958384*c_0101_5^12 + 226897357131739690497489979393049457284163/113311338593305675828038\ 374350979192*c_0101_5^10 - 2237432067012424982310443189956744965477\ 63/226622677186611351656076748701958384*c_0101_5^8 + 73641299139981098989128733442282421862121/2266226771866113516560767\ 48701958384*c_0101_5^6 - 14759704768658290374889850401512221985843/\ 226622677186611351656076748701958384*c_0101_5^4 + 181741379209468719515199769411119905535/283278346483264189570095935\ 87744798*c_0101_5^2 - 1914034033905770475635633225506721058/1416391\ 7324163209478504796793872399, c_0101_0 + 581715143897388690010613603313228041/45324535437322270331215\ 3497403916768*c_0101_5^31 - 863764761126938179654831013940903588/14\ 163917324163209478504796793872399*c_0101_5^29 + 274269611214946912935526421069447998427/226622677186611351656076748\ 701958384*c_0101_5^27 - 1507033834960129943214270516425445103417/11\ 3311338593305675828038374350979192*c_0101_5^25 + 21491138298844362001298363140899538385915/2266226771866113516560767\ 48701958384*c_0101_5^23 - 6191468868415598291086584761696912122677/\ 14163917324163209478504796793872399*c_0101_5^21 + 74391045039242864677911672733293310531639/5665566929665283791401918\ 7175489596*c_0101_5^19 - 120495458716663410853427161617186842945906\ 5/453245354373222703312153497403916768*c_0101_5^17 + 1693774193133284904710280387922986937560043/45324535437322270331215\ 3497403916768*c_0101_5^15 - 168018040841554599612207280061472345530\ 7697/453245354373222703312153497403916768*c_0101_5^13 + 589172051451815660293381199738471221357623/226622677186611351656076\ 748701958384*c_0101_5^11 - 5746832976861594342753066039708592663229\ 27/453245354373222703312153497403916768*c_0101_5^9 + 186590934713611714521566529295294185675821/453245354373222703312153\ 497403916768*c_0101_5^7 - 36768109560067666879292517123530434147839\ /453245354373222703312153497403916768*c_0101_5^5 + 444400139944547198426955791279865277465/566556692966528379140191871\ 75489596*c_0101_5^3 - 4794359235535505944372273131484531891/2832783\ 4648326418957009593587744798*c_0101_5, c_0101_1 - 92449026882827981242465864059996901/566556692966528379140191\ 87175489596*c_0101_5^30 + 4388662642093330059699261874281209319/566\ 55669296652837914019187175489596*c_0101_5^28 - 43492441056216056883367853188860586205/2832783464832641895700959358\ 7744798*c_0101_5^26 + 477149178300200835543508218500514625391/28327\ 834648326418957009593587744798*c_0101_5^24 - 3395620160619599637708603463092093645659/28327834648326418957009593\ 587744798*c_0101_5^22 + 15606973108336089743103717347201369723907/2\ 8327834648326418957009593587744798*c_0101_5^20 - 23347048753813826566369813633214863194362/1416391732416320947850479\ 6793872399*c_0101_5^18 + 188196616049525343854285907076249550114177\ /56655669296652837914019187175489596*c_0101_5^16 - 131592885966755534472274001110426342390499/283278346483264189570095\ 93587744798*c_0101_5^14 + 12983616772975224865331360572592026045735\ 7/28327834648326418957009593587744798*c_0101_5^12 - 181131317373606076119012078959586817106909/566556692966528379140191\ 87175489596*c_0101_5^10 + 87873482989596060364672287277541431528929\ /56655669296652837914019187175489596*c_0101_5^8 - 14195178639151352441097424536994419857469/2832783464832641895700959\ 3587744798*c_0101_5^6 + 2784890708399476541769971699790865205973/28\ 327834648326418957009593587744798*c_0101_5^4 - 535973914421361578302638843498939139865/566556692966528379140191871\ 75489596*c_0101_5^2 + 2809121050097594890124542776246481559/1416391\ 7324163209478504796793872399, c_0101_4 + 153792575324518980021045009540834233/22662267718661135165607\ 6748701958384*c_0101_5^31 - 3661654882527404555667914744730818845/1\ 13311338593305675828038374350979192*c_0101_5^29 + 72881938276020055468112671129773306759/1133113385933056758280383743\ 50979192*c_0101_5^27 - 100514300198209795740398023140878493547/1416\ 3917324163209478504796793872399*c_0101_5^25 + 5760044180187853288650233310886686098559/11331133859330567582803837\ 4350979192*c_0101_5^23 - 13367710561670248485201697089970289127087/\ 56655669296652837914019187175489596*c_0101_5^21 + 20273324290089831287398111645494271471693/2832783464832641895700959\ 3587744798*c_0101_5^19 - 332362980971385554133327588483101004172505\ /226622677186611351656076748701958384*c_0101_5^17 + 473802460833369074265222888156914508231957/226622677186611351656076\ 748701958384*c_0101_5^15 - 4775479324354057823593538873436835551815\ 59/226622677186611351656076748701958384*c_0101_5^13 + 21308741031330910490641452432355109239474/1416391732416320947850479\ 6793872399*c_0101_5^11 - 169640444147114375681760986346706764820547\ /226622677186611351656076748701958384*c_0101_5^9 + 56344354035578149475978387213718459623907/2266226771866113516560767\ 48701958384*c_0101_5^7 - 11392095148745895668421788778854922991801/\ 226622677186611351656076748701958384*c_0101_5^5 + 565843645011248779561089798636461931107/113311338593305675828038374\ 350979192*c_0101_5^3 - 3055016291854837561175792827799410139/283278\ 34648326418957009593587744798*c_0101_5, c_0101_5^32 - 48*c_0101_5^30 + 966*c_0101_5^28 - 10820*c_0101_5^26 + 78918*c_0101_5^24 - 376480*c_0101_5^22 + 1188696*c_0101_5^20 - 2569809*c_0101_5^18 + 3923107*c_0101_5^16 - 4313785*c_0101_5^14 + 3443918*c_0101_5^12 - 1985943*c_0101_5^10 + 809333*c_0101_5^8 - 222487*c_0101_5^6 + 37624*c_0101_5^4 - 3184*c_0101_5^2 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB