Magma V2.19-8 Tue Aug 20 2013 16:18:53 on localhost [Seed = 324177509] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3042 geometric_solution 6.21674012 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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.772731626864 0.797218681994 3 4 5 0 0132 0132 0132 0132 0 0 0 0 0 -1 1 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 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.509639339740 0.791468177346 4 3 0 5 2310 3201 0132 3201 0 0 0 0 0 -1 0 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 -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.509639339740 0.791468177346 1 3 2 3 0132 2310 2310 3201 0 0 0 0 0 0 -1 1 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 -1 1 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.819262553211 1.411984229410 4 1 2 4 3201 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296426435511 0.579301605399 6 2 6 1 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554117512543 1.588060878589 5 6 5 6 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430857368462 0.165173757490 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_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_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 92152545582897516351094546523/16927082204334796760650701370*c_0101_\ 5^17 + 337487325722847986105156221691/16927082204334796760650701370\ *c_0101_5^16 - 4272918093465912244634193094157/16927082204334796760\ 650701370*c_0101_5^15 - 10079237764632814115359839863839/8463541102\ 167398380325350685*c_0101_5^14 + 2978845346213857915239672833769/16\ 92708220433479676065070137*c_0101_5^13 + 283785878707960263930299193042809/16927082204334796760650701370*c_0\ 101_5^12 + 227324632889221491754373759705828/8463541102167398380325\ 350685*c_0101_5^11 + 182002643562553811786386162339/169270822043347\ 96760650701370*c_0101_5^10 - 261735295569208203745705720981672/8463\ 541102167398380325350685*c_0101_5^9 - 96129333229390490251270036754397/8463541102167398380325350685*c_010\ 1_5^8 + 141741112126467382704126915678038/8463541102167398380325350\ 685*c_0101_5^7 + 57859611614703789745152548642766/84635411021673983\ 80325350685*c_0101_5^6 - 116822837565519259160940838265181/16927082\ 204334796760650701370*c_0101_5^5 - 243695233333993128984764442308/143449849189277938649582215*c_0101_5\ ^4 + 4799336601361002856769835688649/3385416440866959352130140274*c\ _0101_5^3 + 81125863472446811760117698033/2868996983785558772991644\ 30*c_0101_5^2 - 1691681136380555249779185899669/1692708220433479676\ 0650701370*c_0101_5 - 582918408767717950818320979717/84635411021673\ 98380325350685, c_0011_0 - 1, c_0011_1 - 63057024708520947434420087/190191934880166255737648330*c_010\ 1_5^17 - 223884736658196011993240569/190191934880166255737648330*c_\ 0101_5^16 + 2941070899048463392156445093/19019193488016625573764833\ 0*c_0101_5^15 + 6722162786942714642361496761/9509596744008312786882\ 4165*c_0101_5^14 - 2149582244336886862316518413/1901919348801662557\ 3764833*c_0101_5^13 - 190429754749783550563806890261/19019193488016\ 6255737648330*c_0101_5^12 - 147034796198574607273535341737/95095967\ 440083127868824165*c_0101_5^11 + 10781382174291844783337325449/1901\ 91934880166255737648330*c_0101_5^10 + 171004973348750318767733458473/95095967440083127868824165*c_0101_5^\ 9 + 68568663237657798114403311053/95095967440083127868824165*c_0101\ _5^8 - 73290308411386669561727214607/95095967440083127868824165*c_0\ 101_5^7 - 36336821170348436851320722809/95095967440083127868824165*\ c_0101_5^6 + 39779410128173408463933695399/190191934880166255737648\ 330*c_0101_5^5 + 47347929000332002766275252/16117960583064936926919\ 35*c_0101_5^4 - 576753646368687163560990583/38038386976033251147529\ 666*c_0101_5^3 - 7976402139353316762936347/322359211661298738538387\ 0*c_0101_5^2 + 193951056143450958959183011/190191934880166255737648\ 330*c_0101_5 + 41118786057791543389795008/9509596744008312786882416\ 5, c_0011_5 - 28028549349152641529357669/190191934880166255737648330*c_010\ 1_5^17 - 59264117267505147554643119/95095967440083127868824165*c_01\ 01_5^16 + 619680929254068448646835373/95095967440083127868824165*c_\ 0101_5^15 + 6858497968507356209900026279/19019193488016625573764833\ 0*c_0101_5^14 - 549236612701959731585109238/19019193488016625573764\ 833*c_0101_5^13 - 90916042415307981809489189117/1901919348801662557\ 37648330*c_0101_5^12 - 187633279608009102327229580583/1901919348801\ 66255737648330*c_0101_5^11 - 85711239531562166560399864187/19019193\ 4880166255737648330*c_0101_5^10 + 144861445089149025723532064567/19\ 0191934880166255737648330*c_0101_5^9 + 73368114788633608811761747631/95095967440083127868824165*c_0101_5^8 - 15637340646343599122481185069/95095967440083127868824165*c_0101_5\ ^7 - 33381927851044961777390920058/95095967440083127868824165*c_010\ 1_5^6 + 5836754684245127611931369023/190191934880166255737648330*c_\ 0101_5^5 + 237600349977790975142081533/3223592116612987385383870*c_\ 0101_5^4 - 496584268423517842774051727/38038386976033251147529666*c\ _0101_5^3 - 8524211999859425808513902/1611796058306493692691935*c_0\ 101_5^2 + 70684279532544382419392731/95095967440083127868824165*c_0\ 101_5 + 87072554929788658825422897/190191934880166255737648330, c_0101_0 + 51196161600248331675146363/95095967440083127868824165*c_0101\ _5^17 + 377993213907195796974139007/190191934880166255737648330*c_0\ 101_5^16 - 4734383388931466842398525259/190191934880166255737648330\ *c_0101_5^15 - 22539616917292322800206204161/1901919348801662557376\ 48330*c_0101_5^14 + 3229244336019557373821613175/190191934880166255\ 73764833*c_0101_5^13 + 158124039371006644875944989639/9509596744008\ 3127868824165*c_0101_5^12 + 517561599486808875879731244317/19019193\ 4880166255737648330*c_0101_5^11 + 9824417743530420816159535814/9509\ 5967440083127868824165*c_0101_5^10 - 602210047544139150353056262793/190191934880166255737648330*c_0101_5\ ^9 - 146020906434736764709809877129/95095967440083127868824165*c_01\ 01_5^8 + 135031279266580167194329898121/95095967440083127868824165*\ c_0101_5^7 + 87910129959964701030160190097/950959674400831278688241\ 65*c_0101_5^6 - 38302765199288866412342992826/950959674400831278688\ 24165*c_0101_5^5 - 587537431609199256721367097/32235921166129873853\ 83870*c_0101_5^4 + 933443070693659859486264989/19019193488016625573\ 764833*c_0101_5^3 + 55340718320778232815140541/32235921166129873853\ 83870*c_0101_5^2 - 586809826175328715128473523/19019193488016625573\ 7648330*c_0101_5 - 308902006035877193114394263/19019193488016625573\ 7648330, c_0101_1 - 1539559118413459876878663/95095967440083127868824165*c_0101_\ 5^17 - 14988381950301801774375697/190191934880166255737648330*c_010\ 1_5^16 + 133298675277266418423539619/190191934880166255737648330*c_\ 0101_5^15 + 858955255496655991256813221/190191934880166255737648330\ *c_0101_5^14 - 38090795255728732783346383/1901919348801662557376483\ 3*c_0101_5^13 - 5750281227660219813886635774/9509596744008312786882\ 4165*c_0101_5^12 - 24905466618051738736320541287/190191934880166255\ 737648330*c_0101_5^11 - 3091054120586455216650961329/95095967440083\ 127868824165*c_0101_5^10 + 32581700907023868788210712803/1901919348\ 80166255737648330*c_0101_5^9 + 9338607841986157959474724274/9509596\ 7440083127868824165*c_0101_5^8 - 14228393723760993175808208866/9509\ 5967440083127868824165*c_0101_5^7 - 10705701782723245794721534672/95095967440083127868824165*c_0101_5^6 + 5475519864949808897036287016/95095967440083127868824165*c_0101_5^\ 5 + 150864209422003351298721987/3223592116612987385383870*c_0101_5^\ 4 - 281181587981985300340813301/19019193488016625573764833*c_0101_5\ ^3 - 10668545956658362772141691/3223592116612987385383870*c_0101_5^\ 2 + 153440071408592365254519343/190191934880166255737648330*c_0101_\ 5 + 38554900175808725293522623/190191934880166255737648330, c_0101_4 - 6224022313778420031214963/95095967440083127868824165*c_0101_\ 5^17 - 42676480006602353118620177/190191934880166255737648330*c_010\ 1_5^16 + 589382391251259548128847779/190191934880166255737648330*c_\ 0101_5^15 + 2597273435359010496798212781/19019193488016625573764833\ 0*c_0101_5^14 - 471744598713054342670988469/19019193488016625573764\ 833*c_0101_5^13 - 18946237876410876890048253779/9509596744008312786\ 8824165*c_0101_5^12 - 52789290521068764595825492437/190191934880166\ 255737648330*c_0101_5^11 + 9993596636605264776946062766/95095967440\ 083127868824165*c_0101_5^10 + 89554870563236812993026880143/1901919\ 34880166255737648330*c_0101_5^9 + 15263122363828056726989356344/950\ 95967440083127868824165*c_0101_5^8 - 22660337996692872123225187876/95095967440083127868824165*c_0101_5^7 - 12579666063052864536047549287/95095967440083127868824165*c_0101_5\ ^6 + 5916879272341681027127088636/95095967440083127868824165*c_0101\ _5^5 + 97711288677722964655687487/3223592116612987385383870*c_0101_\ 5^4 - 121325528475345151407718282/19019193488016625573764833*c_0101\ _5^3 - 18471890161141620719859931/3223592116612987385383870*c_0101_\ 5^2 + 138665912444250484436568753/190191934880166255737648330*c_010\ 1_5 + 1000638770193001301880493/190191934880166255737648330, c_0101_5^18 + 4*c_0101_5^17 - 45*c_0101_5^16 - 234*c_0101_5^15 + 243*c_0101_5^14 + 3163*c_0101_5^13 + 6033*c_0101_5^12 + 2062*c_0101_5^11 - 5247*c_0101_5^10 - 4499*c_0101_5^9 + 1226*c_0101_5^8 + 2088*c_0101_5^7 - 129*c_0101_5^6 - 397*c_0101_5^5 - 16*c_0101_5^4 + 44*c_0101_5^3 + 5*c_0101_5^2 - 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB