Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 4300006] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0744 geometric_solution 4.69182521 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 1 -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 0 0 0 1.923213093420 0.521904849754 0 2 3 0 0132 0132 0132 3201 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 1 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.380115690635 0.872017939697 4 1 3 3 0132 0132 1302 2031 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 1 0 -1 0 0 1 -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.360834820040 0.374846200224 2 2 4 1 2031 1302 2310 0132 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 1 0 -1 0 0 -1 1 -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.360834820040 0.374846200224 2 3 5 5 0132 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 -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 -1.016189105606 1.778672069750 6 4 4 6 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -0.018768789380 0.297153090624 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.099759613776 1.047625060499 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 56917691310546661612448460756976773939576579612125485638/1317561163\ 19217526492085446083798172079833441258794863*c_0101_6^19 - 506125580643207343973370274448749868956947925882010862411/131756116\ 319217526492085446083798172079833441258794863*c_0101_6^18 - 1323599731052336831108108662005336987665005180777748580578/13175611\ 6319217526492085446083798172079833441258794863*c_0101_6^17 + 1106792298391409712621763503004885020716959082544819343180/13175611\ 6319217526492085446083798172079833441258794863*c_0101_6^16 + 421989441880597475098873096860239011545211797073148027488/454331435\ 5835087120416739520130971451028739353751547*c_0101_6^15 + 16190948840857952518198610867833221686153043580883066068871/1317561\ 16319217526492085446083798172079833441258794863*c_0101_6^14 - 8514531781107803534642815087967096196419195547948256070608/13175611\ 6319217526492085446083798172079833441258794863*c_0101_6^13 - 38290111569210564172763915734957452754048454012746307591572/1317561\ 16319217526492085446083798172079833441258794863*c_0101_6^12 - 73167518525897618502817894143585850115848883326846827253180/1317561\ 16319217526492085446083798172079833441258794863*c_0101_6^11 - 16176202999640867512726820662534276869581539784306471688002/1317561\ 16319217526492085446083798172079833441258794863*c_0101_6^10 + 78112142680801982581054948403167246578772989967784852510545/1317561\ 16319217526492085446083798172079833441258794863*c_0101_6^9 - 65913255047455581691272074156716641359805148925890928567585/1317561\ 16319217526492085446083798172079833441258794863*c_0101_6^8 - 880069927278619665788390321046744271759374681857688274276/454331435\ 5835087120416739520130971451028739353751547*c_0101_6^7 + 83523158197105702910891165177500759015758787091001827959165/1317561\ 16319217526492085446083798172079833441258794863*c_0101_6^6 - 47438868458906878448287811641238048422938908271918514243103/1317561\ 16319217526492085446083798172079833441258794863*c_0101_6^5 + 15211733630418677959183709213439554637079808232929113015020/1317561\ 16319217526492085446083798172079833441258794863*c_0101_6^4 - 2358085311106775818523557299492907409912844887089278521380/13175611\ 6319217526492085446083798172079833441258794863*c_0101_6^3 + 5054784892395957522799620120828228903516513703669242579/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^2 + 36473808814545961207921288704627871556717223186824957675/1317561163\ 19217526492085446083798172079833441258794863*c_0101_6 + 25899546039293149794443625484158211376526061785195150161/1317561163\ 19217526492085446083798172079833441258794863, c_0011_0 - 1, c_0011_3 - 2490060230273170835848994457424134510663769172547711/4543314\ 355835087120416739520130971451028739353751547*c_0101_6^19 - 23675520286780367444372807691422429186673696957492894/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^18 - 71959628931993919047674821310987367195970120129454747/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^17 + 8961273739855482348310210543296066338924140229502562/45433143558350\ 87120416739520130971451028739353751547*c_0101_6^16 + 554825306617207855214278712735434336645593778151454347/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^15 + 1044696544942207176657526004418799045105912325712257773/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^14 + 155844268346892036032253901741689128026242869550838156/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^13 - 1769922574504047163663317123445880819578187140261373850/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^12 - 4279299705197823303488248863151148338262879145611776893/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^11 - 2979604569101241721690571615436875420823321303995933503/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^10 + 2392348620305173684763218219059782640252645532663504417/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^9 - 978211982042555217888759716710633917996005472067050744/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^8 - 2303186158488641859318710227946061672513463932411672940/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^7 + 2601424998540564319346042312290968918246939267953478161/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^6 - 105563894398844797476160629804774721173756257708612188/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^5 - 14152802446103520075911102991119441319698863830250683/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^4 + 72780744980280150096940031244530852593817834342998907/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^3 - 14011835371970279099031484702208131021178477528409475/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^2 + 9560867911746001402207177275338640116438579774480836/45433143558350\ 87120416739520130971451028739353751547*c_0101_6 - 209335120910425485663962065812628388593852539183830/454331435583508\ 7120416739520130971451028739353751547, c_0011_5 - 5047292356823695492428135378011679462931104343866390/4543314\ 355835087120416739520130971451028739353751547*c_0101_6^19 - 46187614043134678387612767832642086815593751512476401/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^18 - 129594274921610078571971146671711831326631660252682355/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^17 + 62176239731378591259479288610981524404068738725187107/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^16 + 1094724322834604982142897868488746604865451442938146012/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^15 + 1723623158862800830071024828981678247078767151900564902/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^14 - 250091562531193572885793132314488877194613262239108299/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^13 - 3376598393111722644406290095232572870257878776087426020/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^12 - 7394853393319108257561881816657021213675194001022904763/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^11 - 3536789719767250360144557862791552378042783274411491236/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^10 + 5642213494235603870062473820238881356119196406346083399/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^9 - 4496972760230313060850876618150993884595892539174262372/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^8 - 3054959033684707696849467624661594003830788708360645594/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^7 + 6352814212061268793186424147551030005630382891784328548/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^6 - 2724886334334266558645932078699722155407994989037074938/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^5 + 1023850357188709779558642743914107741010753632835128969/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^4 - 120927397188766597571236983392333796299099683147635945/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^3 + 21938307428288941352239676829315243510549525003478151/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^2 + 9206075157128049696116883065845847786503524080488507/45433143558350\ 87120416739520130971451028739353751547*c_0101_6 + 1386774078452730657288237387904645266729454868619137/45433143558350\ 87120416739520130971451028739353751547, c_0101_0 + 9235124147916507211845198808465878326842650676382709/4543314\ 355835087120416739520130971451028739353751547*c_0101_6^19 + 84905222918418489206314602439544751087413393257751607/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^18 + 240004358595079790536732950941235461037996309623006481/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^17 - 110323620017934073638164842267112576046633980661853276/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^16 - 2026711044492942643094417138977800739593850745221796293/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^15 - 3230057333326799633313107465083404646203518379197259780/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^14 + 483402311166460539873410166284480592853516798023737470/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^13 + 6449581025947500348415110908906932484852244658006946693/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^12 + 13746164440159957268950115624947992568761896781010989324/4543314355\ 835087120416739520130971451028739353751547*c_0101_6^11 + 6531753033841367773933988054164679848039628794875104136/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^10 - 11123383222360325659271290983265666302868035015892821781/4543314355\ 835087120416739520130971451028739353751547*c_0101_6^9 + 7311483279249108499480975893453720950912903202597111746/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^8 + 6869359361581280844019562263202387466166670559774742054/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^7 - 11955713458904050455004381837574313022327220528707213243/4543314355\ 835087120416739520130971451028739353751547*c_0101_6^6 + 3927812628892382861206612613489477605415726370107506448/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^5 - 707055034266450804782143485874024988657901982785968533/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^4 - 171164407584388484108576949234975314875731984203279479/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^3 + 3256885548193363433921315123883080393562049998197973/45433143558350\ 87120416739520130971451028739353751547*c_0101_6^2 - 258905383817420812602988525901391502536098305405222/454331435583508\ 7120416739520130971451028739353751547*c_0101_6 - 5445763258789999840308876440113743456831520236974756/45433143558350\ 87120416739520130971451028739353751547, c_0101_1 - 3512169519854585407996717681080069591049346176101675/4543314\ 355835087120416739520130971451028739353751547*c_0101_6^19 - 33039047217860975973068167719812896574855582482450834/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^18 - 98584650966334246386214952666375898773903356855811008/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^17 + 18507599127305640484826242578887282474519743559323252/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^16 + 767879257407293775215454295976837330829394255045092677/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^15 + 1395626637397507241878064846374555056499090960982006524/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^14 + 172956405653260522202647031087968872743958964054200942/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^13 - 2322887164761684623871056477978310381643830019431861826/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^12 - 5745578841488723842730740906270258666117271564540145051/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^11 - 3913074678620521443414491579979830688569818961298280580/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^10 + 2998013090876376214047026224622128856664936379759633100/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^9 - 2302448332255306306461319072482254835748129350785051228/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^8 - 2709967976482292632938281962636491076212213500349190990/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^7 + 3820636649934952197783959962983016352976423046428611991/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^6 - 925330673819690259132712122792263033131186436600796859/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^5 + 432869587711383187725599134071063838761958360328961636/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^4 + 98998097276994290502071708098058598113719127271955568/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^3 - 8169600184668633910008023536655326753847723645578079/45433143558350\ 87120416739520130971451028739353751547*c_0101_6^2 + 3818691632398025860304040016561048634506752958023461/45433143558350\ 87120416739520130971451028739353751547*c_0101_6 + 4099275137319420369285785559713710937199539241943289/45433143558350\ 87120416739520130971451028739353751547, c_0101_4 + 2067527247549338622983542679507617826134065783925185/4543314\ 355835087120416739520130971451028739353751547*c_0101_6^19 + 17505907779280400311356739089154584593625026002522646/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^18 + 40100826350396640247212637217108203959950173941051649/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^17 - 62145671033685398648007024728848149257245648951818394/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^16 - 431748973464597041940790274537729816507798402661163226/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^15 - 397550285376232212145996784070074777985591566606545053/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^14 + 594657630604599256099419502581483359400570672109329686/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^13 + 1317972655779304556018045928505187307369817050159441395/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^12 + 2063616197745435568892442498140063813127298348560904716/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^11 - 650187952272705873364520535876041392789047236189594628/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^10 - 3330881364587021358627152307929210274484305446526097705/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^9 + 3465703702220944574356745295648834925552465892179005956/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^8 + 72427958510660664206137540841646166171328551403953881/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^7 - 3570408916737789718411770001548315391461431194437321325/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^6 + 2881661132018985257884892175818594443406764613262133852/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^5 - 1076170420760758979854432352137995239485470228361830325/45433143558\ 35087120416739520130971451028739353751547*c_0101_6^4 + 264382625003600423101121922210404939816826612658002696/454331435583\ 5087120416739520130971451028739353751547*c_0101_6^3 - 39546253744276811283919239450003552028797619480548419/4543314355835\ 087120416739520130971451028739353751547*c_0101_6^2 + 13919308008593852940174598426694996459178862558050950/4543314355835\ 087120416739520130971451028739353751547*c_0101_6 - 39948287383319390662868084901114994663194503988385/4543314355835087\ 120416739520130971451028739353751547, c_0101_6^20 + 191/21*c_0101_6^19 + 176/7*c_0101_6^18 - 293/21*c_0101_6^17 - 1517/7*c_0101_6^16 - 2302/7*c_0101_6^15 + 515/7*c_0101_6^14 + 14114/21*c_0101_6^13 + 29879/21*c_0101_6^12 + 12662/21*c_0101_6^11 - 24868/21*c_0101_6^10 + 20017/21*c_0101_6^9 + 4149/7*c_0101_6^8 - 9252/7*c_0101_6^7 + 4184/7*c_0101_6^6 - 4129/21*c_0101_6^5 + 95/7*c_0101_6^4 - 15/7*c_0101_6^3 - 25/21*c_0101_6^2 - 10/21*c_0101_6 - 1/21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB