Magma V2.19-8 Tue Aug 20 2013 16:17:07 on localhost [Seed = 155751898] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1361 geometric_solution 5.22569955 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 1 -2 0 0 0 0 1 0 0 -1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.340615413262 0.226944089450 0 0 2 2 0132 3201 3201 0132 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 2 0 -2 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510767370032 0.178030803968 1 3 1 4 2310 0132 0132 0132 0 0 0 0 0 0 -1 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 -1 2 -1 -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.884080488272 0.376503560634 5 2 6 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.683454722141 0.829795964929 3 6 2 5 3012 3201 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683454722141 0.829795964929 3 5 4 5 0132 1302 0132 2031 0 0 0 0 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 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 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.810050370094 1.212438284520 6 6 4 3 1230 3012 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 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.844140612769 1.306989391853 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_6'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), '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_0011_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 10060049955767348868787159098554352562711553/1070730462603106087358\ 892664418660660006875*c_0101_6^23 - 37293560094041383867254791482163000588893704/1070730462603106087358\ 892664418660660006875*c_0101_6^22 - 35598796962861940355119431009474964994255883/1070730462603106087358\ 892664418660660006875*c_0101_6^21 + 441715330835064258213104761071375262385425793/107073046260310608735\ 8892664418660660006875*c_0101_6^20 + 80650714576998661818040068365845962213147963/2141460925206212174717\ 78532883732132001375*c_0101_6^19 - 1724542091635919494304415974170727543762693736/10707304626031060873\ 58892664418660660006875*c_0101_6^18 - 256327073895573373391140407966748874907374983/214146092520621217471\ 778532883732132001375*c_0101_6^17 + 7066914331248181608545845252549500249104080241/10707304626031060873\ 58892664418660660006875*c_0101_6^16 + 3644269188839814410646568074947865136027278042/10707304626031060873\ 58892664418660660006875*c_0101_6^15 - 64309091655291299082819147160482109932102360473/1070730462603106087\ 358892664418660660006875*c_0101_6^14 + 4135787908125473305415756278241188257133373958/21414609252062121747\ 1778532883732132001375*c_0101_6^13 + 243896991759340563666181409210812432561872193838/107073046260310608\ 7358892664418660660006875*c_0101_6^12 - 127143868572900198020264823591580976964248210158/107073046260310608\ 7358892664418660660006875*c_0101_6^11 - 86639717104395807355677853642138485481824101022/2141460925206212174\ 71778532883732132001375*c_0101_6^10 + 48412439574623884682016878722611612177496608366/2141460925206212174\ 71778532883732132001375*c_0101_6^9 + 409954521973428846258251836325457230343603806512/107073046260310608\ 7358892664418660660006875*c_0101_6^8 - 213774026054378463402184246780026692316408710603/107073046260310608\ 7358892664418660660006875*c_0101_6^7 - 216411398096700089106714099811676123489004178724/107073046260310608\ 7358892664418660660006875*c_0101_6^6 + 92307536607787473641472592746802299557986553066/1070730462603106087\ 358892664418660660006875*c_0101_6^5 + 63545310649703509701535963615437077456703270461/1070730462603106087\ 358892664418660660006875*c_0101_6^4 - 18370939357951597979036494343853033886628020356/1070730462603106087\ 358892664418660660006875*c_0101_6^3 - 10014539727221606988660857013146289148621033023/1070730462603106087\ 358892664418660660006875*c_0101_6^2 + 1556541727431060888511445332301021453372639422/10707304626031060873\ 58892664418660660006875*c_0101_6 + 145066164077269687533956208178447017290716251/214146092520621217471\ 778532883732132001375, c_0011_0 - 1, c_0011_2 + 6850782810145295850787739634339456203047/4282921850412424349\ 4355706576746426400275*c_0101_6^23 - 21479068815981456694069949278023225560696/4282921850412424349435570\ 6576746426400275*c_0101_6^22 - 381647153290005340599985200130427301\ 22567/42829218504124243494355706576746426400275*c_0101_6^21 + 286600023541471857778526956782906331779207/428292185041242434943557\ 06576746426400275*c_0101_6^20 + 87525307491775761103141392783524027\ 019887/8565843700824848698871141315349285280055*c_0101_6^19 - 997203390920709921448365753562076418744814/428292185041242434943557\ 06576746426400275*c_0101_6^18 - 28833941768777994452274155389397351\ 2233652/8565843700824848698871141315349285280055*c_0101_6^17 + 4289257410178368683265390528089949209282184/42829218504124243494355\ 706576746426400275*c_0101_6^16 + 4878614237465678699207718022529367\ 011537158/42829218504124243494355706576746426400275*c_0101_6^15 - 42189722221520147976675147147398471375877427/4282921850412424349435\ 5706576746426400275*c_0101_6^14 - 191915522730987440899228043963636\ 3001800418/8565843700824848698871141315349285280055*c_0101_6^13 + 170986136510911188585244400125064099355208462/428292185041242434943\ 55706576746426400275*c_0101_6^12 - 1766268134061383345949603907489193521814317/42829218504124243494355\ 706576746426400275*c_0101_6^11 - 6533730789494619270557223973140417\ 8611725188/8565843700824848698871141315349285280055*c_0101_6^10 + 5746718947509605097732078508147805541641449/85658437008248486988711\ 41315349285280055*c_0101_6^9 + 330298049668191684260411799682627865\ 629964213/42829218504124243494355706576746426400275*c_0101_6^8 - 33931244141717036869402400833767070755644022/4282921850412424349435\ 5706576746426400275*c_0101_6^7 - 1807762980765818745693482218620094\ 72982460676/42829218504124243494355706576746426400275*c_0101_6^6 + 14397975086437435764023018662035610111190334/4282921850412424349435\ 5706576746426400275*c_0101_6^5 + 5165000978060528180037447888882034\ 2280193814/42829218504124243494355706576746426400275*c_0101_6^4 - 1545192222351995730739926634229708207918694/42829218504124243494355\ 706576746426400275*c_0101_6^3 - 71902337781645519852270382130096664\ 56492452/42829218504124243494355706576746426400275*c_0101_6^2 - 130646245340943917781647560048232818441947/428292185041242434943557\ 06576746426400275*c_0101_6 + 79625176301419893655441446911490354716\ 189/8565843700824848698871141315349285280055, c_0011_4 - 76108730492217666860850570908666980322/214146092520621217471\ 778532883732132001375*c_0101_6^23 + 13566933055713310498450264230291863852171/2141460925206212174717785\ 32883732132001375*c_0101_6^22 - 22730629554898444167382394277585753\ 778883/214146092520621217471778532883732132001375*c_0101_6^21 - 123839752063033830668333941725385739861332/214146092520621217471778\ 532883732132001375*c_0101_6^20 + 8589025083641697901167534017075280\ 2185563/42829218504124243494355706576746426400275*c_0101_6^19 + 1531261575458538974379457057753971701318514/21414609252062121747177\ 8532883732132001375*c_0101_6^18 - 707125510281808576873302389296440\ 82050658/42829218504124243494355706576746426400275*c_0101_6^17 - 4157703104032293210704263317148870158352384/21414609252062121747177\ 8532883732132001375*c_0101_6^16 + 419681628738929808030857021532184\ 4515002667/214146092520621217471778532883732132001375*c_0101_6^15 + 18006299131714637334720777685209786845910652/2141460925206212174717\ 78532883732132001375*c_0101_6^14 - 13024197406408303246548601768149721936563792/4282921850412424349435\ 5706576746426400275*c_0101_6^13 - 119251439179684123361918698820759\ 400601918412/214146092520621217471778532883732132001375*c_0101_6^12 + 249390144373799590259401991991328659590334217/2141460925206212174\ 71778532883732132001375*c_0101_6^11 + 70794634367066454687126605232678292223787853/4282921850412424349435\ 5706576746426400275*c_0101_6^10 - 857087083135728300256095101290776\ 99294592059/42829218504124243494355706576746426400275*c_0101_6^9 - 508809111928182540593101270206756636471202238/214146092520621217471\ 778532883732132001375*c_0101_6^8 + 368910746980907193704730314243567327000155147/214146092520621217471\ 778532883732132001375*c_0101_6^7 + 377097236780266795826483317814048094980781151/214146092520621217471\ 778532883732132001375*c_0101_6^6 - 152078416704174024995828880219309165077305309/214146092520621217471\ 778532883732132001375*c_0101_6^5 - 139751435488519259694360587711031018256463789/214146092520621217471\ 778532883732132001375*c_0101_6^4 + 24014121045131015137062783614643414781637269/2141460925206212174717\ 78532883732132001375*c_0101_6^3 + 227927400337398408275346105379496\ 16865390102/214146092520621217471778532883732132001375*c_0101_6^2 - 753288112216149820414452431367169592815578/214146092520621217471778\ 532883732132001375*c_0101_6 - 2675078173527960291721322147226214823\ 25474/42829218504124243494355706576746426400275, c_0011_6 - 43395024580067161707496123184032385620247/214146092520621217\ 471778532883732132001375*c_0101_6^23 + 132375792086766598170683677538688434551946/214146092520621217471778\ 532883732132001375*c_0101_6^22 + 2313122022547556193503958483108779\ 12958417/214146092520621217471778532883732132001375*c_0101_6^21 - 1729533284677644474260429178461969812275007/21414609252062121747177\ 8532883732132001375*c_0101_6^20 - 563242083271404353753745497122690\ 999462387/42829218504124243494355706576746426400275*c_0101_6^19 + 5251472288853547246443011223455617462824864/21414609252062121747177\ 8532883732132001375*c_0101_6^18 + 164709186235324945019360636999852\ 2699105542/42829218504124243494355706576746426400275*c_0101_6^17 - 24303518218187171756054835774866483873252234/2141460925206212174717\ 78532883732132001375*c_0101_6^16 - 29623648339597926416760798825600953253240158/2141460925206212174717\ 78532883732132001375*c_0101_6^15 + 253735480843741510821026279015430866252877827/214146092520621217471\ 778532883732132001375*c_0101_6^14 + 13869231134404470158360199569571385419250358/4282921850412424349435\ 5706576746426400275*c_0101_6^13 - 956608439166404542424467551685354\ 632177652962/214146092520621217471778532883732132001375*c_0101_6^12 - 43449338802590724631523074279415516689685983/21414609252062121747\ 1778532883732132001375*c_0101_6^11 + 331166328836364569027763318108564202167274278/428292185041242434943\ 55706576746426400275*c_0101_6^10 - 9272767842282490199110396200096662245007884/42829218504124243494355\ 706576746426400275*c_0101_6^9 - 14924501288103227947721861714712183\ 29586945688/214146092520621217471778532883732132001375*c_0101_6^8 + 65092538819252781736874723848861012222238447/2141460925206212174717\ 78532883732132001375*c_0101_6^7 + 717507004960896785998426634563557\ 876475473176/214146092520621217471778532883732132001375*c_0101_6^6 - 22484435327185219317966044677042920710485784/2141460925206212174717\ 78532883732132001375*c_0101_6^5 - 178685867687165145419210383492639\ 646165155514/214146092520621217471778532883732132001375*c_0101_6^4 + 1229979184084343175569644192708909814664244/21414609252062121747177\ 8532883732132001375*c_0101_6^3 + 2258434218405036179085480454405179\ 3573297277/214146092520621217471778532883732132001375*c_0101_6^2 + 447296223463793650365966469001686227503972/214146092520621217471778\ 532883732132001375*c_0101_6 - 2499156916006738114972298235926316782\ 48449/42829218504124243494355706576746426400275, c_0101_0 + 136419093336308339075451312746325982322/85658437008248486988\ 71141315349285280055*c_0101_6^23 - 265458038555562549344778261348964136846/856584370082484869887114131\ 5349285280055*c_0101_6^22 - 102226621066200186257188631456605846880\ 7/8565843700824848698871141315349285280055*c_0101_6^21 + 3999734216627822177478296220202397672422/85658437008248486988711413\ 15349285280055*c_0101_6^20 + 28607228727061189456314341009119703190\ 84/1713168740164969739774228263069857056011*c_0101_6^19 + 595188373844433501598165821147553776676/856584370082484869887114131\ 5349285280055*c_0101_6^18 - 757357063104963602135095855229820159227\ 3/1713168740164969739774228263069857056011*c_0101_6^17 + 17353336692118710207621525765702101117094/8565843700824848698871141\ 315349285280055*c_0101_6^16 + 1508495725590445464025780243708133281\ 38113/8565843700824848698871141315349285280055*c_0101_6^15 - 584540772699250177176449591749551639019347/856584370082484869887114\ 1315349285280055*c_0101_6^14 - 207851667571715649310924190447188408\ 471203/1713168740164969739774228263069857056011*c_0101_6^13 + 1703777558469153672134804065569560994912627/85658437008248486988711\ 41315349285280055*c_0101_6^12 + 38420972837420171046492248243607325\ 48435903/8565843700824848698871141315349285280055*c_0101_6^11 - 183191013578502894212928847961873368289795/171316874016496973977422\ 8263069857056011*c_0101_6^10 - 146257993638630770794013942334445894\ 7284227/1713168740164969739774228263069857056011*c_0101_6^9 - 2340874254962124805086738936715673660717067/85658437008248486988711\ 41315349285280055*c_0101_6^8 + 720363615942023950266551883812252703\ 0442513/8565843700824848698871141315349285280055*c_0101_6^7 + 3754249383589599927449254956176813466310734/85658437008248486988711\ 41315349285280055*c_0101_6^6 - 334409385733181580631103039081466426\ 6545166/8565843700824848698871141315349285280055*c_0101_6^5 - 2016720771186124256621761009116722998283496/85658437008248486988711\ 41315349285280055*c_0101_6^4 + 525326723294477204561111694358803219\ 938286/8565843700824848698871141315349285280055*c_0101_6^3 + 410551411114966131408526634270619030311623/856584370082484869887114\ 1315349285280055*c_0101_6^2 + 4818209339872396937601355552510922993\ 158/8565843700824848698871141315349285280055*c_0101_6 - 5451053709536862414788055351251630972357/17131687401649697397742282\ 63069857056011, c_0101_1 + 14400110648461653364871698980493248211962/428292185041242434\ 94355706576746426400275*c_0101_6^23 - 43250596815755433185159065808758529002966/4282921850412424349435570\ 6576746426400275*c_0101_6^22 - 798404579912516509055115526706446784\ 30532/42829218504124243494355706576746426400275*c_0101_6^21 + 574644178889761416470123855976672206174372/428292185041242434943557\ 06576746426400275*c_0101_6^20 + 19264253021903120613195065463279960\ 3019987/8565843700824848698871141315349285280055*c_0101_6^19 - 1744236786612687550933499918675136058904944/42829218504124243494355\ 706576746426400275*c_0101_6^18 - 5673466660863112721952280992396868\ 74593247/8565843700824848698871141315349285280055*c_0101_6^17 + 8131499306744473169734090159463093480508939/42829218504124243494355\ 706576746426400275*c_0101_6^16 + 1031274320024664800904758494007045\ 8860270893/42829218504124243494355706576746426400275*c_0101_6^15 - 84429440891641046965833526206896775820322992/4282921850412424349435\ 5706576746426400275*c_0101_6^14 - 541698984832085496860784436937241\ 5205595548/8565843700824848698871141315349285280055*c_0101_6^13 + 322932392954893790456159360283356232374060327/428292185041242434943\ 55706576746426400275*c_0101_6^12 + 24545996583334148424046541857070491331127743/4282921850412424349435\ 5706576746426400275*c_0101_6^11 - 114443969679025732125960271435377\ 608428484233/8565843700824848698871141315349285280055*c_0101_6^10 + 1416619443729904060424754498660147864974814/85658437008248486988711\ 41315349285280055*c_0101_6^9 + 532716814072982898334428744519245512\ 272272348/42829218504124243494355706576746426400275*c_0101_6^8 - 20774587123116423926725598616502020084426087/4282921850412424349435\ 5706576746426400275*c_0101_6^7 - 2678638736992926573490470873814342\ 48379353171/42829218504124243494355706576746426400275*c_0101_6^6 + 8311174085635001448876116592636194830329439/42829218504124243494355\ 706576746426400275*c_0101_6^5 + 70681609428487307490171252382350827\ 806219269/42829218504124243494355706576746426400275*c_0101_6^4 - 238410482773611987333800623667997195356549/428292185041242434943557\ 06576746426400275*c_0101_6^3 - 927483883385621902509187051953838389\ 1755067/42829218504124243494355706576746426400275*c_0101_6^2 - 170791337353732983745849826147030133794312/428292185041242434943557\ 06576746426400275*c_0101_6 + 10319663399138755573009258824984080990\ 7969/8565843700824848698871141315349285280055, c_0101_6^24 - 3*c_0101_6^23 - 6*c_0101_6^22 + 41*c_0101_6^21 + 70*c_0101_6^20 - 137*c_0101_6^19 - 235*c_0101_6^18 + 597*c_0101_6^17 + 819*c_0101_6^16 - 6056*c_0101_6^15 - 2310*c_0101_6^14 + 24796*c_0101_6^13 + 3779*c_0101_6^12 - 48410*c_0101_6^11 - 4690*c_0101_6^10 + 51129*c_0101_6^9 + 5584*c_0101_6^8 - 30123*c_0101_6^7 - 4798*c_0101_6^6 + 9492*c_0101_6^5 + 2178*c_0101_6^4 - 1396*c_0101_6^3 - 416*c_0101_6^2 + 70*c_0101_6 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB