Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 3734979094] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1590 geometric_solution 5.36158033 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 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 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 1.553384150046 0.182347634761 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 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 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 1.277073924789 0.354510033359 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -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.547748918720 0.658925940289 2 5 4 6 0132 0132 3201 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 0 0 0 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.015679505534 0.972936171196 3 6 2 5 2310 0132 0132 2310 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 -1 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.015679505534 0.972936171196 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 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.379189790545 0.361026793118 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481045975636 0.897743612051 ==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' : negation(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' : negation(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' : 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' : d['c_0101_2'], '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_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' : negation(d['c_0011_4']), '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' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : 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_0011_4']), 'c_1010_6' : d['c_0101_2'], '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_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_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 516729921125794117335075718375430495318749631453515158037055/982453\ 4853276351786681797222013982324234329758134364524950072*c_0110_5^32 - 36028168741074746344647782003631156355324456914575429163868451/98\ 24534853276351786681797222013982324234329758134364524950072*c_0110_\ 5^30 + 274885878695067016871421146666661039927162798943248482915601\ 4/409355618886514657778408217583915930176430406588931855206253*c_01\ 10_5^28 - 136353569581128109051455528047585420116097271488718995964\ 4327133/98245348532763517866817972220139823242343297581343645249500\ 72*c_0110_5^26 + 11372346064928203112278024559938158547334773720117\ 716341219884661/491226742663817589334089861100699116211716487906718\ 2262475036*c_0110_5^24 + 103247678185019762379262517313004464272856\ 362901125812223178453745/982453485327635178668179722201398232423432\ 9758134364524950072*c_0110_5^22 + 511959382981927314912292900389572\ 0027869858948586502999917444461/16374224755460586311136328703356637\ 20705721626355727420825012*c_0110_5^20 - 33882476325932580516639067205882849047929796986341586782726280607/2\ 456133713319087946670449305503495581058582439533591131237518*c_0110\ _5^18 + 14877405987106494788766163950231865608142700724188681622929\ 905079/982453485327635178668179722201398232423432975813436452495007\ 2*c_0110_5^16 - 586748944616824733178975750016596373493148257756024\ 6524618957606/40935561888651465777840821758391593017643040658893185\ 5206253*c_0110_5^14 - 329568169646884050628627331642309874108835703\ 0815813846319251544/13645187296217155259280273919463864339214346886\ 2977285068751*c_0110_5^12 - 375016006792399199463814332268671188929\ 92088149914769713716860925/4912267426638175893340898611006991162117\ 164879067182262475036*c_0110_5^10 - 37298943863307167396495042986567464582692659865218249132008752707/4\ 912267426638175893340898611006991162117164879067182262475036*c_0110\ _5^8 - 165264716714321591346345722508756366135909773633961966617306\ 88995/2456133713319087946670449305503495581058582439533591131237518\ *c_0110_5^6 + 14715075816515121100991741149578230612908331124564793\ 21783997341/9824534853276351786681797222013982324234329758134364524\ 950072*c_0110_5^4 + 10743625319694008016792355301662731661718224173\ 37360243470532949/2456133713319087946670449305503495581058582439533\ 591131237518*c_0110_5^2 + 16272907362567903974770644672539829874440\ 92504168963511887011/1819358306162287367904036522595181911895246251\ 50636380091668, c_0011_0 - 1, c_0011_1 - 29277502946728696743767438519811387004212215047753585216/215\ 45032572974455672547800925469259482970021399417466063487*c_0110_5^3\ 2 + 47523054558741451735531064172313386201089744232476528878/501047\ 269138940829594134905243471150766744683707382931709*c_0110_5^30 - 1296706051468218660814808775980909873776109747761525014160/71816775\ 24324818557515933641823086494323340466472488687829*c_0110_5^28 + 77622208694602610227481293258402880560571662230993198292513/2154503\ 2572974455672547800925469259482970021399417466063487*c_0110_5^26 - 1294615441439948715226234149797052546591194339354275728067442/21545\ 032572974455672547800925469259482970021399417466063487*c_0110_5^24 - 5751237594832577108336364719041484112316571199540132780453740/21545\ 032572974455672547800925469259482970021399417466063487*c_0110_5^22 - 455190775446522563797198827978541394097287398863252657938287/718167\ 7524324818557515933641823086494323340466472488687829*c_0110_5^20 + 7583919019340338962893129986485714377434672321183975437969920/21545\ 032572974455672547800925469259482970021399417466063487*c_0110_5^18 - 1353045121454638704660121243811402811933784367352581064205309/21545\ 032572974455672547800925469259482970021399417466063487*c_0110_5^16 + 2802005333446957509128744182975073506713168978359952827889463/71816\ 77524324818557515933641823086494323340466472488687829*c_0110_5^14 + 1402883813333143958222891741733593016381225267058002836919678/23938\ 92508108272852505311213941028831441113488824162895943*c_0110_5^12 + 3608114762524778507415326156623573847695293954924647819416354/21545\ 032572974455672547800925469259482970021399417466063487*c_0110_5^10 + 4324550131476690933515968136509754813385077488911636185878231/21545\ 032572974455672547800925469259482970021399417466063487*c_0110_5^8 + 3351806257074481611059838654554235890253557307601230289411078/21545\ 032572974455672547800925469259482970021399417466063487*c_0110_5^6 - 239179122874529083674654586619212687802905473315463477777523/215450\ 32572974455672547800925469259482970021399417466063487*c_0110_5^4 - 145798761412581834909148772647326822731275053399434628481579/215450\ 32572974455672547800925469259482970021399417466063487*c_0110_5^2 - 3538641277853101764497190363774056863868549265524238801355/23938925\ 08108272852505311213941028831441113488824162895943, c_0011_4 - 19109270849716917633893980348680068625519606640746170896397/\ 4912267426638175893340898611006991162117164879067182262475036*c_011\ 0_5^33 + 1334339145522231851994107122296585021500366799802756717834\ 043/4912267426638175893340898611006991162117164879067182262475036*c\ _0110_5^31 - 429727886251543735045675366129347648924382682952828973\ 332145/818711237773029315556816435167831860352860813177863710412506\ *c_0110_5^29 + 1179957121198564954453890720766300067977392371946411\ 618097517/114238777363678509147462758395511422374817787885283308429\ 652*c_0110_5^27 - 2116167545032337572381068283442356750394394698877\ 35882464846195/1228066856659543973335224652751747790529291219766795\ 565618759*c_0110_5^25 - 3728927811548703591421553616274076864257271\ 048748723995547119479/491226742663817589334089861100699116211716487\ 9067182262475036*c_0110_5^23 - 151177097599998891550954492823851099\ 2056981608551790494093071/95198981136398757622885631996259518645681\ 48990440275702471*c_0110_5^21 + 12418041190764889082936154418849488\ 80369840147060600133229809982/1228066856659543973335224652751747790\ 529291219766795565618759*c_0110_5^19 - 1071211725166888754065167828492329237703160627756769273003640125/49\ 12267426638175893340898611006991162117164879067182262475036*c_0110_\ 5^17 + 916358649629419892180897035860368325435262680700728332687968\ 429/818711237773029315556816435167831860352860813177863710412506*c_\ 0110_5^15 + 2260348431789454594156281800401844487966074729504522384\ 04876610/1364518729621715525928027391946386433921434688629772850687\ 51*c_0110_5^13 + 24644179654730136900272829108239103778076656845460\ 849550820697/571193886818392545737313791977557111874088939426416542\ 14826*c_0110_5^11 + 14040683335006444338880811831317779519141349640\ 88255269122883509/2456133713319087946670449305503495581058582439533\ 591131237518*c_0110_5^9 + 54585377697083246692527926840116954236195\ 6218834840198643178553/12280668566595439733352246527517477905292912\ 19766795565618759*c_0110_5^7 - 190658250308404922247169139300222451\ 632729091898009170117521107/491226742663817589334089861100699116211\ 7164879067182262475036*c_0110_5^5 - 34211982094632508411110255830094422006423659672649991351299131/2456\ 133713319087946670449305503495581058582439533591131237518*c_0110_5^\ 3 - 521936446332082886737645813046682456481047740707181824082341/27\ 2903745924343105185605478389277286784286937725954570137502*c_0110_5\ , c_0101_0 + 9715312427222598104887208800979583656337315893468474206691/2\ 456133713319087946670449305503495581058582439533591131237518*c_0110\ _5^33 - 68015889095743113374165725616026434381230072028730574632574\ 9/2456133713319087946670449305503495581058582439533591131237518*c_0\ 110_5^31 + 23908220671213982928414846581098975938963186768598818901\ 7179/409355618886514657778408217583915930176430406588931855206253*c\ _0110_5^29 - 260382217307479346666888794328522491591366451592953905\ 11295487/2456133713319087946670449305503495581058582439533591131237\ 518*c_0110_5^27 + 2175288843800130696878574486707789088030491140159\ 02797331916340/1228066856659543973335224652751747790529291219766795\ 565618759*c_0110_5^25 + 1817281643283323883772836245245629668184403\ 326110921836322269819/245613371331908794667044930550349558105858243\ 9533591131237518*c_0110_5^23 + 893996801727789663436736510031221491\ 3124284503321530761270882/40935561888651465777840821758391593017643\ 0406588931855206253*c_0110_5^21 - 129383601408955495226599056106922\ 5992529423380711818465630893424/12280668566595439733352246527517477\ 90529291219766795565618759*c_0110_5^19 + 1004876359441316603201669438124742378586388567557427771587921573/24\ 56133713319087946670449305503495581058582439533591131237518*c_0110_\ 5^17 - 485006619717694724429851364257445863768874797653579450013351\ 471/409355618886514657778408217583915930176430406588931855206253*c_\ 0110_5^15 - 2014240857933743316216331046053928979909554264819617973\ 42831753/1364518729621715525928027391946386433921434688629772850687\ 51*c_0110_5^13 - 16948902300945901657392247476133338903710542247057\ 2652526603436/12280668566595439733352246527517477905292912197667955\ 65618759*c_0110_5^11 - 62430963037043189086277109084592897607019978\ 2345542449710090212/12280668566595439733352246527517477905292912197\ 66795565618759*c_0110_5^9 - 424898595564487857678320916329079203765\ 315711619813639580226608/122806685665954397333522465275174779052929\ 1219766795565618759*c_0110_5^7 + 3009179020607188305124239742491525\ 29446676437936209665653361527/2456133713319087946670449305503495581\ 058582439533591131237518*c_0110_5^5 + 188322719384126809052192357302760991072163886354664897516418/285596\ 94340919627286865689598877855593704446971320827107413*c_0110_5^3 + 42529688160612268947985282166534269906196042037434574786338/4548395\ 7654057184197600913064879547797381156287659095022917*c_0110_5, c_0101_2 - 6088581208898082183134586783659356205675152545140844243245/2\ 456133713319087946670449305503495581058582439533591131237518*c_0110\ _5^33 + 42411126990293251491268116789520605858262291126921994070274\ 7/2456133713319087946670449305503495581058582439533591131237518*c_0\ 110_5^31 - 12485407190872624484609638980601487317953714625974948108\ 9604/409355618886514657778408217583915930176430406588931855206253*c\ _0110_5^29 + 160172441545538319118129185413230702978623673762686896\ 44802993/2456133713319087946670449305503495581058582439533591131237\ 518*c_0110_5^27 - 1334680944549113189636915946843400357316556490932\ 13307133876227/1228066856659543973335224652751747790529291219766795\ 565618759*c_0110_5^25 - 1234297041530911464723802286662659124715060\ 242311891555241020655/245613371331908794667044930550349558105858243\ 9533591131237518*c_0110_5^23 - 741057721335482377143192730962483924\ 27100567213085044205881417/4093556188865146577784082175839159301764\ 30406588931855206253*c_0110_5^21 + 783588920739671164831739627048269765021756456326151747844510552/122\ 8066856659543973335224652751747790529291219766795565618759*c_0110_5\ ^19 - 6503048229665421834436901125015325304042884581690453252001444\ 9/2456133713319087946670449305503495581058582439533591131237518*c_0\ 110_5^17 + 27592773816164316113881660438684150723272512972747489275\ 1627593/40935561888651465777840821758391593017643040658893185520625\ 3*c_0110_5^15 + 160862878195127789463227429369991722268842065939117\ 299738586022/136451872962171552592802739194638643392143468862977285\ 068751*c_0110_5^13 + 5416556149571040186498256998973509784450798941\ 66225515087597335/1228066856659543973335224652751747790529291219766\ 795565618759*c_0110_5^11 + 4722208482246666188380114311838278383568\ 75486169455267527871748/1228066856659543973335224652751747790529291\ 219766795565618759*c_0110_5^9 + 41860874523470866255858748466581702\ 7285127961314209746210735728/12280668566595439733352246527517477905\ 29291219766795565618759*c_0110_5^7 + 39066160552409831858640491329655591052113279210232736332156023/2456\ 133713319087946670449305503495581058582439533591131237518*c_0110_5^\ 5 - 23927506501289067527316183993284738286382963364675534943958234/\ 1228066856659543973335224652751747790529291219766795565618759*c_011\ 0_5^3 - 28324693941555313068206741978985715897136240792492399311130\ 5/136451872962171552592802739194638643392143468862977285068751*c_01\ 10_5, c_0101_3 - 60790466224887670047817743402407414358657460558183049629/215\ 45032572974455672547800925469259482970021399417466063487*c_0110_5^3\ 2 + 98682742800017287293545627029014957023675530395732975859/501047\ 269138940829594134905243471150766744683707382931709*c_0110_5^30 - 2700429779298167760935449937674016520558525158097242249110/71816775\ 24324818557515933641823086494323340466472488687829*c_0110_5^28 + 161207484614173388299339569270825512839956082731210316866568/215450\ 32572974455672547800925469259482970021399417466063487*c_0110_5^26 - 2688940264658192149787327681781034860694337079928925255532107/21545\ 032572974455672547800925469259482970021399417466063487*c_0110_5^24 - 11926713978367928012126204021562985451986360169455067881192892/2154\ 5032572974455672547800925469259482970021399417466063487*c_0110_5^22 - 920051184172839470697337369796379014505573388003418649317170/7181\ 677524324818557515933641823086494323340466472488687829*c_0110_5^20 + 15763617826553972508807565935642538867583546042332976952386975/2154\ 5032572974455672547800925469259482970021399417466063487*c_0110_5^18 - 3014353994072070581052845442676660868574888066260558536593403/215\ 45032572974455672547800925469259482970021399417466063487*c_0110_5^1\ 6 + 5796492800900697553137498877478631911897610359518442061156445/7\ 181677524324818557515933641823086494323340466472488687829*c_0110_5^\ 14 + 2925534047000527715613004216465938883097636798040684343868749/\ 2393892508108272852505311213941028831441113488824162895943*c_0110_5\ ^12 + 7354885641582435888687767530136626531831338509383857580879657\ /21545032572974455672547800925469259482970021399417466063487*c_0110\ _5^10 + 89411011212492726183968079460326054826182929898086085887258\ 56/21545032572974455672547800925469259482970021399417466063487*c_01\ 10_5^8 + 7138700188808911505694798643245463302574387755400007135202\ 991/21545032572974455672547800925469259482970021399417466063487*c_0\ 110_5^6 - 506727359977606144661859791011271772606953836437484290309\ 377/21545032572974455672547800925469259482970021399417466063487*c_0\ 110_5^4 - 305036006941553971145824939687311707511814275615019875464\ 782/21545032572974455672547800925469259482970021399417466063487*c_0\ 110_5^2 - 467826549485440870278193193367033046809933124915021912638\ 7/2393892508108272852505311213941028831441113488824162895943, c_0110_5^34 - 70*c_0110_5^32 + 147*c_0110_5^30 - 2677*c_0110_5^28 + 44753*c_0110_5^26 + 187523*c_0110_5^24 + 6051*c_0110_5^22 - 271232*c_0110_5^20 + 100453*c_0110_5^18 - 291621*c_0110_5^16 - 377802*c_0110_5^14 - 30850*c_0110_5^12 - 118288*c_0110_5^10 - 87334*c_0110_5^8 + 33251*c_0110_5^6 + 4273*c_0110_5^4 - 540*c_0110_5^2 - 162 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB