Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 1309659802] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1387 geometric_solution 5.23960225 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 0 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 -1 0 1 0 0 -1 1 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.867664386171 0.078274592299 0 2 0 2 0132 0132 1023 1023 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 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.846910297362 0.132673312358 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 0 0 1 -1 1 0 0 -1 -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 -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.870010696263 0.339162111033 2 5 4 6 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 -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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702588750156 0.811433487493 6 3 5 2 3201 1230 0132 0132 0 0 0 0 0 -1 0 1 1 0 0 -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 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 0 0 0 0 0.702588750156 0.811433487493 5 3 5 4 2031 0132 1302 0132 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 0 0 0.854736637666 1.178424377548 6 6 3 4 1230 3012 0132 2310 0 0 0 0 0 0 0 0 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 -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.871204985819 1.329768947567 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], '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_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 216510658435910373273364770125/3442633725614008329378758656*c_0101_\ 3^25 - 14609714360180911491739061353/23104924332979921673682944*c_0\ 101_3^24 + 6809881347468414452540165662521/344263372561400832937875\ 8656*c_0101_3^23 + 4110205954650457090661100360079/3442633725614008\ 329378758656*c_0101_3^22 - 35918003448509090996361448194651/1721316\ 862807004164689379328*c_0101_3^21 + 126846557466694987705703621722721/3442633725614008329378758656*c_01\ 01_3^20 + 1027075011735845826964181393489/2689557598135944007327155\ 2*c_0101_3^19 - 344807771937733387224506400466405/17213168628070041\ 64689379328*c_0101_3^18 + 493603052489536833085873785066109/3442633\ 725614008329378758656*c_0101_3^17 + 586946542947591085694829085179351/1721316862807004164689379328*c_01\ 01_3^16 - 2289118613861169568349306351412005/3442633725614008329378\ 758656*c_0101_3^15 + 234242299879754420250138008936107/344263372561\ 4008329378758656*c_0101_3^14 + 773422796746709428394343009576431/86\ 0658431403502082344689664*c_0101_3^13 - 1441496848595349981282772415888877/1721316862807004164689379328*c_0\ 101_3^12 - 140982895760215637460328872873963/4303292157017510411723\ 44832*c_0101_3^11 + 1691916503220909551830845653028531/172131686280\ 7004164689379328*c_0101_3^10 - 13028632694440406880785716140419/732\ 47526076893794242101248*c_0101_3^9 - 1245816675775493718949894776241285/1721316862807004164689379328*c_0\ 101_3^8 + 874574335889018488511903377930073/34426337256140083293787\ 58656*c_0101_3^7 + 1952441070118886375696507687119317/3442633725614\ 008329378758656*c_0101_3^6 - 1200740916579374663515949441440975/344\ 2633725614008329378758656*c_0101_3^5 - 722179779831491421833962346813669/3442633725614008329378758656*c_01\ 01_3^4 + 377160320162572132724710970834173/172131686280700416468937\ 9328*c_0101_3^3 - 100366905027485863549524603188655/344263372561400\ 8329378758656*c_0101_3^2 - 49485302793358766885163429257451/3442633\ 725614008329378758656*c_0101_3 + 1324257335965447603471626676845/43\ 0329215701751041172344832, c_0011_0 - 1, c_0011_4 + 1143139965648843494008107/1680973498834965004579472*c_0101_3\ ^25 - 115922196304544724059759/11281701334462852379728*c_0101_3^24 + 86171554800412227437026783/1680973498834965004579472*c_0101_3^23 - 92046182080005923799573591/1680973498834965004579472*c_0101_3^22 - 319999066322865672534916757/840486749417482502289736*c_0101_3^21 + 2223299810451343541098146311/1680973498834965004579472*c_0101_3^20 - 37464951023365249533229705/105060843677185312786217*c_0101_3^19 - 4393586847802283334209880027/840486749417482502289736*c_0101_3^18 + 13937590906214589153989730491/1680973498834965004579472*c_0101_3^17 + 3986105633262255292897626929/840486749417482502289736*c_0101_3^16 - 40181110109682260444158476627/1680973498834965004579472*c_0101_3^\ 15 + 24597239116442657345280974925/1680973498834965004579472*c_0101\ _3^14 + 9872343602005926663653702025/420243374708741251144868*c_010\ 1_3^13 - 32564806185020988216415456395/840486749417482502289736*c_0\ 101_3^12 + 729378925440437584051497975/210121687354370625572434*c_0\ 101_3^11 + 30172484325534180046158868837/840486749417482502289736*c\ _0101_3^10 - 770113710008034083200572645/35765393592233297969776*c_\ 0101_3^9 - 18801268777044377317663498467/840486749417482502289736*c\ _0101_3^8 + 36172326739800707174269897551/1680973498834965004579472\ *c_0101_3^7 + 26893865101684931970782303539/16809734988349650045794\ 72*c_0101_3^6 - 33948001275657917520578242505/168097349883496500457\ 9472*c_0101_3^5 - 6967042210053086980943712291/16809734988349650045\ 79472*c_0101_3^4 + 8582390771389021350765981011/8404867494174825022\ 89736*c_0101_3^3 - 3809135172133738601693383433/1680973498834965004\ 579472*c_0101_3^2 - 1060620002305727157571315389/168097349883496500\ 4579472*c_0101_3 + 40329210001281214255685955/210121687354370625572\ 434, c_0011_6 + 191349146861879569804583933/53791151962718880146543104*c_010\ 1_3^25 - 12472307627819279712612185/361014442702811276151296*c_0101\ _3^24 + 5452973081328750654604222249/53791151962718880146543104*c_0\ 101_3^23 + 4881591323124575264276216607/53791151962718880146543104*\ c_0101_3^22 - 30203732927097129747489519915/26895575981359440073271\ 552*c_0101_3^21 + 94647832917441464797426557905/5379115196271888014\ 6543104*c_0101_3^20 + 1009846126429391089594323265/4202433747087412\ 51144868*c_0101_3^19 - 274599524506396953520116727317/2689557598135\ 9440073271552*c_0101_3^18 + 313157158318342756911379036205/53791151\ 962718880146543104*c_0101_3^17 + 501398597000095704682784096743/268\ 95575981359440073271552*c_0101_3^16 - 1705924466219219375352833299541/53791151962718880146543104*c_0101_3\ ^15 - 19589675254221642124077881221/53791151962718880146543104*c_01\ 01_3^14 + 610293480450366720389112758527/13447787990679720036635776\ *c_0101_3^13 - 1010477668233515536954091572893/26895575981359440073\ 271552*c_0101_3^12 - 132358927137059191944057600251/672389399533986\ 0018317888*c_0101_3^11 + 1250986383441430560387723502851/2689557598\ 1359440073271552*c_0101_3^10 - 5069840242289950556335816659/1144492\ 594951465535032832*c_0101_3^9 - 938598758926399829239443980725/2689\ 5575981359440073271552*c_0101_3^8 + 461768708268077258359667157321/53791151962718880146543104*c_0101_3^\ 7 + 1486055518501500192093516019205/53791151962718880146543104*c_01\ 01_3^6 - 784867328264751714494264119391/53791151962718880146543104*\ c_0101_3^5 - 558094168760753479546945369109/53791151962718880146543\ 104*c_0101_3^4 + 267461654188818843142784363949/2689557598135944007\ 3271552*c_0101_3^3 - 74279009513038922316973359935/5379115196271888\ 0146543104*c_0101_3^2 - 35034623450307044989023932091/5379115196271\ 8880146543104*c_0101_3 + 1029499880865356376819009117/6723893995339\ 860018317888, c_0101_0 - 146015586059735915630602043/26895575981359440073271552*c_010\ 1_3^25 + 8815423321768594019970943/180507221351405638075648*c_0101_\ 3^24 - 3270482983965717745815091247/26895575981359440073271552*c_01\ 01_3^23 - 5657354712502844863755566153/26895575981359440073271552*c\ _0101_3^22 + 20624489333633229798868744541/134477879906797200366357\ 76*c_0101_3^21 - 45204886641857344866227197255/26895575981359440073\ 271552*c_0101_3^20 - 930160759842538555652769931/210121687354370625\ 572434*c_0101_3^19 + 163817936627792535976404986851/134477879906797\ 20036635776*c_0101_3^18 - 48165909522087690956384723339/26895575981\ 359440073271552*c_0101_3^17 - 361987887557332557919839157185/134477\ 87990679720036635776*c_0101_3^16 + 820987313363600243872591771171/26895575981359440073271552*c_0101_3^\ 15 + 396804003825705348994069901171/26895575981359440073271552*c_01\ 01_3^14 - 364253401836655658061980998761/6723893995339860018317888*\ c_0101_3^13 + 351435475192920933511861531547/1344778799067972003663\ 5776*c_0101_3^12 + 123868947167157266244675807565/33619469976699300\ 09158944*c_0101_3^11 - 593686527629344590105046577221/1344778799067\ 9720036635776*c_0101_3^10 - 7624096893307857766929906827/5722462974\ 75732767516416*c_0101_3^9 + 507449506290674927857362802243/13447787\ 990679720036635776*c_0101_3^8 + 162548905821727853348204329201/2689\ 5575981359440073271552*c_0101_3^7 - 852056359053024129011065745395/26895575981359440073271552*c_0101_3^\ 6 + 143918340440022395415398635273/26895575981359440073271552*c_010\ 1_3^5 + 375412305202701301769568123747/26895575981359440073271552*c\ _0101_3^4 - 94201244714425479841717592971/1344778799067972003663577\ 6*c_0101_3^3 - 1938904382804175953302254807/26895575981359440073271\ 552*c_0101_3^2 + 13555970951353514325149994829/26895575981359440073\ 271552*c_0101_3 - 182971004289884372542307707/336194699766993000915\ 8944, c_0101_1 + 698828697937927662433090071/107582303925437760293086208*c_01\ 01_3^25 - 45513371082768960003924395/722028885405622552302592*c_010\ 1_3^24 + 19976032164036211874541202715/107582303925437760293086208*\ c_0101_3^23 + 17101293759176727839864910013/10758230392543776029308\ 6208*c_0101_3^22 - 109517955984267168983656174177/53791151962718880\ 146543104*c_0101_3^21 + 350153930138763353061205413907/107582303925\ 437760293086208*c_0101_3^20 + 3520204786312098076682014267/84048674\ 9417482502289736*c_0101_3^19 - 998754638436762490032127965791/53791\ 151962718880146543104*c_0101_3^18 + 1225537655911602726423877154471/107582303925437760293086208*c_0101_\ 3^17 + 1771153385727540983393157665557/53791151962718880146543104*c\ _0101_3^16 - 6327658881869483776911986083359/1075823039254377602930\ 86208*c_0101_3^15 + 274003129275859375827378935377/1075823039254377\ 60293086208*c_0101_3^14 + 2197420362742960091124367317725/268955759\ 81359440073271552*c_0101_3^13 - 3887121942596514416361170932727/537\ 91151962718880146543104*c_0101_3^12 - 426430054808047658734452695825/13447787990679720036635776*c_0101_3^\ 11 + 4621386129443703508408350609897/53791151962718880146543104*c_0\ 101_3^10 - 29495440977181056534110580057/2288985189902931070065664*\ c_0101_3^9 - 3365047983612351467166107035711/5379115196271888014654\ 3104*c_0101_3^8 + 2105457324359790158618425695099/10758230392543776\ 0293086208*c_0101_3^7 + 5267836104536763911029053274927/10758230392\ 5437760293086208*c_0101_3^6 - 3189554014998622147457341202045/10758\ 2303925437760293086208*c_0101_3^5 - 1873832685506778231793426901855/107582303925437760293086208*c_0101_\ 3^4 + 1042019831472275207890992436263/53791151962718880146543104*c_\ 0101_3^3 - 357281577430735057352630091549/1075823039254377602930862\ 08*c_0101_3^2 - 132691997358888162719177778449/10758230392543776029\ 3086208*c_0101_3 + 4550925233362387778535638007/1344778799067972003\ 6635776, c_0101_2 - 58421237703440848822020897/26895575981359440073271552*c_0101\ _3^25 + 3657428369448827441151277/180507221351405638075648*c_0101_3\ ^24 - 1456421212479836306649542973/26895575981359440073271552*c_010\ 1_3^23 - 2036648296415266696726096555/26895575981359440073271552*c_\ 0101_3^22 + 8800807951052404049041689383/13447787990679720036635776\ *c_0101_3^21 - 22119465892180137489096873989/2689557598135944007327\ 1552*c_0101_3^20 - 370228999079269476247495835/21012168735437062557\ 2434*c_0101_3^19 + 74098994413289536720568159641/134477879906797200\ 36635776*c_0101_3^18 - 39696189515714628264041207057/26895575981359\ 440073271552*c_0101_3^17 - 157449094009343159338332469779/134477879\ 90679720036635776*c_0101_3^16 + 395749363939693197474562164313/2689\ 5575981359440073271552*c_0101_3^15 + 145632470848664073530974979401/26895575981359440073271552*c_0101_3^\ 14 - 167447750570692771248208464011/6723893995339860018317888*c_010\ 1_3^13 + 181804811328446498875630011457/13447787990679720036635776*\ c_0101_3^12 + 54151012965238402955736869751/33619469976699300091589\ 44*c_0101_3^11 - 289787153623753051802793566047/1344778799067972003\ 6635776*c_0101_3^10 - 2786753813793918953488615697/5722462974757327\ 67516416*c_0101_3^9 + 247380035785445605126018089913/13447787990679\ 720036635776*c_0101_3^8 + 42663584774069734712011037475/26895575981\ 359440073271552*c_0101_3^7 - 411636514446732213396707644361/2689557\ 5981359440073271552*c_0101_3^6 + 84567255924353720849492453099/2689\ 5575981359440073271552*c_0101_3^5 + 182245436468766516764515623193/26895575981359440073271552*c_0101_3^\ 4 - 45857959727798008791725447953/13447787990679720036635776*c_0101\ _3^3 - 3691956327897140012165118133/26895575981359440073271552*c_01\ 01_3^2 + 6734277745289926832451333879/26895575981359440073271552*c_\ 0101_3 - 55390924133512461430250529/3361946997669930009158944, c_0101_3^26 - 9*c_0101_3^25 + 21*c_0101_3^24 + 51*c_0101_3^23 - 310*c_0101_3^22 + 245*c_0101_3^21 + 1192*c_0101_3^20 - 2546*c_0101_3^19 - 927*c_0101_3^18 + 7662*c_0101_3^17 - 5129*c_0101_3^16 - 9457*c_0101_3^15 + 15460*c_0101_3^14 + 798*c_0101_3^13 - 18632*c_0101_3^12 + 10814*c_0101_3^11 + 12591*c_0101_3^10 - 14650*c_0101_3^9 - 6995*c_0101_3^8 + 13201*c_0101_3^7 + 3005*c_0101_3^6 - 9041*c_0101_3^5 + 538*c_0101_3^4 + 3109*c_0101_3^3 - 879*c_0101_3^2 - 176*c_0101_3 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB