Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 2050746176] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2418 geometric_solution 5.76948318 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.530899835493 0.298482463671 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.037896594514 0.506168694657 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.577086107570 0.574866932899 5 4 2 1 0132 1023 0213 0132 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 1 0 -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.577086107570 0.574866932899 3 4 4 2 1023 3201 2310 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 -1 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 0 0.658205484056 0.713261641108 3 6 2 6 0132 0132 0132 1023 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 0 0 0 0 0 0 0 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.335459841989 1.474658521906 6 5 6 5 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436694702394 0.237535963712 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), '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_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_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_3, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 58640626791820377928105403795832968273527/8807939731685254145936964\ 6390060594956289*c_0110_6^22 - 319184434788599014754349781685499783\ 200759/88079397316852541459369646390060594956289*c_0110_6^21 + 255426882683473455236937490750461103920560/293597991056175138197898\ 82130020198318763*c_0110_6^20 + 69561933634047502802434550880816441\ 6948811/29359799105617513819789882130020198318763*c_0110_6^19 - 6291685383261804419535621224618629385768476/88079397316852541459369\ 646390060594956289*c_0110_6^18 + 9050619975878614150848086052958266\ 759639023/88079397316852541459369646390060594956289*c_0110_6^17 - 61839353940170497336368242768932383257324/7279289034450623261104929\ 45372401611209*c_0110_6^16 - 35421786211060778463850208444086697793\ 749824/88079397316852541459369646390060594956289*c_0110_6^15 + 122290715061383562256552847436918950888331316/880793973168525414593\ 69646390060594956289*c_0110_6^14 - 94783809142555381772516685160246757070440551/8807939731685254145936\ 9646390060594956289*c_0110_6^13 - 116114198384578399025413312347980\ 942176264979/88079397316852541459369646390060594956289*c_0110_6^12 + 281332737231737243278304226112192809851816035/880793973168525414593\ 69646390060594956289*c_0110_6^11 - 235728691755404822357734393090902146075069398/880793973168525414593\ 69646390060594956289*c_0110_6^10 - 33097777307124322865344981170689789042593132/8807939731685254145936\ 9646390060594956289*c_0110_6^9 + 1834289053530228118040284901525173\ 69707555943/88079397316852541459369646390060594956289*c_0110_6^8 - 86845341587127339530582273324510643555975701/8807939731685254145936\ 9646390060594956289*c_0110_6^7 - 5864697799714071176294051729969699\ 0123391839/88079397316852541459369646390060594956289*c_0110_6^6 + 143811697271320836598297892843492018211556166/880793973168525414593\ 69646390060594956289*c_0110_6^5 - 830363088962246133869843129499137\ 56468764592/88079397316852541459369646390060594956289*c_0110_6^4 - 4672742459294445096819694743897605426189860/88079397316852541459369\ 646390060594956289*c_0110_6^3 + 98894928351522140894564547893794403\ 88179562/29359799105617513819789882130020198318763*c_0110_6^2 - 24590293728293486405422064040562595373159262/8807939731685254145936\ 9646390060594956289*c_0110_6 + 299324943639779762658331282846163934\ 0192528/29359799105617513819789882130020198318763, c_0011_0 - 1, c_0011_1 + 5262650245966332519209677958709777/9812875310996917352293618\ 923611189*c_0110_6^22 + 15752181665721250973269877112928030/9812875\ 310996917352293618923611189*c_0110_6^21 - 116009536209066723842610793700232387/981287531099691735229361892361\ 1189*c_0110_6^20 + 68610343662486460330865545394688057/981287531099\ 6917352293618923611189*c_0110_6^19 + 580228952964546952960761992295436294/981287531099691735229361892361\ 1189*c_0110_6^18 - 2291043557120276222651715133920054882/9812875310\ 996917352293618923611189*c_0110_6^17 + 5298071421052039095724648043770659529/98128753109969173522936189236\ 11189*c_0110_6^16 - 6325281307352005704736604995425574775/981287531\ 0996917352293618923611189*c_0110_6^15 - 3103482921208429679796295671724337865/98128753109969173522936189236\ 11189*c_0110_6^14 + 24108429531824616411696300687412744052/98128753\ 10996917352293618923611189*c_0110_6^13 - 40859811389954532080165862599052945836/9812875310996917352293618923\ 611189*c_0110_6^12 + 37360969570259959607935948146609121633/9812875\ 310996917352293618923611189*c_0110_6^11 - 15350634224585519378388035006336339604/9812875310996917352293618923\ 611189*c_0110_6^10 - 2376836046832313883809263270983171118/98128753\ 10996917352293618923611189*c_0110_6^9 + 784777310334269189041015322752353325/981287531099691735229361892361\ 1189*c_0110_6^8 + 11850913630701372340742239698012134180/9812875310\ 996917352293618923611189*c_0110_6^7 - 20496065286275612622785988772082024179/9812875310996917352293618923\ 611189*c_0110_6^6 + 17520827910291130105801830756478644564/98128753\ 10996917352293618923611189*c_0110_6^5 - 8710559770359449006130305933550941979/98128753109969173522936189236\ 11189*c_0110_6^4 + 2216309124526941154547200870511413058/9812875310\ 996917352293618923611189*c_0110_6^3 + 164434010399543009356114639637188982/981287531099691735229361892361\ 1189*c_0110_6^2 - 316420545848516910655814588873215925/981287531099\ 6917352293618923611189*c_0110_6 + 620143221800416212002004800983735\ 43/9812875310996917352293618923611189, c_0011_3 - 3504671582436807917968969892260738/9812875310996917352293618\ 923611189*c_0110_6^22 - 9906792757539795411740761544735778/98128753\ 10996917352293618923611189*c_0110_6^21 + 79214613513002628645141620472513681/9812875310996917352293618923611\ 189*c_0110_6^20 - 57906188233134657102943367990164433/9812875310996\ 917352293618923611189*c_0110_6^19 - 383448246142812422208383300526742772/981287531099691735229361892361\ 1189*c_0110_6^18 + 1592484316632763125639816588788107639/9812875310\ 996917352293618923611189*c_0110_6^17 - 3758252723379737765884635739381977892/98128753109969173522936189236\ 11189*c_0110_6^16 + 4708463348055582921231165922067322917/981287531\ 0996917352293618923611189*c_0110_6^15 + 1570862079428232813212741856981595792/98128753109969173522936189236\ 11189*c_0110_6^14 - 16631066805179352937229796674615950832/98128753\ 10996917352293618923611189*c_0110_6^13 + 29720881620379014261205771602081621264/9812875310996917352293618923\ 611189*c_0110_6^12 - 28420999415531739185183567899933579453/9812875\ 310996917352293618923611189*c_0110_6^11 + 12793122559982256810523841722712053181/9812875310996917352293618923\ 611189*c_0110_6^10 + 1173927519156616271824946358091193736/98128753\ 10996917352293618923611189*c_0110_6^9 - 1128768504505552910078845185017955700/98128753109969173522936189236\ 11189*c_0110_6^8 - 8077521051074604900030807491202728139/9812875310\ 996917352293618923611189*c_0110_6^7 + 14994952324879494301805475012031317510/9812875310996917352293618923\ 611189*c_0110_6^6 - 13396470063370236414867609825617821006/98128753\ 10996917352293618923611189*c_0110_6^5 + 6941032211831927420875095905029197894/98128753109969173522936189236\ 11189*c_0110_6^4 - 1864895747802244250489720781519430699/9812875310\ 996917352293618923611189*c_0110_6^3 - 70445413470034913953237102161350832/9812875310996917352293618923611\ 189*c_0110_6^2 + 244241541947475829843960926484692443/9812875310996\ 917352293618923611189*c_0110_6 - 5240640772972647753429083370576845\ 1/9812875310996917352293618923611189, c_0101_0 + 1506590476426513825865696888637751260/3071429972342035131267\ 902723090302157*c_0110_6^22 + 4298978404443680933965313462227440268\ /3071429972342035131267902723090302157*c_0110_6^21 - 33923971444754258961544258538024281255/3071429972342035131267902723\ 090302157*c_0110_6^20 + 23977973518380541053768030515959153350/3071\ 429972342035131267902723090302157*c_0110_6^19 + 164946842964466156933919127397905833494/307142997234203513126790272\ 3090302157*c_0110_6^18 - 679136355756456268837003095111876105022/30\ 71429972342035131267902723090302157*c_0110_6^17 + 1599675210986820869126683559989279609348/30714299723420351312679027\ 23090302157*c_0110_6^16 - 1992814876105063242865801948022245997207/\ 3071429972342035131267902723090302157*c_0110_6^15 - 699975068637905199899559249022687816841/307142997234203513126790272\ 3090302157*c_0110_6^14 + 7086549154678325920863521370809145348038/3\ 071429972342035131267902723090302157*c_0110_6^13 - 12583746469918399440368401655324757576564/3071429972342035131267902\ 723090302157*c_0110_6^12 + 1201562840983949338820171513389102839092\ 1/3071429972342035131267902723090302157*c_0110_6^11 - 5439461930342430650492629202447223063008/30714299723420351312679027\ 23090302157*c_0110_6^10 - 412826203483960198938747108255860183094/3\ 071429972342035131267902723090302157*c_0110_6^9 + 388373871302487884469908163431535484670/307142997234203513126790272\ 3090302157*c_0110_6^8 + 3421406670116028875144828282309563412414/30\ 71429972342035131267902723090302157*c_0110_6^7 - 6327126177392863589165486630829145137785/30714299723420351312679027\ 23090302157*c_0110_6^6 + 5674842486995528496039331858843523903580/3\ 071429972342035131267902723090302157*c_0110_6^5 - 2969164480172543295801695174746524744172/30714299723420351312679027\ 23090302157*c_0110_6^4 + 831136916758810877489920958656223374430/30\ 71429972342035131267902723090302157*c_0110_6^3 + 20316413710823726477065299013195376925/3071429972342035131267902723\ 090302157*c_0110_6^2 - 103401170157942605822730872745467673037/3071\ 429972342035131267902723090302157*c_0110_6 + 22438968486064837493142740165539362342/3071429972342035131267902723\ 090302157, c_0101_1 - 4216572252919563800316085509829256/9812875310996917352293618\ 923611189*c_0110_6^22 - 12887034869707112892552007904887594/9812875\ 310996917352293618923611189*c_0110_6^21 + 91855428471616249691886084310016366/9812875310996917352293618923611\ 189*c_0110_6^20 - 50245230167688743160469080960505223/9812875310996\ 917352293618923611189*c_0110_6^19 - 462646599128995632487287737474995877/981287531099691735229361892361\ 1189*c_0110_6^18 + 1807350357593956360535900406854435578/9812875310\ 996917352293618923611189*c_0110_6^17 - 4162452755942836372084317357866741311/98128753109969173522936189236\ 11189*c_0110_6^16 + 4902310195223684008467862082408965550/981287531\ 0996917352293618923611189*c_0110_6^15 + 2596851533251591387726367347316892960/98128753109969173522936189236\ 11189*c_0110_6^14 - 18991936714749276025693180546358686261/98128753\ 10996917352293618923611189*c_0110_6^13 + 31870907227385633029030892886096373699/9812875310996917352293618923\ 611189*c_0110_6^12 - 28971156761703681649886305778476313693/9812875\ 310996917352293618923611189*c_0110_6^11 + 11733756974271041674999469814857791916/9812875310996917352293618923\ 611189*c_0110_6^10 + 1865834961895315458035389369488044141/98128753\ 10996917352293618923611189*c_0110_6^9 - 504286919014962269368441476593806306/981287531099691735229361892361\ 1189*c_0110_6^8 - 9332168143497118313137744956034538681/98128753109\ 96917352293618923611189*c_0110_6^7 + 16006755713716369249597256877663374344/9812875310996917352293618923\ 611189*c_0110_6^6 - 13562365547743593773710879799995759367/98128753\ 10996917352293618923611189*c_0110_6^5 + 6723790536544775042126924171359854527/98128753109969173522936189236\ 11189*c_0110_6^4 - 1699743143401473843903011658458810767/9812875310\ 996917352293618923611189*c_0110_6^3 - 129463330894613512927280760023698042/981287531099691735229361892361\ 1189*c_0110_6^2 + 243935999884093464335804020316781868/981287531099\ 6917352293618923611189*c_0110_6 - 402810736234945854811646861883357\ 63/9812875310996917352293618923611189, c_0101_4 + 4566210186303818018421431050428690124/3071429972342035131267\ 902723090302157*c_0110_6^22 + 1355844543119499589955309963261469986\ 8/3071429972342035131267902723090302157*c_0110_6^21 - 101123700995803554871148654042036171227/307142997234203513126790272\ 3090302157*c_0110_6^20 + 61436973158206282538558473993612235116/307\ 1429972342035131267902723090302157*c_0110_6^19 + 504810249428678814459460837797600370078/307142997234203513126790272\ 3090302157*c_0110_6^18 - 2000084412814134874103708607213685556252/3\ 071429972342035131267902723090302157*c_0110_6^17 + 4628917569945354761185256801022522280028/30714299723420351312679027\ 23090302157*c_0110_6^16 - 5546166374034808712861270823944386052778/\ 3071429972342035131267902723090302157*c_0110_6^15 - 2671986892845694457542042643596233925998/30714299723420351312679027\ 23090302157*c_0110_6^14 + 21084506030203995938885937388452389991770\ /3071429972342035131267902723090302157*c_0110_6^13 - 35807114966014552487653558608565028620774/3071429972342035131267902\ 723090302157*c_0110_6^12 + 3270340019774656053544971688919025466426\ 2/3071429972342035131267902723090302157*c_0110_6^11 - 13332505500686719815863507785699026894115/3071429972342035131267902\ 723090302157*c_0110_6^10 - 2276477289356609908056853344418266783337\ /3071429972342035131267902723090302157*c_0110_6^9 + 784210843284208067389713546457556608689/307142997234203513126790272\ 3090302157*c_0110_6^8 + 10394093391272826236798713290804103974858/3\ 071429972342035131267902723090302157*c_0110_6^7 - 17969014074749318782618192069708060040922/3071429972342035131267902\ 723090302157*c_0110_6^6 + 15329884675789823383880639055371355853544\ /3071429972342035131267902723090302157*c_0110_6^5 - 7544175561357680691440339993419195678587/30714299723420351312679027\ 23090302157*c_0110_6^4 + 1874922357647498130239504985177493247749/3\ 071429972342035131267902723090302157*c_0110_6^3 + 171743310723233299746048851428727337177/307142997234203513126790272\ 3090302157*c_0110_6^2 - 281123177169296764919783314947609653118/307\ 1429972342035131267902723090302157*c_0110_6 + 47741624247314585340679031625582898832/3071429972342035131267902723\ 090302157, c_0110_6^23 + 2*c_0110_6^22 - 25*c_0110_6^21 + 35*c_0110_6^20 + 97*c_0110_6^19 - 545*c_0110_6^18 + 1441*c_0110_6^17 - 2207*c_0110_6^16 + 614*c_0110_6^15 + 5161*c_0110_6^14 - 12337*c_0110_6^13 + 14867*c_0110_6^12 - 10022*c_0110_6^11 + 2466*c_0110_6^10 + 610*c_0110_6^9 + 2096*c_0110_6^8 - 6145*c_0110_6^7 + 7224*c_0110_6^6 - 4987*c_0110_6^5 + 2075*c_0110_6^4 - 388*c_0110_6^3 - 92*c_0110_6^2 + 71*c_0110_6 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB