Magma V2.19-8 Tue Aug 20 2013 16:18:03 on localhost [Seed = 391547864] 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' : 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' : 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 - 4278219850565323112673291405572324417/10099542229744654373282360131\ 4718927*c_0101_6^21 + 14035720069403903691938689024448950975/100995\ 422297446543732823601314718927*c_0101_6^20 - 15627141222314534277613873476416759801/3366514076581551457760786710\ 4906309*c_0101_6^19 + 34485845736833827231657176354022760131/336651\ 40765815514577607867104906309*c_0101_6^18 - 103358432012922339921612657731941323112/100995422297446543732823601\ 314718927*c_0101_6^17 - 11241126582974538777488647282287053147/3257\ 916848304727217187858106926417*c_0101_6^16 + 1284364744533471808737027489500868637783/10099542229744654373282360\ 1314718927*c_0101_6^15 - 702212116607495676744575060843899521321/33\ 665140765815514577607867104906309*c_0101_6^14 + 2318360243397005194217152395691619628949/10099542229744654373282360\ 1314718927*c_0101_6^13 - 1142300542537803441951902088735983519880/3\ 3665140765815514577607867104906309*c_0101_6^12 + 614838127863629925095681509143491749769/918140202704059488480214557\ 4065357*c_0101_6^11 - 271899808098625742559992006517447321362/32579\ 16848304727217187858106926417*c_0101_6^10 + 4142745110227769603765645979053706002560/10099542229744654373282360\ 1314718927*c_0101_6^9 + 2282747027078197654112890900896851927039/10\ 0995422297446543732823601314718927*c_0101_6^8 - 3895338053330098742875503792205237759724/10099542229744654373282360\ 1314718927*c_0101_6^7 + 1385654340837042857824562446850858392435/10\ 0995422297446543732823601314718927*c_0101_6^6 + 145681439106356448794979499482941156589/336651407658155145776078671\ 04906309*c_0101_6^5 - 306375292569796161087738055125980650291/10099\ 5422297446543732823601314718927*c_0101_6^4 + 183602992160562805508461334878495755739/100995422297446543732823601\ 314718927*c_0101_6^3 - 37523449506630095181072233892526137700/33665\ 140765815514577607867104906309*c_0101_6^2 - 38373217222219712408159019646701657599/1009954222974465437328236013\ 14718927*c_0101_6 + 13639088769571600438407125883989468366/10099542\ 2297446543732823601314718927, c_0011_0 - 1, c_0011_1 + 79068317028910277539412355987/309481984259972187440662877071\ *c_0101_6^21 - 280174424390892103156299635194/309481984259972187440\ 662877071*c_0101_6^20 + 931079595860114399853500726769/309481984259\ 972187440662877071*c_0101_6^19 - 2133480681325363466338025842065/30\ 9481984259972187440662877071*c_0101_6^18 + 2389454834578192947950388876051/309481984259972187440662877071*c_01\ 01_6^17 + 5968312530793651732633429463402/3094819842599721874406628\ 77071*c_0101_6^16 - 25398701924750500328330513590251/30948198425997\ 2187440662877071*c_0101_6^15 + 44773840298292180074128961547415/309\ 481984259972187440662877071*c_0101_6^14 - 52442207506454549121345481175631/309481984259972187440662877071*c_0\ 101_6^13 + 74259258762785440279682899174012/30948198425997218744066\ 2877071*c_0101_6^12 - 142062413215499271463783710426523/30948198425\ 9972187440662877071*c_0101_6^11 + 188507584036767338011206507245020\ /309481984259972187440662877071*c_0101_6^10 - 116115940049654625131202795129631/309481984259972187440662877071*c_\ 0101_6^9 - 21225320671847133907152036301247/30948198425997218744066\ 2877071*c_0101_6^8 + 77287838310189411926250631678060/3094819842599\ 72187440662877071*c_0101_6^7 - 37498509445574785007525990969503/309\ 481984259972187440662877071*c_0101_6^6 - 3152759825828107109369537957497/309481984259972187440662877071*c_01\ 01_6^5 + 5042516648697990798094229354922/30948198425997218744066287\ 7071*c_0101_6^4 - 2417505938236254486878133245861/30948198425997218\ 7440662877071*c_0101_6^3 + 2514623087575683391125626746358/30948198\ 4259972187440662877071*c_0101_6^2 + 143672846134904414715885311888/309481984259972187440662877071*c_010\ 1_6 - 314489347970068573911865367935/309481984259972187440662877071\ , c_0011_4 + 81048243396858614756474360326/309481984259972187440662877071\ *c_0101_6^21 - 254684681754181080922817989827/309481984259972187440\ 662877071*c_0101_6^20 + 860491273666252293815432269239/309481984259\ 972187440662877071*c_0101_6^19 - 1864381571592000965938105270447/30\ 9481984259972187440662877071*c_0101_6^18 + 1781002467072736038164067766478/309481984259972187440662877071*c_01\ 01_6^17 + 6674293671481233589049120082401/3094819842599721874406628\ 77071*c_0101_6^16 - 23239853810519928013805226531640/30948198425997\ 2187440662877071*c_0101_6^15 + 37309289896840689102668478126214/309\ 481984259972187440662877071*c_0101_6^14 - 40912215624796626342425250146566/309481984259972187440662877071*c_0\ 101_6^13 + 62799427798097461584307827757458/30948198425997218744066\ 2877071*c_0101_6^12 - 123372404050229010377067540898399/30948198425\ 9972187440662877071*c_0101_6^11 + 148468497983397705473253251354684\ /309481984259972187440662877071*c_0101_6^10 - 69284659165210088918219879108568/309481984259972187440662877071*c_0\ 101_6^9 - 39038454164965334891246140018988/309481984259972187440662\ 877071*c_0101_6^8 + 61486418166213609169658435834382/30948198425997\ 2187440662877071*c_0101_6^7 - 21663148750038565223837465791484/3094\ 81984259972187440662877071*c_0101_6^6 - 4139669316689394742113388051533/309481984259972187440662877071*c_01\ 01_6^5 + 2232437820550764247456913685873/30948198425997218744066287\ 7071*c_0101_6^4 - 3589257895232150016874428684311/30948198425997218\ 7440662877071*c_0101_6^3 + 1894798914353387808015411907279/30948198\ 4259972187440662877071*c_0101_6^2 + 1026992134667015201843942355602/309481984259972187440662877071*c_01\ 01_6 - 107514428677863834499219335690/30948198425997218744066287707\ 1, c_0101_0 - 19742872607995881596090861579/309481984259972187440662877071\ *c_0101_6^21 + 27151790601832548067876915937/3094819842599721874406\ 62877071*c_0101_6^20 - 93395491877968722565531000103/30948198425997\ 2187440662877071*c_0101_6^19 + 59910422079695509183754873595/309481\ 984259972187440662877071*c_0101_6^18 + 451509055626537588174896071575/309481984259972187440662877071*c_010\ 1_6^17 - 2584451055382910643808664025735/30948198425997218744066287\ 7071*c_0101_6^16 + 3032725859123659262055290248457/3094819842599721\ 87440662877071*c_0101_6^15 + 1335277205076871515636808622970/309481\ 984259972187440662877071*c_0101_6^14 - 8201569146898879681392207779754/309481984259972187440662877071*c_01\ 01_6^13 + 6485484707124253195858913303508/3094819842599721874406628\ 77071*c_0101_6^12 - 2381262691017559455085987326360/309481984259972\ 187440662877071*c_0101_6^11 + 24603945440465120077520658894432/3094\ 81984259972187440662877071*c_0101_6^10 - 60724330364858883943724027874760/309481984259972187440662877071*c_0\ 101_6^9 + 58368121935572049917683202960740/309481984259972187440662\ 877071*c_0101_6^8 - 13457469768759022784346592991847/30948198425997\ 2187440662877071*c_0101_6^7 - 17793120087047588568454455339316/3094\ 81984259972187440662877071*c_0101_6^6 + 14460954035228996756546209212488/309481984259972187440662877071*c_0\ 101_6^5 - 2319714908705094983891312823955/3094819842599721874406628\ 77071*c_0101_6^4 + 732264614892444133336242741828/30948198425997218\ 7440662877071*c_0101_6^3 + 1224777971571992949874024385770/30948198\ 4259972187440662877071*c_0101_6^2 - 1290607094054842867281010899363/309481984259972187440662877071*c_01\ 01_6 - 168417107120495701243905098895/30948198425997218744066287707\ 1, c_0101_1 - 120778130773510471432389487836/30948198425997218744066287707\ 1*c_0101_6^21 + 378134011190353481818406428938/30948198425997218744\ 0662877071*c_0101_6^20 - 1266292961899784196792633483921/3094819842\ 59972187440662877071*c_0101_6^19 + 2733846558423867274885160727754/309481984259972187440662877071*c_01\ 01_6^18 - 2511894815997308985362136258042/3094819842599721874406628\ 77071*c_0101_6^17 - 10191589747366036380736543946606/30948198425997\ 2187440662877071*c_0101_6^16 + 34687320292035523619665730555741/309\ 481984259972187440662877071*c_0101_6^15 - 54233752284155061710737641925623/309481984259972187440662877071*c_0\ 101_6^14 + 57647138259994302101498731027716/30948198425997218744066\ 2877071*c_0101_6^13 - 88778606713062249680759851293152/309481984259\ 972187440662877071*c_0101_6^12 + 178207924545024539300194903981786/\ 309481984259972187440662877071*c_0101_6^11 - 211110879171918170277774427960165/309481984259972187440662877071*c_\ 0101_6^10 + 85665416363380883626771809440481/3094819842599721874406\ 62877071*c_0101_6^9 + 75292948788793505650913019758626/309481984259\ 972187440662877071*c_0101_6^8 - 98208286080512988933022972782971/30\ 9481984259972187440662877071*c_0101_6^7 + 28705291320053450068826004932472/309481984259972187440662877071*c_0\ 101_6^6 + 9989463202717620401205171401194/3094819842599721874406628\ 77071*c_0101_6^5 - 3593322511916961344106382115069/3094819842599721\ 87440662877071*c_0101_6^4 + 4521083482955139179671889826295/3094819\ 84259972187440662877071*c_0101_6^3 - 3550838793720357720424888126279/309481984259972187440662877071*c_01\ 01_6^2 - 1255125769985747024886828583922/30948198425997218744066287\ 7071*c_0101_6 + 168152314512142183953077451007/30948198425997218744\ 0662877071, c_0101_5 + 137921181525641063873077427380/30948198425997218744066287707\ 1*c_0101_6^21 - 427953015569035624936046035158/30948198425997218744\ 0662877071*c_0101_6^20 + 1429451941539082663023942244812/3094819842\ 59972187440662877071*c_0101_6^19 - 3066528515146862055669693961240/309481984259972187440662877071*c_01\ 01_6^18 + 2733048335212048285942141709515/3094819842599721874406628\ 77071*c_0101_6^17 + 11823846535388477015719330630467/30948198425997\ 2187440662877071*c_0101_6^16 - 39380309643482849160831737920233/309\ 481984259972187440662877071*c_0101_6^15 + 60422512493167022501169729809595/309481984259972187440662877071*c_0\ 101_6^14 - 62697813950502164100389090984358/30948198425997218744066\ 2877071*c_0101_6^13 + 97419098790595185247303280739685/309481984259\ 972187440662877071*c_0101_6^12 - 198623195798056868015168739460705/\ 309481984259972187440662877071*c_0101_6^11 + 232423121878689567461692601971016/309481984259972187440662877071*c_\ 0101_6^10 - 84664074066531095408991759191541/3094819842599721874406\ 62877071*c_0101_6^9 - 96477101871067880736376510932093/309481984259\ 972187440662877071*c_0101_6^8 + 111719715064240045030535056988592/3\ 09481984259972187440662877071*c_0101_6^7 - 24330913102011059350637914348722/309481984259972187440662877071*c_0\ 101_6^6 - 18161776157656368979298850061994/309481984259972187440662\ 877071*c_0101_6^5 + 5221319817411925265020746329971/309481984259972\ 187440662877071*c_0101_6^4 - 4330574657375903428054734352081/309481\ 984259972187440662877071*c_0101_6^3 + 3709029872468352324711760422426/309481984259972187440662877071*c_01\ 01_6^2 + 1473440886612560108719848352295/30948198425997218744066287\ 7071*c_0101_6 - 60489129324332281426711661873/309481984259972187440\ 662877071, c_0101_6^22 - 3*c_0101_6^21 + 10*c_0101_6^20 - 21*c_0101_6^19 + 17*c_0101_6^18 + 89*c_0101_6^17 - 278*c_0101_6^16 + 405*c_0101_6^15 - 394*c_0101_6^14 + 634*c_0101_6^13 - 1340*c_0101_6^12 + 1500*c_0101_6^11 - 364*c_0101_6^10 - 863*c_0101_6^9 + 784*c_0101_6^8 - 52*c_0101_6^7 - 214*c_0101_6^6 + 49*c_0101_6^5 - 21*c_0101_6^4 + 14*c_0101_6^3 + 18*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB