Magma V2.19-8 Tue Aug 20 2013 23:29:34 on localhost [Seed = 1831537410] Type ? for help. Type -D to quit. Loading file "K13a4572__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4572 geometric_solution 5.95611750 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 8 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 0 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 -7 6 1 7 0 0 -7 -1 1 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750003220098 0.834837966261 0 5 5 3 0132 0132 1302 1302 0 0 0 0 0 0 0 0 1 0 -1 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 -7 0 7 0 6 0 0 -6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404503786762 0.662854284160 4 0 4 5 0213 0132 0132 3012 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 0 7 0 -7 -1 0 1 0 6 -6 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.237912456308 1.135659174071 6 6 1 0 0132 2310 2031 0132 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.230347773037 0.478849731886 2 5 0 2 0213 2310 0132 0132 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 1 -1 0 -6 0 7 -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.257565523124 0.749545180849 1 1 2 4 2031 0132 1230 3201 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 1 0 0 -1 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329180132538 1.099262448458 3 7 7 3 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.723492485131 0.504450301682 6 6 7 7 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.408210774470 0.230245178926 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : 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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_1_7' : 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' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_0101_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : negation(d['c_1001_5']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0110_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_4'], 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_3'], 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0110_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0110_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 9 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_3, c_0101_7, c_0110_5, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 10918823695003185771660356257/443521432005387105335842053565*c_1001\ _5^17 + 456264479216374852681370092042/4878735752059258158694262589\ 215*c_1001_5^16 + 311704610682819152932912658369/487873575205925815\ 8694262589215*c_1001_5^15 + 408481050471375534245200315509/48787357\ 52059258158694262589215*c_1001_5^14 - 1762465063095278975327102042548/975747150411851631738852517843*c_10\ 01_5^13 + 24615520397351815330580856169021/487873575205925815869426\ 2589215*c_1001_5^12 - 5278654254895071847541580708281/9757471504118\ 51631738852517843*c_1001_5^11 + 1575511005095007237886159953314/487\ 8735752059258158694262589215*c_1001_5^10 - 5320579110509422285543161265501/4878735752059258158694262589215*c_1\ 001_5^9 + 14846362542883355383834038432897/487873575205925815869426\ 2589215*c_1001_5^8 + 2486806240748267746096520577127/48787357520592\ 58158694262589215*c_1001_5^7 - 107159851912922964335091445410791/48\ 78735752059258158694262589215*c_1001_5^6 + 177127106136374279193111008192244/4878735752059258158694262589215*c\ _1001_5^5 - 34848189574402848580846268546849/9757471504118516317388\ 52517843*c_1001_5^4 + 122165715921009400992377401039886/48787357520\ 59258158694262589215*c_1001_5^3 - 68519696703937176289540466902854/\ 4878735752059258158694262589215*c_1001_5^2 + 10371841794900318747503649569862/975747150411851631738852517843*c_1\ 001_5 - 13790902273702778737784627234068/48787357520592581586942625\ 89215, c_0011_0 - 1, c_0011_3 - 754782536921867478401014/12879960273134517361284799*c_1001_5\ ^17 + 1018120511228357791082468/12879960273134517361284799*c_1001_5\ ^16 + 4910766332284523470001240/12879960273134517361284799*c_1001_5\ ^15 + 14659680889645821517676075/12879960273134517361284799*c_1001_\ 5^14 - 23370697018635793810038978/12879960273134517361284799*c_1001\ _5^13 + 84353039709921904954511239/12879960273134517361284799*c_100\ 1_5^12 + 41583149646397500422756003/12879960273134517361284799*c_10\ 01_5^11 + 80349675768977755127399843/12879960273134517361284799*c_1\ 001_5^10 + 57898543974131559783954937/12879960273134517361284799*c_\ 1001_5^9 + 159222776713251641746864970/12879960273134517361284799*c\ _1001_5^8 + 282732367804402270782264706/12879960273134517361284799*\ c_1001_5^7 - 139617360977695441046205980/12879960273134517361284799\ *c_1001_5^6 + 446805297873186687870302820/1287996027313451736128479\ 9*c_1001_5^5 - 134364146533584640294725542/128799602731345173612847\ 99*c_1001_5^4 + 278933805601879034354866205/12879960273134517361284\ 799*c_1001_5^3 - 86517649595203104403241051/12879960273134517361284\ 799*c_1001_5^2 + 111536204773393100269305977/1287996027313451736128\ 4799*c_1001_5 - 9006393825587576771587348/1287996027313451736128479\ 9, c_0011_4 + 9378161064035406399934/12879960273134517361284799*c_1001_5^1\ 7 - 50892256496551097896047/12879960273134517361284799*c_1001_5^16 - 55404593010441945406587/12879960273134517361284799*c_1001_5^15 + 87374055049401823049813/12879960273134517361284799*c_1001_5^14 + 1388888953430405923045900/12879960273134517361284799*c_1001_5^13 - 1011401215047661537655380/12879960273134517361284799*c_1001_5^12 + 3111418954088745531825907/12879960273134517361284799*c_1001_5^11 + 4474465589243667115129199/12879960273134517361284799*c_1001_5^10 + 8892839408366274839456482/12879960273134517361284799*c_1001_5^9 + 8614930802262801171243505/12879960273134517361284799*c_1001_5^8 + 7997296817754390494383187/12879960273134517361284799*c_1001_5^7 + 20253017621785594226159792/12879960273134517361284799*c_1001_5^6 + 3323166936838460939881876/12879960273134517361284799*c_1001_5^5 + 20672648923217443157135816/12879960273134517361284799*c_1001_5^4 + 569194725481330597253838/12879960273134517361284799*c_1001_5^3 + 14361715127432210783949077/12879960273134517361284799*c_1001_5^2 - 152961493626828024189491/12879960273134517361284799*c_1001_5 - 1518467495409892529202849/12879960273134517361284799, c_0101_0 - 137265302719798931751724/12879960273134517361284799*c_1001_5\ ^17 + 419390916922554541420302/12879960273134517361284799*c_1001_5^\ 16 + 659028433046675137034249/12879960273134517361284799*c_1001_5^1\ 5 + 948256471410243030781599/12879960273134517361284799*c_1001_5^14 - 9346100643078818040960745/12879960273134517361284799*c_1001_5^13 + 21838226045946485255827953/12879960273134517361284799*c_1001_5^12 - 13537754924532575347974475/12879960273134517361284799*c_1001_5^11 - 8694261610336674049694873/12879960273134517361284799*c_1001_5^10 - 17976386145652480955664460/12879960273134517361284799*c_1001_5^9 + 19072182021793679884455201/12879960273134517361284799*c_1001_5^8 + 6582278881973635647451906/12879960273134517361284799*c_1001_5^7 - 139283177173632669016855084/12879960273134517361284799*c_1001_5^6 + 87037314645724034890383310/12879960273134517361284799*c_1001_5^5 - 117535010514035524536419069/12879960273134517361284799*c_1001_5^4 + 58351977858938948177458537/12879960273134517361284799*c_1001_5^3 - 111462823964339510832897261/12879960273134517361284799*c_1001_5^2 + 23547187395274999833140413/12879960273134517361284799*c_1001_5 - 24698651796262109895871186/12879960273134517361284799, c_0101_3 + 206572595958629542401490/12879960273134517361284799*c_1001_5\ ^17 - 197194434894594136001556/12879960273134517361284799*c_1001_5^\ 16 - 1496900428206957894706477/12879960273134517361284799*c_1001_5^\ 15 - 4600001704100291878239367/12879960273134517361284799*c_1001_5^\ 14 + 5251688954015140383087063/12879960273134517361284799*c_1001_5^\ 13 - 18855225450515289232300120/12879960273134517361284799*c_1001_5\ ^12 - 19602934851324320353789480/12879960273134517361284799*c_1001_\ 5^11 - 26221889672036649489185673/12879960273134517361284799*c_1001\ _5^10 - 12464487279363955361792981/12879960273134517361284799*c_100\ 1_5^9 - 37792567278284001743280258/12879960273134517361284799*c_100\ 1_5^8 - 87647898914458565587850835/12879960273134517361284799*c_100\ 1_5^7 + 8617014605630279121587657/12879960273134517361284799*c_1001\ _5^6 - 88610740448412174619425438/12879960273134517361284799*c_1001\ _5^5 + 10553207795390494923934026/12879960273134517361284799*c_1001\ _5^4 - 79101914924800625822783854/12879960273134517361284799*c_1001\ _5^3 + 7179517796157475954101518/12879960273134517361284799*c_1001_\ 5^2 - 40865627317221362769641172/12879960273134517361284799*c_1001_\ 5 - 359534089585457566590981/12879960273134517361284799, c_0101_7 + 577052323419314012133961/12879960273134517361284799*c_1001_5\ ^17 - 1282248610473224129217551/12879960273134517361284799*c_1001_5\ ^16 - 3269936766576592792769230/12879960273134517361284799*c_1001_5\ ^15 - 7464581645139706143729521/12879960273134517361284799*c_1001_5\ ^14 + 28951057584567293951558821/12879960273134517361284799*c_1001_\ 5^13 - 78030095263743552600569516/12879960273134517361284799*c_1001\ _5^12 + 12280038937857046238576582/12879960273134517361284799*c_100\ 1_5^11 - 11125892957488916160034904/12879960273134517361284799*c_10\ 01_5^10 + 9885741343927401740707650/12879960273134517361284799*c_10\ 01_5^9 - 98414601448343808035368868/12879960273134517361284799*c_10\ 01_5^8 - 137998778727606898707898984/12879960273134517361284799*c_1\ 001_5^7 + 315313890259890838497540816/12879960273134517361284799*c_\ 1001_5^6 - 385868159053762164059156751/12879960273134517361284799*c\ _1001_5^5 + 273562649402803738477554885/12879960273134517361284799*\ c_1001_5^4 - 243512343416037486016666731/12879960273134517361284799\ *c_1001_5^3 + 183366688744038445633583750/1287996027313451736128479\ 9*c_1001_5^2 - 95066462568727975963379303/1287996027313451736128479\ 9*c_1001_5 + 29913305133320603294537857/12879960273134517361284799, c_0110_5 - 48654539730907875269853/12879960273134517361284799*c_1001_5^\ 17 + 32577965604141999982221/12879960273134517361284799*c_1001_5^16 + 303588384773036490716867/12879960273134517361284799*c_1001_5^15 + 1196311959986156184319783/12879960273134517361284799*c_1001_5^14 - 433817169604977179551936/12879960273134517361284799*c_1001_5^13 + 5843352213572613711179595/12879960273134517361284799*c_1001_5^12 + 5410082613303516357892902/12879960273134517361284799*c_1001_5^11 + 11798656318760635684545215/12879960273134517361284799*c_1001_5^10 + 13583831347968871736595422/12879960273134517361284799*c_1001_5^9 + 20754555588656768248915105/12879960273134517361284799*c_1001_5^8 + 31414432794487947883981245/12879960273134517361284799*c_1001_5^7 + 11322606261493238682509641/12879960273134517361284799*c_1001_5^6 + 38380382267190294088632796/12879960273134517361284799*c_1001_5^5 + 7484748676136171468114920/12879960273134517361284799*c_1001_5^4 + 31409968841581380071301373/12879960273134517361284799*c_1001_5^3 + 2357516431506443384422150/12879960273134517361284799*c_1001_5^2 + 1117590395935788413661940/12879960273134517361284799*c_1001_5 + 927404179467407870352866/12879960273134517361284799, c_1001_5^18 - c_1001_5^17 - 7*c_1001_5^16 - 22*c_1001_5^15 + 25*c_1001_5^14 - 98*c_1001_5^13 - 90*c_1001_5^12 - 142*c_1001_5^11 - 82*c_1001_5^10 - 226*c_1001_5^9 - 466*c_1001_5^8 + 3*c_1001_5^7 - 527*c_1001_5^6 + 35*c_1001_5^5 - 483*c_1001_5^4 + 32*c_1001_5^3 - 205*c_1001_5^2 - c_1001_5 - 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB