Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 661044194] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0274 geometric_solution 4.32029754 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 2310 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 1 1 -2 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.091247291853 0.072899245873 0 3 0 3 0132 0132 2310 2310 0 0 0 0 0 -1 0 1 0 0 -1 1 -1 0 0 1 0 -2 2 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.250526970955 4.263701413983 0 2 2 0 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.761497305039 0.967658952412 1 1 4 5 3201 0132 0132 0132 0 0 0 0 0 1 0 -1 -1 0 1 0 -1 2 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 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.027460894558 0.367337721029 5 6 6 3 1023 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -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 -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.594831144690 0.812563879554 6 4 3 6 2310 1023 0132 1023 0 0 0 0 0 -1 1 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 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.594831144690 0.812563879554 4 4 5 5 2310 0132 3201 1023 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 0 0 0 0 1.413430191915 0.801278552984 ==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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_5']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 2446592909629853584618458545056737/14461677773098293972248475782992\ 805888*c_0101_6^24 - 21196737382554107279811655860226245/7230838886\ 549146986124237891496402944*c_0101_6^22 + 188852436319320046479727343537436777/144616777730982939722484757829\ 92805888*c_0101_6^20 - 3752502284387809685984181583630194683/289233\ 55546196587944496951565985611776*c_0101_6^18 + 141833557063120850190251589606107441901/115693422184786351777987806\ 263942447104*c_0101_6^16 + 631717794003567217302385126473177719/451\ 927430409321686632764868218525184*c_0101_6^14 - 14835851777798075829030103176153176773/7230838886549146986124237891\ 496402944*c_0101_6^12 - 1283786390445500285582527294343669611/11298\ 1857602330421658191217054631296*c_0101_6^10 - 19166061864601090276476118315099746511/4519274304093216866327648682\ 18525184*c_0101_6^8 - 1384945300988945326226313368723554877/2824546\ 4400582605414547804263657824*c_0101_6^6 + 734258161183745768252927678341137015/282454644005826054145478042636\ 57824*c_0101_6^4 + 342776331795184814345353928100812703/70613661001\ 45651353636951065914456*c_0101_6^2 + 16655614587700662340075527919400257/8826707625182064192046188832393\ 07, c_0011_0 - 1, c_0011_2 - 90388367142042452446743115573/278109187944197961004778380442\ 169344*c_0101_6^24 + 1426212749404700587712858397701/13905459397209\ 8980502389190221084672*c_0101_6^22 - 31325498428531094360682644502461/2781091879441979610047783804421693\ 44*c_0101_6^20 + 413038171571883305594753532105351/5562183758883959\ 22009556760884338688*c_0101_6^18 - 14711559957891319074059444382849361/2224873503553583688038227043537\ 354752*c_0101_6^16 + 10330510900305459175120688042389571/2781091879\ 44197961004778380442169344*c_0101_6^14 - 1232166086928995265564630362058103/69527296986049490251194595110542\ 336*c_0101_6^12 - 648688821423302741631520468382519/173818242465123\ 72562798648777635584*c_0101_6^10 - 1449416319788332708736556624210485/17381824246512372562798648777635\ 584*c_0101_6^8 - 367125856463216733167112269516447/5431820077035116\ 42587457774301112*c_0101_6^6 + 9411285924352271374883008528399/2715\ 91003851755821293728887150556*c_0101_6^4 + 68706349019343420260271397062559/67897750962938955323432221787639*c\ _0101_6^2 - 68666702855682796451342529870890/6789775096293895532343\ 2221787639, c_0011_4 + 1727970434497598714743305913197/2781091879441979610047783804\ 42169344*c_0101_6^24 - 1973011354234945795654080164189/173818242465\ 12372562798648777635584*c_0101_6^22 + 162714535019012463512464528337481/278109187944197961004778380442169\ 344*c_0101_6^20 - 2942423263435676189354775478094427/55621837588839\ 5922009556760884338688*c_0101_6^18 + 110965684347303375008446470855336241/222487350355358368803822704353\ 7354752*c_0101_6^16 + 6087964976721619580613728991707477/1112436751\ 776791844019113521768677376*c_0101_6^14 - 25368539643861059164533516885023993/2781091879441979610047783804421\ 69344*c_0101_6^12 - 23355883854485646806416890787629649/69527296986\ 049490251194595110542336*c_0101_6^10 - 20288991378725957099392943891680439/1738182424651237256279864877763\ 5584*c_0101_6^8 - 2799805504325522104613998371197491/43454560616280\ 93140699662194408896*c_0101_6^6 + 223160995766545459159756934736137\ /135795501925877910646864443575278*c_0101_6^4 + 3939241725454498624899866746956/67897750962938955323432221787639*c_\ 0101_6^2 - 26425838546639440711152583192512/67897750962938955323432\ 221787639, c_0101_0 - 1558962534613789797980496658957/1112436751776791844019113521\ 768677376*c_0101_6^25 + 17106109363026704965052341050375/5562183758\ 88395922009556760884338688*c_0101_6^23 - 249064531882055454349837603753181/111243675177679184401911352176867\ 7376*c_0101_6^21 + 3647798440599175494612520820875703/2224873503553\ 583688038227043537354752*c_0101_6^19 - 137539344875842035010491591263740601/889949401421433475215290817414\ 9419008*c_0101_6^17 + 85406891258609444329810355458406759/222487350\ 3553583688038227043537354752*c_0101_6^15 + 11569279409476088188911733744205415/2781091879441979610047783804421\ 69344*c_0101_6^13 + 1828415633906215215525888040727635/139054593972\ 098980502389190221084672*c_0101_6^11 - 1618423679842611768635653925602657/34763648493024745125597297555271\ 168*c_0101_6^9 - 268844482815428206222672577941147/2715910038517558\ 21293728887150556*c_0101_6^7 - 180577737111601886425348012987715/13\ 5795501925877910646864443575278*c_0101_6^5 + 333980184228769458336894739038301/271591003851755821293728887150556\ *c_0101_6^3 + 45201659937042585735322325882738/67897750962938955323\ 432221787639*c_0101_6, c_0101_1 - 29602505365806538159540470085959/111243675177679184401911352\ 1768677376*c_0101_6^25 + 269255793013376099948845040490163/55621837\ 5888395922009556760884338688*c_0101_6^23 - 2743455685229675047396982661233999/11124367517767918440191135217686\ 77376*c_0101_6^21 + 49889557845638668990824008265038269/22248735035\ 53583688038227043537354752*c_0101_6^19 - 1882924864458432749126557865007834395/88994940142143347521529081741\ 49419008*c_0101_6^17 - 11833887463048166896474539586391363/27810918\ 7944197961004778380442169344*c_0101_6^15 + 114261111411175652586040274894241319/278109187944197961004778380442\ 169344*c_0101_6^13 + 196574817588486576590356677011274301/139054593\ 972098980502389190221084672*c_0101_6^11 + 46559640636556886130639245067201481/8690912123256186281399324388817\ 792*c_0101_6^9 + 6045012114842910966148108933785759/217272803081404\ 6570349831097204448*c_0101_6^7 - 1627935674037758361146377344372283\ 3/2172728030814046570349831097204448*c_0101_6^5 - 110290610676413365159213051562979/135795501925877910646864443575278\ *c_0101_6^3 - 31737999299720872717252054953143/13579550192587791064\ 6864443575278*c_0101_6, c_0101_5 - 7487577827477929411897391586809/5562183758883959220095567608\ 84338688*c_0101_6^25 + 67730682022625911761354948336373/27810918794\ 4197961004778380442169344*c_0101_6^23 - 681647900587126862771987190853505/556218375888395922009556760884338\ 688*c_0101_6^21 + 12529616926822855220432504657111907/1112436751776\ 791844019113521768677376*c_0101_6^19 - 472276312036179614562300298678599781/444974700710716737607645408707\ 4709504*c_0101_6^17 - 8363076272726596242472363543998845/2781091879\ 44197961004778380442169344*c_0101_6^15 + 51639389915619875119629296664046055/2781091879441979610047783804421\ 69344*c_0101_6^13 + 51477587207135447807281471735019219/69527296986\ 049490251194595110542336*c_0101_6^11 + 48481016720041109265696004818177913/1738182424651237256279864877763\ 5584*c_0101_6^9 + 1963407718500173532597835106706203/10863640154070\ 23285174915548602224*c_0101_6^7 - 360021627219960324463578221138764\ 5/1086364015407023285174915548602224*c_0101_6^5 - 26888554541799293892627775801981/67897750962938955323432221787639*c\ _0101_6^3 - 74985708470131623166948543227105/1357955019258779106468\ 64443575278*c_0101_6, c_0101_6^26 - 18*c_0101_6^24 + 89*c_0101_6^22 - 1643/2*c_0101_6^20 + 62189/8*c_0101_6^18 + 3275*c_0101_6^16 - 16586*c_0101_6^14 - 57264*c_0101_6^12 - 209184*c_0101_6^10 - 130688*c_0101_6^8 + 308224*c_0101_6^6 + 135168*c_0101_6^4 - 16384*c_0101_6^2 - 32768 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB