Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 442205901] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1079 geometric_solution 4.95024488 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 0 -1 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 0 -1 0 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.913290272860 1.040428291712 2 0 0 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 -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 0.038249605017 0.335678810001 1 3 4 3 0132 2310 0132 0321 0 0 0 0 0 -1 0 1 0 0 0 0 -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 -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.509912365018 1.259781200950 4 2 1 2 2310 0321 0132 3201 0 0 0 0 0 -1 0 1 -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 -1 1 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.509912365018 1.259781200950 5 5 3 2 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173244140730 0.876395377964 4 6 4 6 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.420977403622 1.773800963507 5 5 6 6 3201 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198293409115 0.087400323771 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : 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' : 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' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_3']), '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' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), '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' : 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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(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' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_3']), '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_0011_4, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 3290357973858933031010237125776797578046528090127896/45943983304038\ 512410926318116416620221637082099801*c_0110_6^33 - 178015743152118719843280290152529653547799646997979643/918879666080\ 77024821852636232833240443274164199602*c_0110_6^31 - 942300475603815204202804462202958218535120939426862460/459439833040\ 38512410926318116416620221637082099801*c_0110_6^29 + 29040062357527815119878026468877538574603703727815991/7531800541645\ 65777228300296990436397076017739341*c_0110_6^27 + 34382120333974671814030935805853210165026365351742374611/9188796660\ 8077024821852636232833240443274164199602*c_0110_6^25 + 62513107879633011927441455468095953965220551187198374390/4594398330\ 4038512410926318116416620221637082099801*c_0110_6^23 - 236258120301601058852208353517544999554997688777954897795/918879666\ 08077024821852636232833240443274164199602*c_0110_6^21 - 1087597919075654914761216276886665774006432499657843992941/91887966\ 608077024821852636232833240443274164199602*c_0110_6^19 - 344052405137741856713145517066541402490623688093525283002/459439833\ 04038512410926318116416620221637082099801*c_0110_6^17 + 1577000612042803014371393166668215566207314621528670802600/45943983\ 304038512410926318116416620221637082099801*c_0110_6^15 - 1309685457206733505445363349474080803712243747552868463270/45943983\ 304038512410926318116416620221637082099801*c_0110_6^13 + 1415692215352083279901237486456364888107979357866279115407/91887966\ 608077024821852636232833240443274164199602*c_0110_6^11 - 647359966813485572317650761340126338665729474338896714573/918879666\ 08077024821852636232833240443274164199602*c_0110_6^9 + 192734422099271531746046930385714801275808280224195079515/918879666\ 08077024821852636232833240443274164199602*c_0110_6^7 - 33712418180990347075211073771225932807220763222896536703/9188796660\ 8077024821852636232833240443274164199602*c_0110_6^5 + 1741059219923838348830952659010614527820340922014997323/45943983304\ 038512410926318116416620221637082099801*c_0110_6^3 - 130581574147263571603639159016262561831429597433068613/918879666080\ 77024821852636232833240443274164199602*c_0110_6, c_0011_0 - 1, c_0011_3 + 48246548683333721323555569548011542982138578535826/459439833\ 04038512410926318116416620221637082099801*c_0110_6^33 + 1307835768022706503513598961778020591775649107053782/45943983304038\ 512410926318116416620221637082099801*c_0110_6^31 + 13890590760609588843055749947701781400946954779950888/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^29 - 412967344620365829560607893900903492634042059233617/753180054164565\ 777228300296990436397076017739341*c_0110_6^27 - 253460053601664824855543045684048248916599696707569526/459439833040\ 38512410926318116416620221637082099801*c_0110_6^25 - 930933173412755456611086959302059240642972259207977242/459439833040\ 38512410926318116416620221637082099801*c_0110_6^23 + 1679260733253705093711344147187085439015688484716884965/45943983304\ 038512410926318116416620221637082099801*c_0110_6^21 + 8066205987865819757558974721061295702755634470768284649/45943983304\ 038512410926318116416620221637082099801*c_0110_6^19 + 5501857783876910114473453452391593478388549788078412906/45943983304\ 038512410926318116416620221637082099801*c_0110_6^17 - 22797492706601685202615716087344461035458574228533434309/4594398330\ 4038512410926318116416620221637082099801*c_0110_6^15 + 17933545561914769535492677745506864665392987720229720307/4594398330\ 4038512410926318116416620221637082099801*c_0110_6^13 - 9418288675756481418619967407340228655601447042726433021/45943983304\ 038512410926318116416620221637082099801*c_0110_6^11 + 4254527854388534106994465610085952112698196223575426581/45943983304\ 038512410926318116416620221637082099801*c_0110_6^9 - 1194559196982144924611818513567782116587684948621423490/45943983304\ 038512410926318116416620221637082099801*c_0110_6^7 + 189229716034471943578444433203914720251964632383592678/459439833040\ 38512410926318116416620221637082099801*c_0110_6^5 - 17397626491938289911457836632039073070740010111467656/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^3 + 411074971540585302686165851938668380479584105532245/459439833040385\ 12410926318116416620221637082099801*c_0110_6, c_0011_4 - 5855868617277183489895927385107995232550466693202/4594398330\ 4038512410926318116416620221637082099801*c_0110_6^33 - 159002468809441028039397320335075500497321245176367/459439833040385\ 12410926318116416620221637082099801*c_0110_6^31 - 1693218494977973955648664423350836440052679509035259/45943983304038\ 512410926318116416620221637082099801*c_0110_6^29 + 48839547691906373553076060061944237742696039671506/7531800541645657\ 77228300296990436397076017739341*c_0110_6^27 + 30881475020810036081348005960320128630514996962819330/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^25 + 114414927516857015528545473319494754326956597251475952/459439833040\ 38512410926318116416620221637082099801*c_0110_6^23 - 198324296473037355385959337995697424181018346512157104/459439833040\ 38512410926318116416620221637082099801*c_0110_6^21 - 986811280689112757677534673915007054985012551026036054/459439833040\ 38512410926318116416620221637082099801*c_0110_6^19 - 714098126612206809899351194875493423323730550283327706/459439833040\ 38512410926318116416620221637082099801*c_0110_6^17 + 2724606235133985882360805023440181801328384939403158174/45943983304\ 038512410926318116416620221637082099801*c_0110_6^15 - 2062968760889361611950050889830366503722225956335018150/45943983304\ 038512410926318116416620221637082099801*c_0110_6^13 + 1073180826372803643215963666588069803557022493127030375/45943983304\ 038512410926318116416620221637082099801*c_0110_6^11 - 481874333404535969541508946144645341091609464352314840/459439833040\ 38512410926318116416620221637082099801*c_0110_6^9 + 129598757426334533607711139827156900787546991153675862/459439833040\ 38512410926318116416620221637082099801*c_0110_6^7 - 19643201933156558587787113947950742584914630494962718/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^5 + 1761932236221417566911734659130499997185024799054879/45943983304038\ 512410926318116416620221637082099801*c_0110_6^3 + 66506303744766300491326163479386096401772481139577/4594398330403851\ 2410926318116416620221637082099801*c_0110_6, c_0101_0 - 86424310336026831071779097067546613106308099477504/459439833\ 04038512410926318116416620221637082099801*c_0110_6^33 - 2337803471806401300701047758945774639879364479825476/45943983304038\ 512410926318116416620221637082099801*c_0110_6^31 - 24748279936609012715591902894154710484477908364221245/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^29 + 763186290050254417610704712424387945067871149402263/753180054164565\ 777228300296990436397076017739341*c_0110_6^27 + 451559556852637347651312087717857355298307345319840114/459439833040\ 38512410926318116416620221637082099801*c_0110_6^25 + 1641510848050161362261992540739303456686646739708651064/45943983304\ 038512410926318116416620221637082099801*c_0110_6^23 - 3105183050473492648695092090957200186290522754102617879/45943983304\ 038512410926318116416620221637082099801*c_0110_6^21 - 14285001453206370906878956289471013521750597367361329506/4594398330\ 4038512410926318116416620221637082099801*c_0110_6^19 - 9019666793760140568173519682454607291378941303265203560/45943983304\ 038512410926318116416620221637082099801*c_0110_6^17 + 41463655035392905896422230648953190717361107844540781628/4594398330\ 4038512410926318116416620221637082099801*c_0110_6^15 - 34399887929559283641914099054322642072656722357948225177/4594398330\ 4038512410926318116416620221637082099801*c_0110_6^13 + 18538721795832001593565178188259342781829272233009416827/4594398330\ 4038512410926318116416620221637082099801*c_0110_6^11 - 8471480955881763946472414623330915707312577786265616686/45943983304\ 038512410926318116416620221637082099801*c_0110_6^9 + 2516248625712183667804255616523057169415710370468345335/45943983304\ 038512410926318116416620221637082099801*c_0110_6^7 - 435770142235000140002139851221036312878460471685700699/459439833040\ 38512410926318116416620221637082099801*c_0110_6^5 + 44599744816328407215784184609068496548165015704757419/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^3 - 1622576217466572683663633433978006867354390218705048/45943983304038\ 512410926318116416620221637082099801*c_0110_6, c_0101_2 + 388913444748537573630301929793160489574780320751/75318005416\ 4565777228300296990436397076017739341*c_0110_6^33 + 10552743078033131844786419465900767363461521231663/7531800541645657\ 77228300296990436397076017739341*c_0110_6^31 + 112253948310770357250040903002613465397732155422697/753180054164565\ 777228300296990436397076017739341*c_0110_6^29 - 200023790216431661333506730004205471462352148839138/753180054164565\ 777228300296990436397076017739341*c_0110_6^27 - 2047824833221838250279475104583388659241544670466362/75318005416456\ 5777228300296990436397076017739341*c_0110_6^25 - 7559544474140601672276287055149829810973537299460697/75318005416456\ 5777228300296990436397076017739341*c_0110_6^23 + 13324338714904517601672472151606355397886025123110330/7531800541645\ 65777228300296990436397076017739341*c_0110_6^21 + 65331725150384976578281542578501925047812352214894100/7531800541645\ 65777228300296990436397076017739341*c_0110_6^19 + 46146723832947768990055939545754326790865433039779885/7531800541645\ 65777228300296990436397076017739341*c_0110_6^17 - 182177227845590919292727581596282304462567255669471325/753180054164\ 565777228300296990436397076017739341*c_0110_6^15 + 140062044735128087844823957419147779559158362788352153/753180054164\ 565777228300296990436397076017739341*c_0110_6^13 - 73086992890681132129512324954780221499589748635694258/7531800541645\ 65777228300296990436397076017739341*c_0110_6^11 + 32910269734743932997765544048660927323932259844868186/7531800541645\ 65777228300296990436397076017739341*c_0110_6^9 - 9015484730462839823412209247988072546105876883152201/75318005416456\ 5777228300296990436397076017739341*c_0110_6^7 + 1390841501153113376481648587076205076211242957151205/75318005416456\ 5777228300296990436397076017739341*c_0110_6^5 - 125990626170231134658506760124170964008128979216420/753180054164565\ 777228300296990436397076017739341*c_0110_6^3 + 1409825269595857532767394730536731149110662347697/75318005416456577\ 7228300296990436397076017739341*c_0110_6, c_0101_4 - 498508935831646000716015824811753820470891611694/45943983304\ 038512410926318116416620221637082099801*c_0110_6^32 - 13434526365655843769659125850725695675016023149212/4594398330403851\ 2410926318116416620221637082099801*c_0110_6^30 - 141353388748588463244961286578298009569531231382357/459439833040385\ 12410926318116416620221637082099801*c_0110_6^28 + 4655598482284033036036962154713528403064942411187/75318005416456577\ 7228300296990436397076017739341*c_0110_6^26 + 2589186057274211565872347722982391484754691333233860/45943983304038\ 512410926318116416620221637082099801*c_0110_6^24 + 9192426177780069029330923464095034855274654680782013/45943983304038\ 512410926318116416620221637082099801*c_0110_6^22 - 19075361041481544983705160602212999111890797657696135/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^20 - 81448526883242059785358486027522857884808750982782315/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^18 - 42868720768489377380734469230896193509721582980011867/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^16 + 251337736304497496427496553175879762692815432222602698/459439833040\ 38512410926318116416620221637082099801*c_0110_6^14 - 214236335949199732596469073258046550678580386319186735/459439833040\ 38512410926318116416620221637082099801*c_0110_6^12 + 113347379827832528738100626221261766909018479231909921/459439833040\ 38512410926318116416620221637082099801*c_0110_6^10 - 53764688828925524794514775684378582048363325208028057/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^8 + 15964052415074654039979776206114083302507315856756448/4594398330403\ 8512410926318116416620221637082099801*c_0110_6^6 - 2856478039919423366957666405910627766781411381893678/45943983304038\ 512410926318116416620221637082099801*c_0110_6^4 + 419373162657558839210825776640619802417381734785955/459439833040385\ 12410926318116416620221637082099801*c_0110_6^2 + 3952813250937121149090959637155378914077272631207/45943983304038512\ 410926318116416620221637082099801, c_0110_6^34 + 27*c_0110_6^32 + 285*c_0110_6^30 - 553*c_0110_6^28 - 5197*c_0110_6^26 - 18732*c_0110_6^24 + 36870*c_0110_6^22 + 163424*c_0110_6^20 + 96129*c_0110_6^18 - 484532*c_0110_6^16 + 422633*c_0110_6^14 - 235688*c_0110_6^12 + 109481*c_0110_6^10 - 34369*c_0110_6^8 + 6642*c_0110_6^6 - 794*c_0110_6^4 + 47*c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB