Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 3937105420] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0775 geometric_solution 4.71889635 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -2 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 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 1.549771870030 0.162954749606 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.301017796926 0.321840877062 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568145446626 0.753833035115 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.337757945369 0.369314208175 3 3 2 5 2031 1302 0132 2310 0 0 0 0 0 0 1 -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 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.337757945369 0.369314208175 4 3 6 6 3201 0132 0132 3201 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 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.920571196473 1.309533786715 6 5 6 5 2031 2310 1302 0132 0 0 0 0 0 1 -1 0 1 0 0 -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 -1 0 1 0 0 -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.121926592169 0.950690701996 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 602382354242762214478823598810137989642742536228656997/331918137033\ 03257363800548794578915099100739869252848*c_0101_5^27 + 187929670410793648429720635950603780515563311813785571239/663836274\ 06606514727601097589157830198201479738505696*c_0101_5^25 - 12948607489816399758985476700662032047784734675272727689/1885898505\ 86950325930684936332834744881254203802573*c_0101_5^23 + 1017180074335308101991919180523103937303304871785656963011/66383627\ 406606514727601097589157830198201479738505696*c_0101_5^21 - 132292078803983186089730660523190128020755206909376599244497/663836\ 27406606514727601097589157830198201479738505696*c_0101_5^19 + 708035988352540889507186291994454810996119017406708752201945/663836\ 27406606514727601097589157830198201479738505696*c_0101_5^17 + 202504862559462609080231616341136179639750338389100528355931/331918\ 13703303257363800548794578915099100739869252848*c_0101_5^15 + 477580591792354504396760317139226779363999635403386962187675/829795\ 3425825814340950137198644728774775184967313212*c_0101_5^13 - 11178489658657373822326455387123392285808268891261149553883017/6638\ 3627406606514727601097589157830198201479738505696*c_0101_5^11 + 4795142142004276208435575127343775105638628232329434786063633/33191\ 813703303257363800548794578915099100739869252848*c_0101_5^9 - 977911870457593769360844027366635720504266303372318789860627/165959\ 06851651628681900274397289457549550369934626424*c_0101_5^7 + 881701180535516597343568793914041306078928870186418395772419/663836\ 27406606514727601097589157830198201479738505696*c_0101_5^5 - 54298841540064708845814928264661902739164639802874421989931/3319181\ 3703303257363800548794578915099100739869252848*c_0101_5^3 + 345389999190155998611753035938687345965898358109380542173/414897671\ 2912907170475068599322364387387592483656606*c_0101_5, c_0011_0 - 1, c_0011_1 + 10907926230275210268108390521899874648605841816505/301743760\ 9391205214890958981325355918100067260841168*c_0101_5^26 - 1699390007710096706357886026756231546035467880333625/30174376093912\ 05214890958981325355918100067260841168*c_0101_5^24 + 5117068616073901234382689958547669471216646940729651/37717970117390\ 0651861369872665669489762508407605146*c_0101_5^22 - 1250221262220954305223379155231367483542574746372417/30174376093912\ 05214890958981325355918100067260841168*c_0101_5^20 + 149716790247763211900986267556167877757809134516362121/377179701173\ 900651861369872665669489762508407605146*c_0101_5^18 - 1544349541340662664299669548722100064928089635066920475/75435940234\ 7801303722739745331338979525016815210292*c_0101_5^16 - 1215811312621517422012346938204284660524157900285014955/75435940234\ 7801303722739745331338979525016815210292*c_0101_5^14 - 35569167115056094343809913353885501682813024540397039483/3017437609\ 391205214890958981325355918100067260841168*c_0101_5^12 + 94257567922397981114752697070626632952286720935739210427/3017437609\ 391205214890958981325355918100067260841168*c_0101_5^10 - 68668594553236608815825245745999123414845126436949356441/3017437609\ 391205214890958981325355918100067260841168*c_0101_5^8 + 5625831929175514513743014875559245027082455985151191399/75435940234\ 7801303722739745331338979525016815210292*c_0101_5^6 - 1942121794226734147607226082222370748760312451300148891/15087188046\ 95602607445479490662677959050033630420584*c_0101_5^4 + 75330142533331227149012208957545393149025273002836003/7543594023478\ 01303722739745331338979525016815210292*c_0101_5^2 - 208125394951274251827659063825344483860448064886584/188589850586950\ 325930684936332834744881254203802573, c_0011_4 - 286440536704126473871928208951022043823435981103/18858985058\ 6950325930684936332834744881254203802573*c_0101_5^26 + 44626055947743315649302381516999664676231910175824/1885898505869503\ 25930684936332834744881254203802573*c_0101_5^24 - 8600323383535259579665540476874811981421260692621973/15087188046956\ 02607445479490662677959050033630420584*c_0101_5^22 + 68752873317080602819413154931118591340289508502503/3771797011739006\ 51861369872665669489762508407605146*c_0101_5^20 - 125840508841123932234668216998653329101832943069157583/754359402347\ 801303722739745331338979525016815210292*c_0101_5^18 + 1297997934195950659572066484348840123866041288573477887/15087188046\ 95602607445479490662677959050033630420584*c_0101_5^16 + 1018329855729523724522343844898027272076405068936795799/15087188046\ 95602607445479490662677959050033630420584*c_0101_5^14 + 7479843165944929401560752224948788234038784051447623797/15087188046\ 95602607445479490662677959050033630420584*c_0101_5^12 - 19798270023810994125313140432080786530095250282011440221/1508718804\ 695602607445479490662677959050033630420584*c_0101_5^10 + 1813564303067020312138174484449105084004383416453017043/18858985058\ 6950325930684936332834744881254203802573*c_0101_5^8 - 4861232405371937628029239645713364655303486999431175697/15087188046\ 95602607445479490662677959050033630420584*c_0101_5^6 + 108772709390021113896585119599670201711742486855103168/188589850586\ 950325930684936332834744881254203802573*c_0101_5^4 - 35091686905269488011951342116667984385689156747891271/7543594023478\ 01303722739745331338979525016815210292*c_0101_5^2 + 83583491084797415330909182615501063384240605914942/1885898505869503\ 25930684936332834744881254203802573, c_0011_6 + 202815499487324993060591782995665558652949909719/37717970117\ 3900651861369872665669489762508407605146*c_0101_5^26 - 126300965765416125748521184434846349640378495598131/150871880469560\ 2607445479490662677959050033630420584*c_0101_5^24 + 3030778877238859853802179545740600136996060879399537/15087188046956\ 02607445479490662677959050033630420584*c_0101_5^22 + 29695358155824345938270684310211413634858630519093/1885898505869503\ 25930684936332834744881254203802573*c_0101_5^20 + 89136935471696645028829483688872650812973738285462921/1508718804695\ 602607445479490662677959050033630420584*c_0101_5^18 - 112417578175995982731578366161341598511050578690480281/377179701173\ 900651861369872665669489762508407605146*c_0101_5^16 - 102502430781938963439328536432423766955332795828456935/377179701173\ 900651861369872665669489762508407605146*c_0101_5^14 - 1347417544950338941723724748237178603843612778112618417/75435940234\ 7801303722739745331338979525016815210292*c_0101_5^12 + 6710666334248231906780868809202347184586830860783747785/15087188046\ 95602607445479490662677959050033630420584*c_0101_5^10 - 4401118076070304952552244936978958461927374883694042197/15087188046\ 95602607445479490662677959050033630420584*c_0101_5^8 + 1256910031238827583448825628181262449580829344646850671/15087188046\ 95602607445479490662677959050033630420584*c_0101_5^6 - 97173398925105992479606911488778161410840762960107787/7543594023478\ 01303722739745331338979525016815210292*c_0101_5^4 + 7671451665378836670793965390301224246904601376835621/75435940234780\ 1303722739745331338979525016815210292*c_0101_5^2 - 18552331450204163999023697058878581210662259029922/1885898505869503\ 25930684936332834744881254203802573, c_0101_0 + 2527723538946502036870625473496838225387498009489/3017437609\ 391205214890958981325355918100067260841168*c_0101_5^27 - 99165001328863610118457003543183608745975382405089/7543594023478013\ 03722739745331338979525016815210292*c_0101_5^25 + 9930983119054301036392294863429836671813823961310185/30174376093912\ 05214890958981325355918100067260841168*c_0101_5^23 - 10966684837970097759503587521872054681691061391178739/3017437609391\ 205214890958981325355918100067260841168*c_0101_5^21 + 276915235209309466846385135701858747246396398983981547/301743760939\ 1205214890958981325355918100067260841168*c_0101_5^19 - 872587608850587815200407854181139302795496032796492391/150871880469\ 5602607445479490662677959050033630420584*c_0101_5^17 + 28866909201324594365516482278512201802515923110829149/1885898505869\ 50325930684936332834744881254203802573*c_0101_5^15 - 6826476413020393159821923468040754150754986853444161551/30174376093\ 91205214890958981325355918100067260841168*c_0101_5^13 + 1955631564724045216475985904194384000690626873149141817/18858985058\ 6950325930684936332834744881254203802573*c_0101_5^11 - 9932929210519394432373938169967181234159645633438937085/75435940234\ 7801303722739745331338979525016815210292*c_0101_5^9 + 21063252106550067346933941162140978749516555574936635905/3017437609\ 391205214890958981325355918100067260841168*c_0101_5^7 - 342289776509001673521871961154914302771948843333680079/188589850586\ 950325930684936332834744881254203802573*c_0101_5^5 + 394927824138869107854472631295480798021131738131052965/150871880469\ 5602607445479490662677959050033630420584*c_0101_5^3 - 6236624925106434517549062741606422834355853176257549/37717970117390\ 0651861369872665669489762508407605146*c_0101_5, c_0101_2 + 14487313581550578358746925006605922840998823093279/301743760\ 9391205214890958981325355918100067260841168*c_0101_5^27 - 1128512756908408332556427124445598385042264227263437/15087188046956\ 02607445479490662677959050033630420584*c_0101_5^25 + 54368080400146162069039096422785454944543229730519457/3017437609391\ 205214890958981325355918100067260841168*c_0101_5^23 - 1649913335617039273951006475396214828962948675817629/30174376093912\ 05214890958981325355918100067260841168*c_0101_5^21 + 1591563225873354326853671248471916659172383788848282819/30174376093\ 91205214890958981325355918100067260841168*c_0101_5^19 - 4101490209550569498763677935975065471603291750242776179/15087188046\ 95602607445479490662677959050033630420584*c_0101_5^17 - 1610501906766745502137509312597434498733783593173160817/75435940234\ 7801303722739745331338979525016815210292*c_0101_5^15 - 47361268061090093288695274381396494071951119398450746061/3017437609\ 391205214890958981325355918100067260841168*c_0101_5^13 + 62509604490291614536595453081326888315495999453371084739/1508718804\ 695602607445479490662677959050033630420584*c_0101_5^11 - 45921558804185019752924007092671703980047451128402009515/1508718804\ 695602607445479490662677959050033630420584*c_0101_5^9 + 31453602128264371226632237865893755736277393280841462737/3017437609\ 391205214890958981325355918100067260841168*c_0101_5^7 - 751057369033744883585560453315853384486411085829617421/377179701173\ 900651861369872665669489762508407605146*c_0101_5^5 + 295981139135707769153729629096659542296759037125617721/150871880469\ 5602607445479490662677959050033630420584*c_0101_5^3 - 1670557261446059921875445793577217879301856133476510/18858985058695\ 0325930684936332834744881254203802573*c_0101_5, c_0101_5^28 - 156*c_0101_5^26 + 3785*c_0101_5^24 - 887*c_0101_5^22 + 109815*c_0101_5^20 - 588938*c_0101_5^18 - 329584*c_0101_5^16 - 3167179*c_0101_5^14 + 9314632*c_0101_5^12 - 8063568*c_0101_5^10 + 3332197*c_0101_5^8 - 764912*c_0101_5^6 + 97122*c_0101_5^4 - 5368*c_0101_5^2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB