Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 3616951052] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1719 geometric_solution 5.42764084 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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 1.493295516733 0.640570303278 0 2 3 0 3201 0132 0132 0132 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 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.662586110487 0.358822126221 4 1 4 5 0132 0132 2310 0132 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 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.922762592835 0.580628829365 4 5 4 1 3201 0132 1023 0132 0 0 0 0 0 0 1 -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 0 1 -1 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.922762592835 0.580628829365 2 2 3 3 0132 3201 1023 2310 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 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.719323446483 0.387713913282 6 3 2 6 0132 0132 0132 1023 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782576060124 0.409421715610 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 0 0 -1 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 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 1.142939503851 0.408176060167 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(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' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], '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_0101_0, c_0101_2, c_0101_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 424856222779579819012548941008228722207965013/863983974555078999930\ 61102411142700277030326926*c_1001_1^16 + 3156704383200720881314189838645976540217421853/86398397455507899993\ 061102411142700277030326926*c_1001_1^15 + 30570165959336427578457842057551112984102171351/8639839745550789999\ 3061102411142700277030326926*c_1001_1^14 - 55160057836444237545492637270950605639918346003/4319919872775394999\ 6530551205571350138515163463*c_1001_1^13 - 205155008233581132123004853834615244379021665811/863983974555078999\ 93061102411142700277030326926*c_1001_1^12 + 554097282518741513526302686566286732009169753423/431991987277539499\ 96530551205571350138515163463*c_1001_1^11 + 325558509661456926160384173037055877152036659177/863983974555078999\ 93061102411142700277030326926*c_1001_1^10 - 4655852613462212222250382463861165945554378453479/86398397455507899\ 993061102411142700277030326926*c_1001_1^9 + 619281436462542905779727529790728225273318276172/431991987277539499\ 96530551205571350138515163463*c_1001_1^8 + 1404289469118587911264824185647244752810737504593/12342628207929699\ 999008728915877528611004332418*c_1001_1^7 - 319145756819136524644713299174975410487742355898/617131410396484999\ 9504364457938764305502166209*c_1001_1^6 - 6117177366825577136444053695032074304641026265030/43199198727753949\ 996530551205571350138515163463*c_1001_1^5 + 75019247675397907793084804875292580782358547609/8816163005664071427\ 86337779705537757928880887*c_1001_1^4 + 4426919652099171092557771786239914772877376860260/43199198727753949\ 996530551205571350138515163463*c_1001_1^3 - 6483688531475712619550115256739789129953367458647/86398397455507899\ 993061102411142700277030326926*c_1001_1^2 - 1804397145466346135065150490871632998940865020423/43199198727753949\ 996530551205571350138515163463*c_1001_1 + 2423384962955861656276420220711658114127574911233/86398397455507899\ 993061102411142700277030326926, c_0011_0 - 1, c_0011_1 - 7818928600650793685752655885591/9416066086404966252884980772\ 917553*c_1001_1^16 + 60586091194054687834580087528728/9416066086404\ 966252884980772917553*c_1001_1^15 + 545314488639926602698820098703818/941606608640496625288498077291755\ 3*c_1001_1^14 - 2221755847446215667474865222960852/9416066086404966\ 252884980772917553*c_1001_1^13 - 3192080493109886203468777757784412\ /9416066086404966252884980772917553*c_1001_1^12 + 22128442210930277623946739411846277/9416066086404966252884980772917\ 553*c_1001_1^11 - 754192687803989522718991249166032/941606608640496\ 6252884980772917553*c_1001_1^10 - 915964251570175281359430529462621\ 94/9416066086404966252884980772917553*c_1001_1^9 + 56179789232294672556392536720665398/9416066086404966252884980772917\ 553*c_1001_1^8 + 184345115092517382539425443813512328/9416066086404\ 966252884980772917553*c_1001_1^7 - 163149334237613978902107084521976117/941606608640496625288498077291\ 7553*c_1001_1^6 - 206643437374724035843681692384577672/941606608640\ 4966252884980772917553*c_1001_1^5 + 235368025286556465426294467546203323/941606608640496625288498077291\ 7553*c_1001_1^4 + 128800372423580600621635779297349554/941606608640\ 4966252884980772917553*c_1001_1^3 - 194229014628173658081272628771553005/941606608640496625288498077291\ 7553*c_1001_1^2 - 33128827040392810639997295447063565/9416066086404\ 966252884980772917553*c_1001_1 + 7828907435394356697754860817906329\ 6/9416066086404966252884980772917553, c_0101_0 + 8726195300209679907787512249205/9416066086404966252884980772\ 917553*c_1001_1^16 - 66799098447675413046451064668724/9416066086404\ 966252884980772917553*c_1001_1^15 - 614378051410123302199098695084695/941606608640496625288498077291755\ 3*c_1001_1^14 + 2418802851300712495595288034204411/9416066086404966\ 252884980772917553*c_1001_1^13 + 3754404745105302074739779386627715\ /9416066086404966252884980772917553*c_1001_1^12 - 24245644808839843658874449281446608/9416066086404966252884980772917\ 553*c_1001_1^11 - 1204425391594868779380073821684446/94160660864049\ 66252884980772917553*c_1001_1^10 + 101135445112564321154671476889749917/941606608640496625288498077291\ 7553*c_1001_1^9 - 53724800845145318108134437200828837/9416066086404\ 966252884980772917553*c_1001_1^8 - 207315229173681503034914184874055311/941606608640496625288498077291\ 7553*c_1001_1^7 + 162040489683615396404803244771682413/941606608640\ 4966252884980772917553*c_1001_1^6 + 240117637064827475705954935670003553/941606608640496625288498077291\ 7553*c_1001_1^5 - 237935674165872413618522461838443728/941606608640\ 4966252884980772917553*c_1001_1^4 - 163131297029752736410590022159346906/941606608640496625288498077291\ 7553*c_1001_1^3 + 192516718589423697960741842059835693/941606608640\ 4966252884980772917553*c_1001_1^2 + 58730470241132805574458684526961180/9416066086404966252884980772917\ 553*c_1001_1 - 73972248172696657442020981346862612/9416066086404966\ 252884980772917553, c_0101_2 + 15184637636328354072515597572261478163/135469225267090841629\ 24380492938802253759*c_1001_1^16 - 117650928529818178853834284629061666104/135469225267090841629243804\ 92938802253759*c_1001_1^15 - 10600675344412131322510081711379017011\ 68/13546922526709084162924380492938802253759*c_1001_1^14 + 4319956476877214899395751379649185194636/13546922526709084162924380\ 492938802253759*c_1001_1^13 + 6280229700910086593774387327706566735\ 617/13546922526709084162924380492938802253759*c_1001_1^12 - 43116549421192875568263857616595143673936/1354692252670908416292438\ 0492938802253759*c_1001_1^11 + 773184084529876236872929069098033342\ 568/13546922526709084162924380492938802253759*c_1001_1^10 + 179572649850653217087904124147548005337188/135469225267090841629243\ 80492938802253759*c_1001_1^9 - 106704476231682661132431720979307798\ 701904/13546922526709084162924380492938802253759*c_1001_1^8 - 52087449722692586052669457946673217056751/1935274646672726308989197\ 213276971750537*c_1001_1^7 + 45081995847801215087479105620927888269\ 743/1935274646672726308989197213276971750537*c_1001_1^6 + 409368823575957489380167712423912174955798/135469225267090841629243\ 80492938802253759*c_1001_1^5 - 661278140384083193317974310852016739\ 08617/1935274646672726308989197213276971750537*c_1001_1^4 - 246983737778345388809059265944931257152887/135469225267090841629243\ 80492938802253759*c_1001_1^3 + 375327273383132303127094551906404588\ 477468/13546922526709084162924380492938802253759*c_1001_1^2 + 66338320241695129564657169775315721626315/1354692252670908416292438\ 0492938802253759*c_1001_1 - 145851238236020614664293142543239728941\ 864/13546922526709084162924380492938802253759, c_0101_4 - 2125243318124863563611824494167032300/1354692252670908416292\ 4380492938802253759*c_1001_1^16 + 183459319834672893987394610158559\ 27703/13546922526709084162924380492938802253759*c_1001_1^15 + 135799359329396032367351005975190929105/135469225267090841629243804\ 92938802253759*c_1001_1^14 - 74724461694631383493294348798743842957\ 2/13546922526709084162924380492938802253759*c_1001_1^13 - 508631246714969878801731827471519783040/135469225267090841629243804\ 92938802253759*c_1001_1^12 + 70522768623944910787825771273306574163\ 26/13546922526709084162924380492938802253759*c_1001_1^11 - 3921036251182110412567427711507067335361/13546922526709084162924380\ 492938802253759*c_1001_1^10 - 2754727923753863508757020241809943015\ 0947/13546922526709084162924380492938802253759*c_1001_1^9 + 28826813906331326921420713601495285905904/1354692252670908416292438\ 0492938802253759*c_1001_1^8 + 6833561716927222250168353336902011503\ 382/1935274646672726308989197213276971750537*c_1001_1^7 - 9038815978285946338324103912690033351625/19352746466727263089891972\ 13276971750537*c_1001_1^6 - 420198926402754920696840442778431899577\ 29/13546922526709084162924380492938802253759*c_1001_1^5 + 9563968591543064611800686379064977300215/19352746466727263089891972\ 13276971750537*c_1001_1^4 + 160596681182372413793346211607875306396\ 63/13546922526709084162924380492938802253759*c_1001_1^3 - 48203427381882393790648900867623021597815/1354692252670908416292438\ 0492938802253759*c_1001_1^2 + 2622274602541713579218499763813044276\ 964/13546922526709084162924380492938802253759*c_1001_1 + 15677610550935289751213163029173743446569/1354692252670908416292438\ 0492938802253759, c_0101_6 - 13996221133974418809328761766778827263/135469225267090841629\ 24380492938802253759*c_1001_1^16 + 111659193690785865221510347237873363961/135469225267090841629243804\ 92938802253759*c_1001_1^15 + 95247978684904542147893975513455844830\ 6/13546922526709084162924380492938802253759*c_1001_1^14 - 4206819630260235955926365628965733702905/13546922526709084162924380\ 492938802253759*c_1001_1^13 - 4912571984862860905200114239477397001\ 846/13546922526709084162924380492938802253759*c_1001_1^12 + 41053118708283740650898442185114414966654/1354692252670908416292438\ 0492938802253759*c_1001_1^11 - 891727737355698605761031826419758319\ 4095/13546922526709084162924380492938802253759*c_1001_1^10 - 166300679603617475842608920219662543689359/135469225267090841629243\ 80492938802253759*c_1001_1^9 + 129096699040239076184769575092675329\ 326954/13546922526709084162924380492938802253759*c_1001_1^8 + 46557334410773482438500027082788280590359/1935274646672726308989197\ 213276971750537*c_1001_1^7 - 49133147700380830881947731811137637578\ 376/1935274646672726308989197213276971750537*c_1001_1^6 - 364292323257116550021877216416185084646387/135469225267090841629243\ 80492938802253759*c_1001_1^5 + 686459308906252806869476677917343147\ 40667/1935274646672726308989197213276971750537*c_1001_1^4 + 227758225637746440783774881556779616825392/135469225267090841629243\ 80492938802253759*c_1001_1^3 - 376463757730901380142233101887346405\ 333899/13546922526709084162924380492938802253759*c_1001_1^2 - 62410487112547197929480836231431326884970/1354692252670908416292438\ 0492938802253759*c_1001_1 + 143334609456413487942732030272551879587\ 650/13546922526709084162924380492938802253759, c_1001_1^17 - 9*c_1001_1^16 - 60*c_1001_1^15 + 371*c_1001_1^14 + 50*c_1001_1^13 - 3324*c_1001_1^12 + 3634*c_1001_1^11 + 11462*c_1001_1^10 - 21655*c_1001_1^9 - 14265*c_1001_1^8 + 49532*c_1001_1^7 + 243*c_1001_1^6 - 61818*c_1001_1^5 + 20782*c_1001_1^4 + 43499*c_1001_1^3 - 25230*c_1001_1^2 - 13993*c_1001_1 + 11111 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB