Magma V2.19-8 Tue Aug 20 2013 16:18:21 on localhost [Seed = 3650634999] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2560 geometric_solution 5.86536785 oriented_manifold CS_known 0.0000000000000000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204213737663 0.257986902759 2 0 3 0 0132 2310 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.909468061927 2.125032945524 1 4 5 6 0132 0132 0132 0132 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 -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.435149478547 0.466093927229 6 5 4 1 0132 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435149478547 0.466093927229 3 2 4 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.224382029193 1.380903658312 5 3 5 2 2031 0132 1302 0132 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.673629708186 0.412264140277 3 6 2 6 0132 1302 0132 2031 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 1 0 -1 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.950577663063 0.618156681176 ==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' : 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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_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' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(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' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 196447693209655772799559978950315667774045900366782201/187189287368\ 3319219321655681351895314696946155073500*c_0101_4^19 + 13063392457367907690886528662631513577779100559239840507/2995028597\ 8933107509146490901630325035151138481176000*c_0101_4^18 - 41236370607250248843462608135787355471686672548592835739/1497514298\ 9466553754573245450815162517575569240588000*c_0101_4^17 + 22228216659842385978760465282584657161354399872056847299/3743785747\ 366638438643311362703790629393892310147000*c_0101_4^16 - 7813862848470213094807021321461672106000086434451159/48306912869246\ 9475953975659703714919921792556148*c_0101_4^15 + 82367547684282330570619752379389242788968874482991718431/2995028597\ 893310750914649090163032503515113848117600*c_0101_4^14 - 153736957221440514904394997441825397301809843116907589289/149751429\ 89466553754573245450815162517575569240588000*c_0101_4^13 + 484142896283616101438624091047405948508968220153095997451/299502859\ 78933107509146490901630325035151138481176000*c_0101_4^12 + 51151219011968910219724720043668963030825839389566944747/1198011439\ 157324300365859636065213001406045539247040*c_0101_4^11 - 13169529765830017948247071691108877747494949013710514889/1932276514\ 76987790381590263881485967968717022459200*c_0101_4^10 + 1551653037358110590665034675608226710013177031538967986759/14975142\ 989466553754573245450815162517575569240588000*c_0101_4^9 - 1603466504222510159526110508976851906421755352305924401757/14975142\ 989466553754573245450815162517575569240588000*c_0101_4^8 + 86586212098168805162162174359331313077012120205698302279/1497514298\ 946655375457324545081516251757556924058800*c_0101_4^7 - 47391056006416926571209100061591952651863411561289799773/1198011439\ 157324300365859636065213001406045539247040*c_0101_4^6 + 129262473993442736043896322913651232196045390839327912101/748757149\ 4733276877286622725407581258787784620294000*c_0101_4^5 - 24934990307399742764565261171600339201311403868628383381/3743785747\ 366638438643311362703790629393892310147000*c_0101_4^4 + 145535462652608671186061524216758988267447495677816817041/299502859\ 78933107509146490901630325035151138481176000*c_0101_4^3 - 14313706624444907378107654400296138545261142978465027071/7487571494\ 733276877286622725407581258787784620294000*c_0101_4^2 + 35724716424894506487497373735834827786394892773327694841/2995028597\ 8933107509146490901630325035151138481176000*c_0101_4 - 9464661899364002923916877010194298069379337577629894823/29950285978\ 933107509146490901630325035151138481176000, c_0011_0 - 1, c_0011_1 - 22253592585363688220964612511273730006364181112/179128504658\ 69083438484743362219093920544939283*c_0101_4^19 + 176364650520439473605516197503306676337647488157/358257009317381668\ 76969486724438187841089878566*c_0101_4^18 - 567391272871419633314002714793557130132109482843/179128504658690834\ 38484743362219093920544939283*c_0101_4^17 + 1151190336885803823081672411227977781819490266213/17912850465869083\ 438484743362219093920544939283*c_0101_4^16 - 103878904875390926294476695736848830397977978099/577833885995776885\ 112411076200615932920804493*c_0101_4^15 + 5231268126723471290320874449313854853713309190645/17912850465869083\ 438484743362219093920544939283*c_0101_4^14 - 1229472550872280872385319413843586117851197104091/17912850465869083\ 438484743362219093920544939283*c_0101_4^13 + 6565753699631721743368837904059185840007439704385/35825700931738166\ 876969486724438187841089878566*c_0101_4^12 + 19455477577949191534925748750325308743729651116773/3582570093173816\ 6876969486724438187841089878566*c_0101_4^11 - 808767469558656567683922374844209416103309740879/115566777199155377\ 0224822152401231865841608986*c_0101_4^10 + 19807246085922873519777288827917621660289765535760/1791285046586908\ 3438484743362219093920544939283*c_0101_4^9 - 19125844660181498968947909781689011683165603324465/1791285046586908\ 3438484743362219093920544939283*c_0101_4^8 + 8865245731895442362124391673494671523942294202098/17912850465869083\ 438484743362219093920544939283*c_0101_4^7 - 13766299229147910235596512796099200872198695968263/3582570093173816\ 6876969486724438187841089878566*c_0101_4^6 + 2271449136738246653407087763166619304534351448339/17912850465869083\ 438484743362219093920544939283*c_0101_4^5 - 927288352248221563208758406927409908547329979891/179128504658690834\ 38484743362219093920544939283*c_0101_4^4 + 1615231649306321472092389137428486916745901987297/35825700931738166\ 876969486724438187841089878566*c_0101_4^3 - 186575711555997735131798217149219837665438349351/179128504658690834\ 38484743362219093920544939283*c_0101_4^2 + 422699511928470397570787731065407027013930986247/358257009317381668\ 76969486724438187841089878566*c_0101_4 - 66365076337505509126916674174260102749469229055/3582570093173816687\ 6969486724438187841089878566, c_0011_3 - 6760277897837286953363864944996781453402993117/1791285046586\ 9083438484743362219093920544939283*c_0101_4^19 + 420853530195119349099982801530093069987845247975/286605607453905335\ 015755893795505502728719028528*c_0101_4^18 - 1357949336613815589175890662517301361491741586183/14330280372695266\ 7507877946897752751364359514264*c_0101_4^17 + 669660011271479110736240395718336220714662279809/358257009317381668\ 76969486724438187841089878566*c_0101_4^16 - 30202652020679625769991200105083980929917336549/5778338859957768851\ 12411076200615932920804493*c_0101_4^15 + 11913159408554787691853793859500635460706510867671/1433028037269526\ 67507877946897752751364359514264*c_0101_4^14 - 1360388420480072665760535463433702851787307895237/14330280372695266\ 7507877946897752751364359514264*c_0101_4^13 + 13478811002651981104436039379575450253827634016295/2866056074539053\ 35015755893795505502728719028528*c_0101_4^12 + 48200633628938368215046289045795582141058444891151/2866056074539053\ 35015755893795505502728719028528*c_0101_4^11 - 1902670584708158212323382119336296016028206869265/92453421759324301\ 61798577219209854926732871888*c_0101_4^10 + 43128868768185097424998979889020320597030376119275/1433028037269526\ 67507877946897752751364359514264*c_0101_4^9 - 41025968630785598957245885070674047139210755756665/1433028037269526\ 67507877946897752751364359514264*c_0101_4^8 + 6938142369721252205239096475645064201492408928207/71651401863476333\ 753938973448876375682179757132*c_0101_4^7 - 25203403398233368306142914332514888181663415476185/2866056074539053\ 35015755893795505502728719028528*c_0101_4^6 + 1623520892496587155989615149228219221283755988369/71651401863476333\ 753938973448876375682179757132*c_0101_4^5 - 286176958291779655197443372480704728613932219199/358257009317381668\ 76969486724438187841089878566*c_0101_4^4 + 3243705942854918883065335247637246323165400593941/28660560745390533\ 5015755893795505502728719028528*c_0101_4^3 - 63337082221539630928898191700998028911657939859/7165140186347633375\ 3938973448876375682179757132*c_0101_4^2 + 958869806650980214652063530948638582595595292685/286605607453905335\ 015755893795505502728719028528*c_0101_4 + 75467489308187154288989068251000106135340566573/2866056074539053350\ 15755893795505502728719028528, c_0101_0 - 24110907348735271407924858798670254566002962186/179128504658\ 69083438484743362219093920544939283*c_0101_4^19 + 696692655769043411803086493062897746749893608927/143302803726952667\ 507877946897752751364359514264*c_0101_4^18 - 2345727684322990890494887459224571243180580809211/71651401863476333\ 753938973448876375682179757132*c_0101_4^17 + 1048660235538921877841817780899218326521804829739/17912850465869083\ 438484743362219093920544939283*c_0101_4^16 - 102336364542629290965062030077204067243002943073/577833885995776885\ 112411076200615932920804493*c_0101_4^15 + 18518580968345368661999870786361850021329539559667/7165140186347633\ 3753938973448876375682179757132*c_0101_4^14 + 114773510162282948507516173575095259092963583683/716514018634763337\ 53938973448876375682179757132*c_0101_4^13 + 31018082278270776733906897152774997354213886240055/1433028037269526\ 67507877946897752751364359514264*c_0101_4^12 + 96248970981005475639710638285463102294528766605119/1433028037269526\ 67507877946897752751364359514264*c_0101_4^11 - 2310039659303072578950986311427969091470131900865/46226710879662150\ 80899288609604927463366435944*c_0101_4^10 + 78679937490729743269702131257403250243865512139623/7165140186347633\ 3753938973448876375682179757132*c_0101_4^9 - 56028951467279640387620818219889848555064598298841/7165140186347633\ 3753938973448876375682179757132*c_0101_4^8 + 13067036926435171690733736516434829290935468966803/3582570093173816\ 6876969486724438187841089878566*c_0101_4^7 - 44379374924252161053238087048813899338261272987337/1433028037269526\ 67507877946897752751364359514264*c_0101_4^6 + 1937772653440055443178775234829863786374860681507/35825700931738166\ 876969486724438187841089878566*c_0101_4^5 - 887152472287761547067316173573857488082428956346/179128504658690834\ 38484743362219093920544939283*c_0101_4^4 + 3973386145085529999903817444841597901083179638533/14330280372695266\ 7507877946897752751364359514264*c_0101_4^3 - 349865404962595867036563101780034134177594276719/358257009317381668\ 76969486724438187841089878566*c_0101_4^2 + 1155899435086837798628276064624357362045990876509/14330280372695266\ 7507877946897752751364359514264*c_0101_4 - 23129767751182833213790024383634765635072450659/1433028037269526675\ 07877946897752751364359514264, c_0101_1 + 34077825328313635751844955316911657280441500360/179128504658\ 69083438484743362219093920544939283*c_0101_4^19 - 260057749796332683750872228957937661735090170107/358257009317381668\ 76969486724438187841089878566*c_0101_4^18 + 852894234581527384430486545434246975115311443160/179128504658690834\ 38484743362219093920544939283*c_0101_4^17 - 1647583096166110301298741921354084105849320731413/17912850465869083\ 438484743362219093920544939283*c_0101_4^16 + 153622605606129580460322049747929605922401946421/577833885995776885\ 112411076200615932920804493*c_0101_4^15 - 7421020623657143172286826403994907299681919844400/17912850465869083\ 438484743362219093920544939283*c_0101_4^14 + 1181825059950818498017032211960088835054313989741/17912850465869083\ 438484743362219093920544939283*c_0101_4^13 - 10662864967927746720588442061378657246301306296493/3582570093173816\ 6876969486724438187841089878566*c_0101_4^12 - 31541613121973491831039686619508841036727621338855/3582570093173816\ 6876969486724438187841089878566*c_0101_4^11 + 1045487125319522537608219976549238407158352412771/11556677719915537\ 70224822152401231865841608986*c_0101_4^10 - 29864788618492578232395863573192488327430806668301/1791285046586908\ 3438484743362219093920544939283*c_0101_4^9 + 25157113176322491618668244146631525109675722408205/1791285046586908\ 3438484743362219093920544939283*c_0101_4^8 - 12797983535699187729326714687685994410795655736460/1791285046586908\ 3438484743362219093920544939283*c_0101_4^7 + 19066504014774960977154328813586203987060579053957/3582570093173816\ 6876969486724438187841089878566*c_0101_4^6 - 3130550489822578988784969328410392378644390328365/17912850465869083\ 438484743362219093920544939283*c_0101_4^5 + 1550479140857490269590858160181148501869124755169/17912850465869083\ 438484743362219093920544939283*c_0101_4^4 - 1905679118312336813804347556530534314335290720767/35825700931738166\ 876969486724438187841089878566*c_0101_4^3 + 393864960957718666665007810738052723919466704583/179128504658690834\ 38484743362219093920544939283*c_0101_4^2 - 486684328403697856125130975704597836999395641861/358257009317381668\ 76969486724438187841089878566*c_0101_4 + 68252283707818634356773453468694046910315412841/3582570093173816687\ 6969486724438187841089878566, c_0101_3 + 36736404643299883131578777605108920393983164054/179128504658\ 69083438484743362219093920544939283*c_0101_4^19 - 1123856276891214371876966874435973021846463075217/14330280372695266\ 7507877946897752751364359514264*c_0101_4^18 + 3682709138495533096316560887453272341588928786997/71651401863476333\ 753938973448876375682179757132*c_0101_4^17 - 1784445337222468414434563506494387729271607691594/17912850465869083\ 438484743362219093920544939283*c_0101_4^16 + 166162902271016949413370498487007485727163149471/577833885995776885\ 112411076200615932920804493*c_0101_4^15 - 32211486477109725557342950457547769833482655592153/7165140186347633\ 3753938973448876375682179757132*c_0101_4^14 + 5408494053127396409579428585138955557318443866711/71651401863476333\ 753938973448876375682179757132*c_0101_4^13 - 46402559985221076621596335371797007935465087072433/1433028037269526\ 67507877946897752751364359514264*c_0101_4^12 - 135588610897051881570380765162027892873634118809033/143302803726952\ 667507877946897752751364359514264*c_0101_4^11 + 4560794282280670136872775718357042925296689721127/46226710879662150\ 80899288609604927463366435944*c_0101_4^10 - 129016254160152830812222350119886620268240652145393/716514018634763\ 33753938973448876375682179757132*c_0101_4^9 + 110858312806976802962652165744120884219651671331003/716514018634763\ 33753938973448876375682179757132*c_0101_4^8 - 27750245667815753073155330245579820620220109534017/3582570093173816\ 6876969486724438187841089878566*c_0101_4^7 + 85401819381531773138432980685688493298820348949879/1433028037269526\ 67507877946897752751364359514264*c_0101_4^6 - 6639001171705208849191359067336083951992159171971/35825700931738166\ 876969486724438187841089878566*c_0101_4^5 + 1680223100555952310250130033749566530959692228646/17912850465869083\ 438484743362219093920544939283*c_0101_4^4 - 8779066443201579232809747572496877382747470515179/14330280372695266\ 7507877946897752751364359514264*c_0101_4^3 + 707020479603169985237459051183215910740184866561/358257009317381668\ 76969486724438187841089878566*c_0101_4^2 - 2310224674821572056993546900910056594214940519011/14330280372695266\ 7507877946897752751364359514264*c_0101_4 + 332186203177213828876780523457018236237203830205/143302803726952667\ 507877946897752751364359514264, c_0101_4^20 - 67/16*c_0101_4^19 + 423/16*c_0101_4^18 - 461/8*c_0101_4^17 + 315/2*c_0101_4^16 - 2155/8*c_0101_4^15 + 457/4*c_0101_4^14 - 2681/16*c_0101_4^13 - 3245/8*c_0101_4^12 + 2605/4*c_0101_4^11 - 16743/16*c_0101_4^10 + 4261/4*c_0101_4^9 - 5085/8*c_0101_4^8 + 6625/16*c_0101_4^7 - 2979/16*c_0101_4^6 + 297/4*c_0101_4^5 - 721/16*c_0101_4^4 + 319/16*c_0101_4^3 - 181/16*c_0101_4^2 + 29/8*c_0101_4 - 5/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB