Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 2800171641] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1440 geometric_solution 5.26535554 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 1 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 0 0 0 0 -0.242361542909 0.144554596429 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.249232224597 1.722805931336 3 1 1 4 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 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.487961928539 0.555841712976 2 5 4 6 0132 0132 3201 0132 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 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.049381992041 1.091208854227 3 6 2 5 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 1 -1 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.049381992041 1.091208854227 4 3 5 5 3201 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 1 -1 -1 0 1 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.414668533077 0.347034150591 6 4 3 6 3201 0132 0132 2310 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 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.041387036919 0.914541906259 ==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' : 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' : 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_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : 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' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 37847523147975358478054521137625606538841632027638887096271/3781845\ 39298786560066539240046268822724620315578963172792020*c_0110_5^33 + 28617642824040609611508827647931653977644629336251148366673/1800878\ 7585656502860311392383155658224981919789474436799620*c_0110_5^31 - 1067681471311484940710286274078857834617994061707417328367/40929062\ 6946738701370713463253537686931407267942600836355*c_0110_5^29 + 308552403489582703567842778203926248759328980779708211611217/233447\ 2464807324444855180494112770510645804417154093659210*c_0110_5^27 + 458462170570190292208596729934967366433184546708034648212588721/378\ 184539298786560066539240046268822724620315578963172792020*c_0110_5^\ 25 + 23659702618692113547364273534366148883192722220509896877554406\ /4502196896414125715077848095788914556245479947368609199905*c_0110_\ 5^23 + 367786774962538020073691017403764117506678576407928031626263\ 6573/378184539298786560066539240046268822724620315578963172792020*c\ _0110_5^21 + 119637613824699754286040254755994387021907283457366633\ 233821563/126061513099595520022179746682089607574873438526321057597\ 340*c_0110_5^19 - 1058889344477781232801530100298971133358233780698\ 0348743516728287/37818453929878656006653924004626882272462031557896\ 3172792020*c_0110_5^17 - 133634228980428030741116435876301558420280\ 85810120757133486452221/3781845392987865600665392400462688227246203\ 15578963172792020*c_0110_5^15 + 13196324146609170327390945035217229\ 0683354284100759130770142129/30014645976094171433852320638592763708\ 30319964912406133270*c_0110_5^13 + 197014772486619917820323531034923099744464563214084540453291527/466\ 8944929614648889710360988225541021291608834308187318420*c_0110_5^11 - 13656884774441393765433805757171744015272512012844849454437913159\ /189092269649393280033269620023134411362310157789481586396010*c_011\ 0_5^9 + 10472991357317589696704281959393263021142263688218838849457\ 959829/378184539298786560066539240046268822724620315578963172792020\ *c_0110_5^7 + 13521035265100501678141170029183652624828685083905039\ 98823429857/1260615130995955200221797466820896075748734385263210575\ 97340*c_0110_5^5 - 503674443396644632459246784736751186816873741781\ 094019640597284/945461348246966400166348100115672056811550788947407\ 93198005*c_0110_5^3 - 378938911017616969459550031724241632572805593\ 9068268210834719/23344724648073244448551804941127705106458044171540\ 93659210*c_0110_5, c_0011_0 - 1, c_0011_2 - 132057307627896762830321529639954868038644813038557/30317824\ 21827694084227507135211390273565979762537783973*c_0110_5^32 + 17981605320344474043464083752719528467219059440665426/2728604179644\ 9246758047564216902512462093817862840055757*c_0110_5^30 - 17270936838290861131373905651530381903248338665316849/2728604179644\ 9246758047564216902512462093817862840055757*c_0110_5^28 + 1552977938124209286356138620300034042242364709719219182/27286041796\ 449246758047564216902512462093817862840055757*c_0110_5^26 + 15566971024594492082814029403596653913659286050627231517/2728604179\ 6449246758047564216902512462093817862840055757*c_0110_5^24 + 73761365562091717081820390318578902263702033287121125874/2728604179\ 6449246758047564216902512462093817862840055757*c_0110_5^22 + 167921654100071172040081171548689823712422405930988357690/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^20 + 41605520069780538810763998984691577991402641080595083315/9095347265\ 483082252682521405634170820697939287613351919*c_0110_5^18 - 29071010445684009764960066508655447904963941764109433451/3031782421\ 827694084227507135211390273565979762537783973*c_0110_5^16 - 618844599868175779573458919340014899610154443487202499718/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^14 + 119118456121699898197481928692411026074789018563253013123/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^12 + 663385953972843997380077843794650666585184917349867429403/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^10 - 465750761456788365785906029020202111600440052396760774417/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^8 - 11419922220649709881938164953953851292248501246578883920/3031782421\ 827694084227507135211390273565979762537783973*c_0110_5^6 + 226827822060744610020011498602890027671440933341567656165/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^4 + 23396654589077882285273623215021678401264715287942791465/2728604179\ 6449246758047564216902512462093817862840055757*c_0110_5^2 - 2098544532418292643743714837644939007878456990558645723/30317824218\ 27694084227507135211390273565979762537783973, c_0011_4 - 1677215252766893927399547075118703881595474808114981763/4051\ 9772067727131435700632862100231006209319526317482799145*c_0110_5^33 + 5451310654029568660164602620792185438700719692302799765/810395441\ 3545426287140126572420046201241863905263496559829*c_0110_5^31 - 982646258066154232434330536954627005915329007363572943/736723128504\ 129662467284233856367836476533082296681505439*c_0110_5^29 + 2237854772667209995204366144117889966119909683153968539828/40519772\ 067727131435700632862100231006209319526317482799145*c_0110_5^27 + 19482130336634128092889258948486970741229244061984175087451/4051977\ 2067727131435700632862100231006209319526317482799145*c_0110_5^25 + 81048188955694251619327536108624641052431196757079515252247/4051977\ 2067727131435700632862100231006209319526317482799145*c_0110_5^23 + 9016273585912523935730273861584076726738659103161733954416/27013181\ 37848475429046708857473348733747287968421165519943*c_0110_5^21 - 2507066270159922709637737931802623321489593288916395171211/45021968\ 96414125715077848095788914556245479947368609199905*c_0110_5^19 - 431675591055827326482607799192285546909977168598330356665277/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^17 - 403249978745793814808747427344407627298070827352759136752988/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^15 + 862764696512421295719582049604836157099606081233988612219668/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^13 + 303350358973840741806622406041494704328167998110045217984949/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^11 - 28986220912765989962992870097709490234033793637760023783235/9004393\ 79282825143015569619157782911249095989473721839981*c_0110_5^9 + 1041445999397869224855718081843262116340938866907568424190678/40519\ 772067727131435700632862100231006209319526317482799145*c_0110_5^7 - 324686381288008442102206481316207088805821581889875293880394/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^5 + 1327334197985963031091867044955354815857378786180570833576/15007322\ 98804708571692616031929638185415159982456203066635*c_0110_5^3 + 98290325229850403176763273185843987264034710052434323084/1667480332\ 00523174632512892436626465046128886939578118515*c_0110_5, c_0101_0 - 1661042709182436762774664211801297805339865234788099878/4051\ 9772067727131435700632862100231006209319526317482799145*c_0110_5^33 + 25971614171255786836624554008255381608008887095409569289/40519772\ 067727131435700632862100231006209319526317482799145*c_0110_5^31 - 3480225655091969384628222452972337104705361039571843819/36836156425\ 20648312336421169281839182382665411483407527195*c_0110_5^29 + 2204656155513579419692267029732554739315829991294090333102/40519772\ 067727131435700632862100231006209319526317482799145*c_0110_5^27 + 20628200215125802393276928546823224129198432414258216844698/4051977\ 2067727131435700632862100231006209319526317482799145*c_0110_5^25 + 93948471253213745709549160404344770425786433357456214587762/4051977\ 2067727131435700632862100231006209319526317482799145*c_0110_5^23 + 66811808381947218885225655019267548567919751994038220431853/1350659\ 0689242377145233544287366743668736439842105827599715*c_0110_5^21 + 15335772532116192172650884078894051368977245373765044628443/4502196\ 896414125715077848095788914556245479947368609199905*c_0110_5^19 - 277277701161118391202043447417808938475971268597318608894946/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^17 - 567960835929080216406653729085388240724008530343408654260953/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^15 + 311838325594729303713153978000783982810674519581491487658317/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^13 + 274645070453000187897873160752932480396826516932391645199051/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^11 - 88417635599091851519029224775504088743353751249212668827306/4502196\ 896414125715077848095788914556245479947368609199905*c_0110_5^9 + 763082583488253573738446874290498754467730744063496401500042/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^7 - 307118447872763250234703661136913912099479583132836404925302/405197\ 72067727131435700632862100231006209319526317482799145*c_0110_5^5 + 2780676228829988502730216780257951947060310937949382097406/15007322\ 98804708571692616031929638185415159982456203066635*c_0110_5^3 + 195480490291810285101143799574278459866112301262277533147/166748033\ 200523174632512892436626465046128886939578118515*c_0110_5, c_0101_1 - 10692874567001031371754779612544852403985664114479065/245574\ 376168043220822428077952122612158844360765560501813*c_0110_5^32 + 162088877601128379768309627858784976133089086561098307/245574376168\ 043220822428077952122612158844360765560501813*c_0110_5^30 - 162382481243098411351275564788021792391350554286364664/245574376168\ 043220822428077952122612158844360765560501813*c_0110_5^28 + 14010728763670419522133684782586184197971001206301739428/2455743761\ 68043220822428077952122612158844360765560501813*c_0110_5^26 + 139615024923052259077877561728654586510327050265406635209/245574376\ 168043220822428077952122612158844360765560501813*c_0110_5^24 + 662560170491156385544699276403737362018533439655789024352/245574376\ 168043220822428077952122612158844360765560501813*c_0110_5^22 + 507238168124526684512740131557124299007931779349307216150/818581253\ 89347740274142692650707537386281453588520167271*c_0110_5^20 + 136416498244482276519168644299456871313861215585994273328/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^18 - 2014833869008714003614161066476331460549655230353641498300/24557437\ 6168043220822428077952122612158844360765560501813*c_0110_5^16 - 5062784881951792251435013068779458041845512408551004469887/24557437\ 6168043220822428077952122612158844360765560501813*c_0110_5^14 + 1155665391134251413365067536120269588861517358717611890198/24557437\ 6168043220822428077952122612158844360765560501813*c_0110_5^12 + 5189394269758602086888375611439676189928048385855912037068/24557437\ 6168043220822428077952122612158844360765560501813*c_0110_5^10 - 473433552818667524993496262746697603474385161195813710332/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^8 - 109098856264789273247998692613920237044562937986762667214/245574376\ 168043220822428077952122612158844360765560501813*c_0110_5^6 + 1395311274118642832920591427694962595476601641080556104916/24557437\ 6168043220822428077952122612158844360765560501813*c_0110_5^4 + 5522676715335961371801833907197574889296414675804756167/90953472654\ 83082252682521405634170820697939287613351919*c_0110_5^2 - 2872402453065036023826577851483313202097729429757966453/30317824218\ 27694084227507135211390273565979762537783973, c_0101_3 - 161483564131761359731452029649496129742499538539859/27286041\ 796449246758047564216902512462093817862840055757*c_0110_5^32 + 225827633341997353023012416125208325258886266561921/303178242182769\ 4084227507135211390273565979762537783973*c_0110_5^30 + 1380898856825262922394259019222723641381918139158613/90953472654830\ 82252682521405634170820697939287613351919*c_0110_5^28 + 66865096969308444642169519066778618714499413255273212/9095347265483\ 082252682521405634170820697939287613351919*c_0110_5^26 + 2660059293973005924721520646496490729892179527561483034/27286041796\ 449246758047564216902512462093817862840055757*c_0110_5^24 + 5011337661669072641823008407894085505751621193460357658/90953472654\ 83082252682521405634170820697939287613351919*c_0110_5^22 + 45061910245772484004213467078968326475698810433033939348/2728604179\ 6449246758047564216902512462093817862840055757*c_0110_5^20 + 20390208885195306207167043149470191610692957858582269627/9095347265\ 483082252682521405634170820697939287613351919*c_0110_5^18 - 16563748404588941484064727591818352142380615748509423131/2728604179\ 6449246758047564216902512462093817862840055757*c_0110_5^16 - 173187517638255320098930728007760882772027987227465976812/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^14 - 39503275130233217345147655381840906270552792165745267415/9095347265\ 483082252682521405634170820697939287613351919*c_0110_5^12 + 74686463757962371145969808564422743675087838936299540184/9095347265\ 483082252682521405634170820697939287613351919*c_0110_5^10 + 45462685280805550604661402904863861132169500797257160075/2728604179\ 6449246758047564216902512462093817862840055757*c_0110_5^8 - 277535289632973079751059396463875226314913012898900530939/272860417\ 96449246758047564216902512462093817862840055757*c_0110_5^6 + 17559403769146684043027414539605671738232489716823550025/3031782421\ 827694084227507135211390273565979762537783973*c_0110_5^4 + 14154326687820748095030185262543556980558224380834396466/2728604179\ 6449246758047564216902512462093817862840055757*c_0110_5^2 - 730594233591697803044401804006546713806844829591444955/303178242182\ 7694084227507135211390273565979762537783973, c_0110_5^34 - 16*c_0110_5^32 + 28*c_0110_5^30 - 1324*c_0110_5^28 - 11953*c_0110_5^26 - 51053*c_0110_5^24 - 90906*c_0110_5^22 + 1881*c_0110_5^20 + 280168*c_0110_5^18 + 319099*c_0110_5^16 - 480037*c_0110_5^14 - 365954*c_0110_5^12 + 769032*c_0110_5^10 - 366559*c_0110_5^8 - 67298*c_0110_5^6 + 62532*c_0110_5^4 + 9720*c_0110_5^2 - 1458 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB