Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 189437913] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1311 geometric_solution 5.19614208 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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.500961787009 0.169020374827 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 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 -1 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 1.227769782241 0.267381560599 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 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 1 -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.792075099254 0.651173197713 2 5 6 6 0132 0132 2310 0132 0 0 0 0 0 0 1 -1 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 -1 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.056294564879 0.620291506118 6 6 2 5 3201 1023 0132 2310 0 0 0 0 0 0 1 -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 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.056294564879 0.620291506118 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.169204897136 1.014020527705 4 3 3 4 1023 3201 0132 2310 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 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.145115029438 1.598975324953 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_5'], '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_4'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 12750905842575086962268558969963914218986575151942889599/1013997219\ 981419073628300673302598763768495796311688704*c_0101_5^19 - 879320430011923972935305550527556053039497219542228013/545159795688\ 9349858216670286573111633163955894148864*c_0101_5^18 + 29233174058520856986345242118513832062178823570431694095/1689995366\ 63569845604716778883766460628082632718614784*c_0101_5^17 + 550452734609901812556052305496918465364848099789686853781/253499304\ 995354768407075168325649690942123949077922176*c_0101_5^16 - 7831943638238678852696531677535838601476815516659165479913/50699860\ 9990709536814150336651299381884247898155844352*c_0101_5^15 + 205676180642519867702457002745664062906600402633898084291/396092664\ 0552418256360549505088276420970686704342534*c_0101_5^14 - 44276401151300580601899689974743118950776692787542777611413/3379990\ 73327139691209433557767532921256165265437229568*c_0101_5^13 + 7409277005285777178650917831872406315155648720840977241781/32709587\ 741336099149300021719438669798983735364893184*c_0101_5^12 - 332035300608440480375722904042390946095000973806675331818903/101399\ 7219981419073628300673302598763768495796311688704*c_0101_5^11 + 408874628401084861751415696800203673067636070755325111417439/101399\ 7219981419073628300673302598763768495796311688704*c_0101_5^10 - 198940034186767816945565418261060988546309816330501621818331/506998\ 609990709536814150336651299381884247898155844352*c_0101_5^9 + 4972879523596315215465353243207974365408482748249425232749/12365819\ 755870964312540252113446326387420680442825472*c_0101_5^8 + 1585775494783841436237612648764277851521879867982659887721891/10139\ 97219981419073628300673302598763768495796311688704*c_0101_5^7 + 17704618648381110488423028064184350411509359807382742241399/1013997\ 219981419073628300673302598763768495796311688704*c_0101_5^6 - 97574293306573838213677229025752316123911262766160002114201/1126663\ 57775713230403144519255844307085388421812409856*c_0101_5^5 - 519045819291115306649848114350747599217920185648475516977/218533883\ 6166851451785130761428014577087275423085536*c_0101_5^4 + 244091847337528507878900592166506819997514097259446815351445/101399\ 7219981419073628300673302598763768495796311688704*c_0101_5^3 + 256352937415763204249010581008571435032924072350079955779/844997683\ 31784922802358389441883230314041316359307392*c_0101_5^2 - 10892108430262266486967505682422860822195106609215718922541/5069986\ 09990709536814150336651299381884247898155844352*c_0101_5 - 2245416186357777636147308076057743524684839912591874263337/10139972\ 19981419073628300673302598763768495796311688704, c_0011_0 - 1, c_0011_1 - 11367070447809154518838555096809453659106150584461/354575476\ 870852023298645221890934089961883310188544*c_0101_5^19 + 73763633472164022732989896650893680805420685110487/1772877384354260\ 11649322610945467044980941655094272*c_0101_5^18 - 89347146074185232707195481903894904215317901757735/1772877384354260\ 11649322610945467044980941655094272*c_0101_5^17 - 484077566987948733786162686579705347424753436871841/886438692177130\ 05824661305472733522490470827547136*c_0101_5^16 + 7129177121802569696000663211522890395059663709666787/17728773843542\ 6011649322610945467044980941655094272*c_0101_5^15 - 6136760326878546213050433012748113009344636039550065/44321934608856\ 502912330652736366761245235413773568*c_0101_5^14 + 125804210351238190754909518692371833299654022917150861/354575476870\ 852023298645221890934089961883310188544*c_0101_5^13 - 223643776777505704379712667820332416467609986740411105/354575476870\ 852023298645221890934089961883310188544*c_0101_5^12 + 329404393331608330031200452493653106366119550738067789/354575476870\ 852023298645221890934089961883310188544*c_0101_5^11 - 413507848688516045604284210251981723386239690120263269/354575476870\ 852023298645221890934089961883310188544*c_0101_5^10 + 207984962879498390765999223344855708074386948098282905/177287738435\ 426011649322610945467044980941655094272*c_0101_5^9 - 212372730909213600957509771100205613607562264771000427/177287738435\ 426011649322610945467044980941655094272*c_0101_5^8 - 1351217879270958437140266400115155568875061847555971337/35457547687\ 0852023298645221890934089961883310188544*c_0101_5^7 + 191141865713076368746459155341547490863540465853597083/354575476870\ 852023298645221890934089961883310188544*c_0101_5^6 + 758467465486485128146131532174350270410907544690024699/354575476870\ 852023298645221890934089961883310188544*c_0101_5^5 + 421944030263345205295697703022829561721550158032881/152834257271918\ 9755597608715047129698111565992192*c_0101_5^4 - 234763402185399009363024570941121364954847334025979015/354575476870\ 852023298645221890934089961883310188544*c_0101_5^3 + 8289627048861200853871830344131575493724358642554557/88643869217713\ 005824661305472733522490470827547136*c_0101_5^2 + 7543930308461995602956773491996100487937669624880675/17728773843542\ 6011649322610945467044980941655094272*c_0101_5 - 590758242613084944714302493271724591321272217070805/354575476870852\ 023298645221890934089961883310188544, c_0011_4 - 4732849065182691472178042086488773623148500264673/1453759455\ 1704932955244454097528297688437215717730304*c_0101_5^19 + 31025780282143720338577362668507821805748708834147/7268797275852466\ 477622227048764148844218607858865152*c_0101_5^18 - 40209329666455858370512767146036743748391832535891/7268797275852466\ 477622227048764148844218607858865152*c_0101_5^17 - 205699215715922589384662076710770284915684500791421/363439863792623\ 3238811113524382074422109303929432576*c_0101_5^16 + 3031927485485689034464904343549972786357387817162111/72687972758524\ 66477622227048764148844218607858865152*c_0101_5^15 - 2606549498918468249986006681711402659122553813750937/18171993189631\ 16619405556762191037211054651964716288*c_0101_5^14 + 52601918555946437401273553130400984877699722847798529/1453759455170\ 4932955244454097528297688437215717730304*c_0101_5^13 - 92143327312305721622815551141897907816420591896037829/1453759455170\ 4932955244454097528297688437215717730304*c_0101_5^12 + 130282901779599528791624567124154964140566430182470529/145375945517\ 04932955244454097528297688437215717730304*c_0101_5^11 - 159606736975119282728902880232242635692848679272863385/145375945517\ 04932955244454097528297688437215717730304*c_0101_5^10 + 77139135947448121441369958901630873097686512426962861/7268797275852\ 466477622227048764148844218607858865152*c_0101_5^9 - 76339011495967125535535079793772895069613351867393447/7268797275852\ 466477622227048764148844218607858865152*c_0101_5^8 - 577844055839426260119588246474201591614408664647722413/145375945517\ 04932955244454097528297688437215717730304*c_0101_5^7 + 191864927387583310840867211090696411293151877329200615/145375945517\ 04932955244454097528297688437215717730304*c_0101_5^6 + 601465432103706129137377029519093252730470053581817191/145375945517\ 04932955244454097528297688437215717730304*c_0101_5^5 + 312775171784258632738289603679447550176192430634261/626620454814867\ 79979501957316932317622574205679872*c_0101_5^4 - 233634466654775777697421713736766554842197000541687299/145375945517\ 04932955244454097528297688437215717730304*c_0101_5^3 - 6503948881638527914849439592629143443307505345101111/36343986379262\ 33238811113524382074422109303929432576*c_0101_5^2 + 14742777192901553162144308067688306332913449790712031/7268797275852\ 466477622227048764148844218607858865152*c_0101_5 + 11733761358037220660474007303115720586757193448023/1453759455170493\ 2955244454097528297688437215717730304, c_0101_0 + 282355586745917180738928476978868653926855203613813/14537594\ 551704932955244454097528297688437215717730304*c_0101_5^19 - 1840238397169149340935115347013279130374780978452663/72687972758524\ 66477622227048764148844218607858865152*c_0101_5^18 + 2323698491478463319700485202779792657430597301553719/72687972758524\ 66477622227048764148844218607858865152*c_0101_5^17 + 11955226421407862777549613835105502067956019770034789/3634398637926\ 233238811113524382074422109303929432576*c_0101_5^16 - 178419997675272428684974632812460706453905750592871507/726879727585\ 2466477622227048764148844218607858865152*c_0101_5^15 + 154972062296760952582801885768553844969925111196015787/181719931896\ 3116619405556762191037211054651964716288*c_0101_5^14 - 3196391811152845714047380983257948756611863044489723909/14537594551\ 704932955244454097528297688437215717730304*c_0101_5^13 + 5741545782846635755029976818461694123099055409234931145/14537594551\ 704932955244454097528297688437215717730304*c_0101_5^12 - 8522689276763044999445334176452270914968564910211682085/14537594551\ 704932955244454097528297688437215717730304*c_0101_5^11 + 10785486382617082417559071937399469770135560313125501133/1453759455\ 1704932955244454097528297688437215717730304*c_0101_5^10 - 5496740246482138598360933100920259879608815298126217769/72687972758\ 52466477622227048764148844218607858865152*c_0101_5^9 + 5621140186975301929873687697172776838128682969393600859/72687972758\ 52466477622227048764148844218607858865152*c_0101_5^8 + 32848545996634788930140107686288537898734014486153314241/1453759455\ 1704932955244454097528297688437215717730304*c_0101_5^7 - 6518102781881941743300218803465091439902380019892014451/14537594551\ 704932955244454097528297688437215717730304*c_0101_5^6 - 18402731761579570274116659149544496797103337767722955171/1453759455\ 1704932955244454097528297688437215717730304*c_0101_5^5 - 6756798114633267274250125701357253596839740869274137/62662045481486\ 779979501957316932317622574205679872*c_0101_5^4 + 5801337783109622824474824970636809277972265427005451967/14537594551\ 704932955244454097528297688437215717730304*c_0101_5^3 - 281261378429957314330832370074172417489181858143494273/363439863792\ 6233238811113524382074422109303929432576*c_0101_5^2 - 133428312976897181973360103589795851828421672131731747/726879727585\ 2466477622227048764148844218607858865152*c_0101_5 + 22728160247536150248720082601192803668620138981589165/1453759455170\ 4932955244454097528297688437215717730304, c_0101_2 - 435269436805290651811073778592239745002119259990829/14537594\ 551704932955244454097528297688437215717730304*c_0101_5^19 + 2828485413621696982547903851242976970604213072533951/72687972758524\ 66477622227048764148844218607858865152*c_0101_5^18 - 3472541010294721771059303645711374660987059407450751/72687972758524\ 66477622227048764148844218607858865152*c_0101_5^17 - 18503018553235911184137615691233323852752832585275021/3634398637926\ 233238811113524382074422109303929432576*c_0101_5^16 + 273652947281655771903417271929358777567387024256425787/726879727585\ 2466477622227048764148844218607858865152*c_0101_5^15 - 236234612454199983690398261914159048401889748912257531/181719931896\ 3116619405556762191037211054651964716288*c_0101_5^14 + 4852132549499100392652111584756265087554479920421416317/14537594551\ 704932955244454097528297688437215717730304*c_0101_5^13 - 8653933098485923307550574034272771956118883540397740257/14537594551\ 704932955244454097528297688437215717730304*c_0101_5^12 + 12776761507319345729841919425446829491557343820104057885/1453759455\ 1704932955244454097528297688437215717730304*c_0101_5^11 - 16077607518015755253131604464382205904191957661188564421/1453759455\ 1704932955244454097528297688437215717730304*c_0101_5^10 + 8119425032057507856600057848094960639084661528383308385/72687972758\ 52466477622227048764148844218607858865152*c_0101_5^9 - 8291736266273783353486108925445050771618131282396056963/72687972758\ 52466477622227048764148844218607858865152*c_0101_5^8 - 51415176357684640580060558959077066817631342912140911961/1453759455\ 1704932955244454097528297688437215717730304*c_0101_5^7 + 8217805095440363245560708028492115814402075285030937211/14537594551\ 704932955244454097528297688437215717730304*c_0101_5^6 + 28816602914020371557105107004751549806699113657201889899/1453759455\ 1704932955244454097528297688437215717730304*c_0101_5^5 + 13912047503014551796972426457941199475313816341031377/6266204548148\ 6779979501957316932317622574205679872*c_0101_5^4 - 9087266371313271675463702435997506305923458340886540007/14537594551\ 704932955244454097528297688437215717730304*c_0101_5^3 + 354919741752306711090392271060960692443043540666338825/363439863792\ 6233238811113524382074422109303929432576*c_0101_5^2 + 288051923144189201952001913123093014488969074033388619/726879727585\ 2466477622227048764148844218607858865152*c_0101_5 - 24224624697148586779006420797322210069313350604654181/1453759455170\ 4932955244454097528297688437215717730304, c_0101_3 + 473344638735140859366257190061024363563518788339/35457547687\ 0852023298645221890934089961883310188544*c_0101_5^19 - 3094280385576447694696831061093500338247800667937/17728773843542601\ 1649322610945467044980941655094272*c_0101_5^18 + 4016389988766939088214772959855483454714753011937/17728773843542601\ 1649322610945467044980941655094272*c_0101_5^17 + 19964421520719567044422794464649801957892070965971/8864386921771300\ 5824661305472733522490470827547136*c_0101_5^16 - 300640590511413527217859557474677260057838959041701/177287738435426\ 011649322610945467044980941655094272*c_0101_5^15 + 262717869191670313036971447207077277193531299904005/443219346088565\ 02912330652736366761245235413773568*c_0101_5^14 - 5440897499836304405121744780240001203694275371350691/35457547687085\ 2023298645221890934089961883310188544*c_0101_5^13 + 9842062051378934949262418086576278022783833124473791/35457547687085\ 2023298645221890934089961883310188544*c_0101_5^12 - 14686997338396236134168122400394360059659706632725251/3545754768708\ 52023298645221890934089961883310188544*c_0101_5^11 + 18694417565350796791511109307344779000533258202526299/3545754768708\ 52023298645221890934089961883310188544*c_0101_5^10 - 9611235908436532572278137477068963140281503771594559/17728773843542\ 6011649322610945467044980941655094272*c_0101_5^9 + 9836599846097274150419669550478269415915087511579613/17728773843542\ 6011649322610945467044980941655094272*c_0101_5^8 + 54222724927240718664887256384119807718067458088526407/3545754768708\ 52023298645221890934089961883310188544*c_0101_5^7 - 13018103541841267781324467745520903832967498570898021/3545754768708\ 52023298645221890934089961883310188544*c_0101_5^6 - 30504276715733416710450375901380303433349688191023989/3545754768708\ 52023298645221890934089961883310188544*c_0101_5^5 - 9715995891221940911715847064474492509659746740015/15283425727191897\ 55597608715047129698111565992192*c_0101_5^4 + 9844139942900927966296231412454462013156134331534969/35457547687085\ 2023298645221890934089961883310188544*c_0101_5^3 - 349034146735915508773917385831674306128676679546007/886438692177130\ 05824661305472733522490470827547136*c_0101_5^2 - 117094358910258632476300497547673560583629596056597/177287738435426\ 011649322610945467044980941655094272*c_0101_5 - 63767994955950745448100494435743204247886019291461/3545754768708520\ 23298645221890934089961883310188544, c_0101_5^20 - 13*c_0101_5^19 + 16*c_0101_5^18 + 170*c_0101_5^17 - 1258*c_0101_5^16 + 4346*c_0101_5^15 - 11161*c_0101_5^14 + 19916*c_0101_5^13 - 29412*c_0101_5^12 + 37024*c_0101_5^11 - 37417*c_0101_5^10 + 38212*c_0101_5^9 + 117995*c_0101_5^8 - 19298*c_0101_5^7 - 66390*c_0101_5^6 - 7319*c_0101_5^5 + 20891*c_0101_5^4 - 3289*c_0101_5^3 - 1282*c_0101_5^2 + 59*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB