Magma V2.19-8 Tue Aug 20 2013 16:18:19 on localhost [Seed = 2934911879] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2524 geometric_solution 5.84040881 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 1 -1 0 0 0 0 0 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 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.495755800398 1.062962120647 0 0 3 2 0132 3201 0132 0132 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 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.106804644946 1.329610047978 4 5 1 5 0132 0132 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189167571046 0.629824043799 5 4 4 1 2031 1302 0321 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 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.669799264102 1.133532149266 2 6 3 3 0132 0132 0321 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.850505467821 1.467081055138 6 2 3 2 0132 0132 1302 2103 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 -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.763114869219 0.813192952745 5 4 6 6 0132 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 -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.051039732423 0.802478075554 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : 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' : 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' : d['c_0101_3'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 151792188071853961913141549876835792059928/209750431188506321576482\ 196692256557740575*c_0101_6^18 - 5316970948724068182377382878947130\ 40719201/209750431188506321576482196692256557740575*c_0101_6^17 + 7392921737178721249341611060143343108418/83900172475402528630592878\ 67690262309623*c_0101_6^16 - 84265932466721483125669489004880002750\ 61183/209750431188506321576482196692256557740575*c_0101_6^15 + 17746471417469348271729074917696289703799248/2097504311885063215764\ 82196692256557740575*c_0101_6^14 - 1133542075038737525387272226527555268342078/59928694625287520450423\ 48476921615935445*c_0101_6^13 + 13707202131350093875595113104186716\ 582805316/209750431188506321576482196692256557740575*c_0101_6^12 + 53265586781456826026440090318865244586348267/2097504311885063215764\ 82196692256557740575*c_0101_6^11 - 47136202184816699131829734274909448065277982/4195008623770126431529\ 6439338451311548115*c_0101_6^10 + 720298983248313847855301363226254\ 034039989728/209750431188506321576482196692256557740575*c_0101_6^9 - 1421363087027792877194721420255621333005515284/20975043118850632157\ 6482196692256557740575*c_0101_6^8 + 8220752826064929419323372152246026463779418/73083773933277463963931\ 0789868489748225*c_0101_6^7 - 2559433499147362920842461415555890927\ 459280244/209750431188506321576482196692256557740575*c_0101_6^6 + 234765793212710062477948180354899672221899309/299643473126437602252\ 11742384608079677225*c_0101_6^5 - 213587294939715526073578558672586\ 9883877/769418585551123849823308095815826175*c_0101_6^4 - 206630303975149219886755376458471202356515278/209750431188506321576\ 482196692256557740575*c_0101_6^3 + 68792144990773958315020092692440769449183206/4195008623770126431529\ 6439338451311548115*c_0101_6^2 - 1860328143140076168965061782288463\ 27426300933/209750431188506321576482196692256557740575*c_0101_6 + 13887866500400011622147644070876468542978698/4195008623770126431529\ 6439338451311548115, c_0011_0 - 1, c_0011_2 + 24015414714850750094537838675594580/154540748711369549881364\ 6687730753787*c_0101_6^18 + 89759370263696837121821088236937478/154\ 5407487113695498813646687730753787*c_0101_6^17 - 1800783504109876472025238646014556/15454074871136954988136466877307\ 53787*c_0101_6^16 + 1361638884059091414023410600468609216/154540748\ 7113695498813646687730753787*c_0101_6^15 - 2466550849149399610704753921272068918/15454074871136954988136466877\ 30753787*c_0101_6^14 + 867422416020753448007554847345267806/2207724\ 98159099356973378098247250541*c_0101_6^13 - 1098473514405356927651571088655754699/15454074871136954988136466877\ 30753787*c_0101_6^12 - 7413056599339726409724665019376014796/154540\ 7487113695498813646687730753787*c_0101_6^11 + 36377035717348699885833104677390428315/1545407487113695498813646687\ 730753787*c_0101_6^10 - 106926332008408332072836511111860025611/154\ 5407487113695498813646687730753787*c_0101_6^9 + 208236458158467099154151640698494641866/154540748711369549881364668\ 7730753787*c_0101_6^8 - 1203999816800042073469027626569800244/53846\ 95077051203828618978006030501*c_0101_6^7 + 360839004434635053805122044683184885859/154540748711369549881364668\ 7730753787*c_0101_6^6 - 33291210171001534446383597286243828338/2207\ 72498159099356973378098247250541*c_0101_6^5 + 17804905609216530858845053535023619/3458061058656736403700261104790\ 23*c_0101_6^4 + 35509696652560396118318792212776904953/154540748711\ 3695498813646687730753787*c_0101_6^3 - 49453636541660278281348427294162737200/1545407487113695498813646687\ 730753787*c_0101_6^2 + 29352670041612426104318358621425929192/15454\ 07487113695498813646687730753787*c_0101_6 - 10495987938706955834112420496621059843/1545407487113695498813646687\ 730753787, c_0011_3 + 12975792927732479531830100262614243/154540748711369549881364\ 6687730753787*c_0101_6^18 + 48084164526612830212406264263759463/154\ 5407487113695498813646687730753787*c_0101_6^17 - 5860611518812670615009369961839390/15454074871136954988136466877307\ 53787*c_0101_6^16 + 721491029317471601981365100674973544/1545407487\ 113695498813646687730753787*c_0101_6^15 - 1361698215056988429555756379644924945/15454074871136954988136466877\ 30753787*c_0101_6^14 + 448334971123309108879437574801671022/2207724\ 98159099356973378098247250541*c_0101_6^13 - 449586142814632456250575156573419422/154540748711369549881364668773\ 0753787*c_0101_6^12 - 4605490006966894545512454615551510564/1545407\ 487113695498813646687730753787*c_0101_6^11 + 19483414906628558216575918381303974446/1545407487113695498813646687\ 730753787*c_0101_6^10 - 57221622164047225079951917367676641410/1545\ 407487113695498813646687730753787*c_0101_6^9 + 110096360036174967088584884635085219504/154540748711369549881364668\ 7730753787*c_0101_6^8 - 621132882971809603931996892930529497/538469\ 5077051203828618978006030501*c_0101_6^7 + 180418830716022442357314501361439571943/154540748711369549881364668\ 7730753787*c_0101_6^6 - 14416909528536101097575937852393225052/2207\ 72498159099356973378098247250541*c_0101_6^5 + 5252256392862214085510772335778350/34580610586567364037002611047902\ 3*c_0101_6^4 + 22389298082595953835768639141201565254/1545407487113\ 695498813646687730753787*c_0101_6^3 - 24966187230366765325584377162033784160/1545407487113695498813646687\ 730753787*c_0101_6^2 + 11620156753419907593905972046431392706/15454\ 07487113695498813646687730753787*c_0101_6 - 3204764711909156873746648379739528092/15454074871136954988136466877\ 30753787, c_0101_0 + 340294322992626153939087/279928105455809004953317357*c_0101_\ 6^18 + 1417403354481569188950589/279928105455809004953317357*c_0101\ _6^17 + 610450720646850707533405/279928105455809004953317357*c_0101\ _6^16 + 19668658779151092443586263/279928105455809004953317357*c_01\ 01_6^15 - 26486822144147640453608355/279928105455809004953317357*c_\ 0101_6^14 + 76706377674233948641722708/279928105455809004953317357*\ c_0101_6^13 + 14890309950005238057269555/27992810545580900495331735\ 7*c_0101_6^12 - 88272827011127294048709562/279928105455809004953317\ 357*c_0101_6^11 + 478897849732679656983492320/279928105455809004953\ 317357*c_0101_6^10 - 1314749156153007845751431106/27992810545580900\ 4953317357*c_0101_6^9 + 2447858871322367216509155794/27992810545580\ 9004953317357*c_0101_6^8 - 3973475582993501501273550458/27992810545\ 5809004953317357*c_0101_6^7 + 3693074751140701428944989018/27992810\ 5455809004953317357*c_0101_6^6 - 2213691827014460978482517282/27992\ 8105455809004953317357*c_0101_6^5 + 603596617041332681233473890/279928105455809004953317357*c_0101_6^4 + 446568149693846838526773287/279928105455809004953317357*c_0101_6^3 - 525426406559235225742538544/279928105455809004953317357*c_0101_6^2 + 163252723729580893726530918/279928105455809004953317357*c_0101_6 + 84432237058242518730482044/279928105455809004953317357, c_0101_1 - 106709068771934212968355979248866/31538928308442765281911156\ 892464363*c_0101_6^18 - 318715850330559018966612975708877/315389283\ 08442765281911156892464363*c_0101_6^17 + 335598443965606916044460565726132/315389283084427652819111568924643\ 63*c_0101_6^16 - 5888810217045614278228890828530356/315389283084427\ 65281911156892464363*c_0101_6^15 + 15835736579256885819372263144090200/3153892830844276528191115689246\ 4363*c_0101_6^14 - 33131494867531379637958311903353858/315389283084\ 42765281911156892464363*c_0101_6^13 + 26226931989850998127836725595382910/3153892830844276528191115689246\ 4363*c_0101_6^12 + 36246595506976607896325748387591770/315389283084\ 42765281911156892464363*c_0101_6^11 - 176375274524926977663054860833755675/315389283084427652819111568924\ 64363*c_0101_6^10 + 605986342578633923670391404744628750/3153892830\ 8442765281911156892464363*c_0101_6^9 - 1241211514430495466911733165036166465/31538928308442765281911156892\ 464363*c_0101_6^8 + 53192724424247348382655235237313277/76924215386\ 4457689802711143718643*c_0101_6^7 - 2650224068922249516325915865317630360/31538928308442765281911156892\ 464363*c_0101_6^6 + 2057587365611304212914934794991568351/315389283\ 08442765281911156892464363*c_0101_6^5 - 231954620020801139440337280886140/7057267466646400823878083887327*c\ _0101_6^4 - 101854760641494192417312973178374528/315389283084427652\ 81911156892464363*c_0101_6^3 + 408160967702206669289625318527262246\ /31538928308442765281911156892464363*c_0101_6^2 - 297115797856282198460123523219851558/315389283084427652819111568924\ 64363*c_0101_6 + 128575348669680697541412209634606259/3153892830844\ 2765281911156892464363, c_0101_3 + 7607361394501895921877565240644997/1545407487113695498813646\ 687730753787*c_0101_6^18 + 26064128339564321991556352544311581/1545\ 407487113695498813646687730753787*c_0101_6^17 - 12919704132745768974347602675163825/1545407487113695498813646687730\ 753787*c_0101_6^16 + 417063102408427945622689563109075471/154540748\ 7113695498813646687730753787*c_0101_6^15 - 920446822803115296790185015190949177/154540748711369549881364668773\ 0753787*c_0101_6^14 + 281169389678112587917616677754759993/22077249\ 8159099356973378098247250541*c_0101_6^13 - 671401239029917294515211789669387242/154540748711369549881364668773\ 0753787*c_0101_6^12 - 2989617940309509884140342448160241024/1545407\ 487113695498813646687730753787*c_0101_6^11 + 11998495805121511065403410245507287459/1545407487113695498813646687\ 730753787*c_0101_6^10 - 36371604467487699320764345843031392312/1545\ 407487113695498813646687730753787*c_0101_6^9 + 71499613864982384799497586097998793348/1545407487113695498813646687\ 730753787*c_0101_6^8 - 407707844257385034915413756347647218/5384695\ 077051203828618978006030501*c_0101_6^7 + 124031703222357989210042333605765641456/154540748711369549881364668\ 7730753787*c_0101_6^6 - 10325658420324797683855370707680855853/2207\ 72498159099356973378098247250541*c_0101_6^5 + 3652310110961793472506857308095929/34580610586567364037002611047902\ 3*c_0101_6^4 + 15292458877423667349652137661971476472/1545407487113\ 695498813646687730753787*c_0101_6^3 - 16633433362933033286490196886857102138/1545407487113695498813646687\ 730753787*c_0101_6^2 + 8866189949511265508704537331614584491/154540\ 7487113695498813646687730753787*c_0101_6 - 2041116894619990037381998547466449089/15454074871136954988136466877\ 30753787, c_0101_6^19 + 3*c_0101_6^18 - 3*c_0101_6^17 + 56*c_0101_6^16 - 145*c_0101_6^15 + 319*c_0101_6^14 - 222*c_0101_6^13 - 306*c_0101_6^12 + 1721*c_0101_6^11 - 5521*c_0101_6^10 + 11742*c_0101_6^9 - 20224*c_0101_6^8 + 24686*c_0101_6^7 - 19338*c_0101_6^6 + 9455*c_0101_6^5 - 743*c_0101_6^4 - 3064*c_0101_6^3 + 2586*c_0101_6^2 - 1259*c_0101_6 + 305 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB