Magma V2.19-8 Tue Aug 20 2013 16:18:03 on localhost [Seed = 307465949] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2277 geometric_solution 5.69545490 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.295514376849 0.789910759267 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.859862473117 1.143966896539 1 3 0 4 1230 2310 0132 2310 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 -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.859862473117 1.143966896539 1 5 5 2 0132 0132 3201 3201 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 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.669698597096 0.345156339314 2 6 6 1 3201 0132 3201 0132 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 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.174527896125 0.402075531620 3 3 5 5 2310 0132 1230 3012 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 -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.476592076253 0.637931991343 4 4 6 6 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 1.884105481869 2.351770192107 ==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' : 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' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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_0101_6'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), '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_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), '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' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], '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_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: 22 Groebner basis: [ t - 9419972059967115479492283436520769977/25229472572071172907176959104\ 4682541*c_0101_6^21 - 14964159767710894460414737576666052611/840982\ 41906903909690589863681560847*c_0101_6^20 - 52999236238548325616131085375782122601/8409824190690390969058986368\ 1560847*c_0101_6^19 - 292184061063448231745723547261906795679/25229\ 4725720711729071769591044682541*c_0101_6^18 + 22425302398771815409961425927096086052/2522947257207117290717695910\ 44682541*c_0101_6^17 - 1481510022336549214027271480432749270729/252\ 294725720711729071769591044682541*c_0101_6^16 + 236131975482019071660620439928584520741/840982419069039096905898636\ 81560847*c_0101_6^15 + 1643357443696762326190915568186499506929/252\ 294725720711729071769591044682541*c_0101_6^14 - 2731635471403080056395942326790066283815/25229472572071172907176959\ 1044682541*c_0101_6^13 + 5108959619012172529000547133660150611060/2\ 52294725720711729071769591044682541*c_0101_6^12 - 2546805768086013117800306311314344178133/25229472572071172907176959\ 1044682541*c_0101_6^11 + 31441178378871547241952071539335605498/646\ 9095531300300745429989513966219*c_0101_6^10 - 548177630435548131741740228186511812668/840982419069039096905898636\ 81560847*c_0101_6^9 - 210530939405291793868919069621046892369/19407\ 286593900902236289968541898657*c_0101_6^8 + 9787220497740192932636494033158724480/25229472572071172907176959104\ 4682541*c_0101_6^7 + 750036628325842685902301192680061894111/252294\ 725720711729071769591044682541*c_0101_6^6 + 559765387129906444233926675235211791985/840982419069039096905898636\ 81560847*c_0101_6^5 + 701328882616669399973568261473015280545/25229\ 4725720711729071769591044682541*c_0101_6^4 - 371780067144165320000834591189276411153/252294725720711729071769591\ 044682541*c_0101_6^3 - 463094905938557676890515309616242650232/2522\ 94725720711729071769591044682541*c_0101_6^2 + 3682249981796960761072022322529922855/84098241906903909690589863681\ 560847*c_0101_6 + 42631116421385500000319111841821979586/2522947257\ 20711729071769591044682541, c_0011_0 - 1, c_0011_1 - 1922357930508098679650732954593/2729576173544430694274257178\ 8887*c_0101_6^21 - 2856840217622436857737924634630/9098587245148102\ 314247523929629*c_0101_6^20 - 9900740334788724727453102075817/90985\ 87245148102314247523929629*c_0101_6^19 - 49750031902391488166485834201535/27295761735444306942742571788887*c\ _0101_6^18 + 22963621930471190888604032104721/272957617354443069427\ 42571788887*c_0101_6^17 - 301107715277245654030218669860108/2729576\ 1735444306942742571788887*c_0101_6^16 + 82656542195084398561027559727551/9098587245148102314247523929629*c_\ 0101_6^15 + 286168224357316376883658320901625/272957617354443069427\ 42571788887*c_0101_6^14 - 611374408158456482380207583972321/2729576\ 1735444306942742571788887*c_0101_6^13 + 1221422608662364444507654718111134/27295761735444306942742571788887\ *c_0101_6^12 - 866380487604731761525292495027669/272957617354443069\ 42742571788887*c_0101_6^11 + 153746586115001752794215352476386/9098\ 587245148102314247523929629*c_0101_6^10 - 185001166737219985447817938250885/9098587245148102314247523929629*c\ _0101_6^9 - 333485942998706846282652205698311/272957617354443069427\ 42571788887*c_0101_6^8 - 46414862545840142685575289236446/272957617\ 35444306942742571788887*c_0101_6^7 + 304745267320976878449027917552845/27295761735444306942742571788887*\ c_0101_6^6 + 102424260055927210885542843384797/90985872451481023142\ 47523929629*c_0101_6^5 + 117210971981184807632672144106370/27295761\ 735444306942742571788887*c_0101_6^4 - 76973024528959776254511264678067/27295761735444306942742571788887*c\ _0101_6^3 - 124613388044720774157634839272042/272957617354443069427\ 42571788887*c_0101_6^2 + 792006807044727720095393364670/90985872451\ 48102314247523929629*c_0101_6 - 5270980105007223175437392716675/272\ 95761735444306942742571788887, c_0011_4 + 406181039791654829840999893958/27295761735444306942742571788\ 887*c_0101_6^21 + 987236892594251797733171226763/909858724514810231\ 4247523929629*c_0101_6^20 + 3813787302637058788184043813649/9098587\ 245148102314247523929629*c_0101_6^19 + 28626558818161895547910116039721/27295761735444306942742571788887*c\ _0101_6^18 + 26172415088091760785443781369122/272957617354443069427\ 42571788887*c_0101_6^17 + 53250999745794313884246802236889/27295761\ 735444306942742571788887*c_0101_6^16 + 43760549423381578551603259571564/9098587245148102314247523929629*c_\ 0101_6^15 - 205857799650696291323582171501854/272957617354443069427\ 42571788887*c_0101_6^14 - 13709935773737036514065917935398/27295761\ 735444306942742571788887*c_0101_6^13 + 64372583885866674311535422971414/27295761735444306942742571788887*c\ _0101_6^12 - 534030277902718314435779054902127/27295761735444306942\ 742571788887*c_0101_6^11 + 156286080433864788862668599571412/909858\ 7245148102314247523929629*c_0101_6^10 - 110641812336027248115429174103904/9098587245148102314247523929629*c\ _0101_6^9 + 590929816312980991934084296183000/272957617354443069427\ 42571788887*c_0101_6^8 + 94182969983977685433034430156642/272957617\ 35444306942742571788887*c_0101_6^7 - 18441374252514070468416017229092/27295761735444306942742571788887*c\ _0101_6^6 - 51368663929302676661939880241675/9098587245148102314247\ 523929629*c_0101_6^5 - 264561571191530348933753499840143/2729576173\ 5444306942742571788887*c_0101_6^4 - 42854351808448879811304918716311/27295761735444306942742571788887*c\ _0101_6^3 + 40416615136488390175481243169475/2729576173544430694274\ 2571788887*c_0101_6^2 + 26014223968146089497180779417034/9098587245\ 148102314247523929629*c_0101_6 + 1159467758403664316133849127094/27\ 295761735444306942742571788887, c_0101_0 - 9714538562589472716178737346501/2729576173544430694274257178\ 8887*c_0101_6^21 - 16491935792248524331170258472985/909858724514810\ 2314247523929629*c_0101_6^20 - 59943287706848826184719103037783/909\ 8587245148102314247523929629*c_0101_6^19 - 359242154774753472559357174803383/27295761735444306942742571788887*\ c_0101_6^18 - 91894872594227185121077048004377/27295761735444306942\ 742571788887*c_0101_6^17 - 1558361438846035038681263026061255/27295\ 761735444306942742571788887*c_0101_6^16 + 66701770947538492752032079421715/9098587245148102314247523929629*c_\ 0101_6^15 + 1814843114577440179405160159640674/27295761735444306942\ 742571788887*c_0101_6^14 - 2353088109003762646075321822704950/27295\ 761735444306942742571788887*c_0101_6^13 + 4488893167822621295831203774564768/27295761735444306942742571788887\ *c_0101_6^12 - 945679976362923554082680726195174/272957617354443069\ 42742571788887*c_0101_6^11 + 182553883247196574216195765865992/9098\ 587245148102314247523929629*c_0101_6^10 - 352408548022406699140760717644292/9098587245148102314247523929629*c\ _0101_6^9 - 3364767904479446218454591890479134/27295761735444306942\ 742571788887*c_0101_6^8 - 994237915507227157330903473328567/2729576\ 1735444306942742571788887*c_0101_6^7 + 511493346511191687777985450321378/27295761735444306942742571788887*\ c_0101_6^6 + 558257636699931427524680418734354/90985872451481023142\ 47523929629*c_0101_6^5 + 1310315411100128736091132034097265/2729576\ 1735444306942742571788887*c_0101_6^4 - 33987168162966458176472215929130/27295761735444306942742571788887*c\ _0101_6^3 - 416831305321553885525409836365988/272957617354443069427\ 42571788887*c_0101_6^2 - 30611250267014254932767656241045/909858724\ 5148102314247523929629*c_0101_6 + 16282535020719589312352714192429/\ 27295761735444306942742571788887, c_0101_1 - 579320116176637300417611673456/90985872451481023142475239296\ 29*c_0101_6^21 - 1401226608835219754037908415670/303286241504936743\ 8082507976543*c_0101_6^20 - 5547836355408281039960905353697/3032862\ 415049367438082507976543*c_0101_6^19 - 42515835078925965742525313491046/9098587245148102314247523929629*c_\ 0101_6^18 - 44344261374403359665869858408006/9098587245148102314247\ 523929629*c_0101_6^17 - 91545488585775966671891731326278/9098587245\ 148102314247523929629*c_0101_6^16 - 63801019506646747523923042777511/3032862415049367438082507976543*c_\ 0101_6^15 + 209918892776645415645789283825919/909858724514810231424\ 7523929629*c_0101_6^14 + 39934919072870362805147172501328/909858724\ 5148102314247523929629*c_0101_6^13 - 85114676187070529655529776752456/9098587245148102314247523929629*c_\ 0101_6^12 + 648418042891128311056523819818078/909858724514810231424\ 7523929629*c_0101_6^11 - 129241946188379584044166424743749/30328624\ 15049367438082507976543*c_0101_6^10 + 85263783382964544500698852252485/3032862415049367438082507976543*c_\ 0101_6^9 - 546175661097205142088871526543090/9098587245148102314247\ 523929629*c_0101_6^8 - 317239908859614010713197080675285/9098587245\ 148102314247523929629*c_0101_6^7 - 2266840318217660489668110586880/9098587245148102314247523929629*c_0\ 101_6^6 + 44727688978245891857093962195850/303286241504936743808250\ 7976543*c_0101_6^5 + 299817070083395055434853397900765/909858724514\ 8102314247523929629*c_0101_6^4 + 70278042389552458274946272453165/9\ 098587245148102314247523929629*c_0101_6^3 - 48245700306765436037302890820193/9098587245148102314247523929629*c_\ 0101_6^2 - 13104420080588767521545818913110/30328624150493674380825\ 07976543*c_0101_6 - 1813217313670773896954479458931/909858724514810\ 2314247523929629, c_0101_5 + 5268942157903696203577304996540/9098587245148102314247523929\ 629*c_0101_6^21 + 8625910529759441404783598285990/30328624150493674\ 38082507976543*c_0101_6^20 + 31002141180435454542417317871024/30328\ 62415049367438082507976543*c_0101_6^19 + 178633617355229641728422071109020/9098587245148102314247523929629*c\ _0101_6^18 + 19632320791107608460422280019769/909858724514810231424\ 7523929629*c_0101_6^17 + 844774407316067132230206455953429/90985872\ 45148102314247523929629*c_0101_6^16 - 88671753744452205941286310598077/3032862415049367438082507976543*c_\ 0101_6^15 - 907128389886745457404405743626347/909858724514810231424\ 7523929629*c_0101_6^14 + 1411456458317288202336542651351710/9098587\ 245148102314247523929629*c_0101_6^13 - 2712621452418435162618482381084813/9098587245148102314247523929629*\ c_0101_6^12 + 1100298169743733882475452239635245/909858724514810231\ 4247523929629*c_0101_6^11 - 210480436656186818635007180325084/30328\ 62415049367438082507976543*c_0101_6^10 + 260427703853053649752753196303099/3032862415049367438082507976543*c\ _0101_6^9 + 1680206300601595102506720702688609/90985872451481023142\ 47523929629*c_0101_6^8 + 224818588204928896095841700624852/90985872\ 45148102314247523929629*c_0101_6^7 - 272500756141031367239004995120858/9098587245148102314247523929629*c\ _0101_6^6 - 301686808472911512301399357424710/303286241504936743808\ 2507976543*c_0101_6^5 - 536099063288625112221182226451931/909858724\ 5148102314247523929629*c_0101_6^4 + 101777441232461468584122689102117/9098587245148102314247523929629*c\ _0101_6^3 + 221215237745015626460491571119270/909858724514810231424\ 7523929629*c_0101_6^2 + 4742428554024984758180176350859/30328624150\ 49367438082507976543*c_0101_6 - 12740500425296168224449168405883/90\ 98587245148102314247523929629, c_0101_6^22 + 5*c_0101_6^21 + 18*c_0101_6^20 + 35*c_0101_6^19 + 5*c_0101_6^18 + 157*c_0101_6^17 - 38*c_0101_6^16 - 191*c_0101_6^15 + 250*c_0101_6^14 - 474*c_0101_6^13 + 144*c_0101_6^12 - 68*c_0101_6^11 + 144*c_0101_6^10 + 329*c_0101_6^9 + 68*c_0101_6^8 - 80*c_0101_6^7 - 194*c_0101_6^6 - 115*c_0101_6^5 + 23*c_0101_6^4 + 58*c_0101_6^3 + 10*c_0101_6^2 - 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB