Magma V2.19-8 Tue Aug 20 2013 16:18:55 on localhost [Seed = 2934911961] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3082 geometric_solution 6.24925426 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 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.854274232590 1.065500053881 0 3 5 4 0132 0132 0132 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 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.740656229750 1.050632835713 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.740656229750 1.050632835713 3 1 2 3 3201 0132 3201 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.110362124871 0.656472066785 2 6 1 6 2310 0132 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 0 0 0 0 0 0 0 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.079763770738 0.607586669979 2 5 5 1 3201 3201 2310 0132 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 1 -1 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.227735404614 0.738232260335 6 4 6 4 2310 0132 3201 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 0.748345913116 0.317039428824 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t + 7*c_0101_6^4 - 20*c_0101_6^3 - 20*c_0101_6^2 + 13*c_0101_6 + 2, c_0011_0 - 1, c_0011_4 - 1, c_0101_0 + 2*c_0101_6^4 - 5*c_0101_6^3 - 8*c_0101_6^2 + 3*c_0101_6 + 3, c_0101_1 + c_0101_6^4 - 3*c_0101_6^3 - 3*c_0101_6^2 + 3*c_0101_6 + 1, c_0101_2 - c_0101_6^4 + 3*c_0101_6^3 + 3*c_0101_6^2 - 3*c_0101_6 - 1, c_0101_3 + c_0101_6, c_0101_6^5 - 3*c_0101_6^4 - 3*c_0101_6^3 + 4*c_0101_6^2 + c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 812789559842439973338628103805385787794456/151248353046521308132193\ 98160240924840315*c_0101_6^23 + 11372508757141212572013040059572060\ 2813392262/166373188351173438945413379762650173243465*c_0101_6^22 - 47466426647965209784187972404790019349211927/3327463767023468778908\ 2675952530034648693*c_0101_6^21 + 264047295015505655928546037460052\ 476043041026/33274637670234687789082675952530034648693*c_0101_6^20 - 235325607200276714210734505290968550530516412/332746376702346877890\ 82675952530034648693*c_0101_6^19 - 1109138865034568627972021131202787640548686563/16637318835117343894\ 5413379762650173243465*c_0101_6^18 + 1451688548731909898684311699614201169244477497/33274637670234687789\ 082675952530034648693*c_0101_6^17 - 10724964209288036869533285098987379993375574468/1663731883511734389\ 45413379762650173243465*c_0101_6^16 - 10176531246728183164494438181742000154961762313/1663731883511734389\ 45413379762650173243465*c_0101_6^15 + 3260251425738193362928288750581296419349327255/33274637670234687789\ 082675952530034648693*c_0101_6^14 + 3011676393979662426745704822366735669717277506/16637318835117343894\ 5413379762650173243465*c_0101_6^13 - 1101858172926476439519233677519129421336597678/16637318835117343894\ 5413379762650173243465*c_0101_6^12 + 971414933712685588319656648816250372157925517/237675983358819198493\ 44768537521453320495*c_0101_6^11 - 15416438958503214025096122823806083035128712318/1663731883511734389\ 45413379762650173243465*c_0101_6^10 + 979450688695639274544329809670130769740578954/151248353046521308132\ 19398160240924840315*c_0101_6^9 - 101976576293871963853287805286061\ 6014600165949/166373188351173438945413379762650173243465*c_0101_6^8 - 2911265093273111317552847942757240330273166806/166373188351173438\ 945413379762650173243465*c_0101_6^7 + 3256971913563547084120698982853000816957846607/16637318835117343894\ 5413379762650173243465*c_0101_6^6 - 236085807426228888484120706679656591749055139/166373188351173438945\ 413379762650173243465*c_0101_6^5 - 65036923333031662800828056067798813538153397/7233616884833627780235\ 364337506529271455*c_0101_6^4 - 14260537575465078461545591259022169\ 098083329/33274637670234687789082675952530034648693*c_0101_6^3 + 7269685803477477356566907964870564652615553/47535196671763839698689\ 53707504290664099*c_0101_6^2 + 414636762228812332672300557766006561\ 7253667/23767598335881919849344768537521453320495*c_0101_6 - 21222843576446093409169907178757618603603736/1663731883511734389454\ 13379762650173243465, c_0011_0 - 1, c_0011_4 - 973180687073859195343365470940222412509/15379034217335359902\ 517203171337410972085*c_0101_6^23 - 12710768713893554802395342442612522694598/1537903421733535990251720\ 3171337410972085*c_0101_6^22 + 428375908458802129204187758770964487\ 7874/3075806843467071980503440634267482194417*c_0101_6^21 - 27484930899122882452469621733352977934081/3075806843467071980503440\ 634267482194417*c_0101_6^20 + 1659661440245117600742467119744923498\ 3015/3075806843467071980503440634267482194417*c_0101_6^19 + 137899214781223776612207197814712403513907/153790342173353599025172\ 03171337410972085*c_0101_6^18 - 14707518275792218891252436028581363\ 9190995/3075806843467071980503440634267482194417*c_0101_6^17 + 926771559415236493200392719506003905134562/153790342173353599025172\ 03171337410972085*c_0101_6^16 + 13690844857026776115275051998177215\ 53248662/15379034217335359902517203171337410972085*c_0101_6^15 - 247014523914062990847515300853215876950490/307580684346707198050344\ 0634267482194417*c_0101_6^14 - 643028348230845640613023901038432511\ 350094/15379034217335359902517203171337410972085*c_0101_6^13 - 179224115723436007176737877406652381171478/153790342173353599025172\ 03171337410972085*c_0101_6^12 - 81335779769855198228449375676622838\ 613961/1398094019757759991137927561030673724735*c_0101_6^11 + 1328619443990352251023652619021228467883082/15379034217335359902517\ 203171337410972085*c_0101_6^10 - 7372328075340339176350522557940399\ 82231906/15379034217335359902517203171337410972085*c_0101_6^9 - 7435081483165134058199283995696409553349/15379034217335359902517203\ 171337410972085*c_0101_6^8 + 25056540101673798605614960766972810398\ 6069/15379034217335359902517203171337410972085*c_0101_6^7 - 276604684926639109365995405673966487412203/153790342173353599025172\ 03171337410972085*c_0101_6^6 - 904676061083334553323861658416809169\ 85259/15379034217335359902517203171337410972085*c_0101_6^5 + 7765381219984349781154327210638438746738/66865366162327651750074796\ 3971191781395*c_0101_6^4 + 7987276099187278935418104545221358986926\ /3075806843467071980503440634267482194417*c_0101_6^3 + 2164642421554932436810027564937673076766/30758068434670719805034406\ 34267482194417*c_0101_6^2 - 297687689234729773825722600128539080291\ /1398094019757759991137927561030673724735*c_0101_6 + 6139900652255397824342172390865509582934/15379034217335359902517203\ 171337410972085, c_0101_0 + 4805503633756519406750686231164099948944/1537903421733535990\ 2517203171337410972085*c_0101_6^23 + 57624504240278564667769387620839971479843/1537903421733535990251720\ 3171337410972085*c_0101_6^22 - 344485579696134480608402543414650374\ 84863/3075806843467071980503440634267482194417*c_0101_6^21 + 160009523227068049325175482725072678206029/307580684346707198050344\ 0634267482194417*c_0101_6^20 - 230823382278122021068668437196173535\ 719750/3075806843467071980503440634267482194417*c_0101_6^19 - 137566037542890731359139134138120456200707/153790342173353599025172\ 03171337410972085*c_0101_6^18 + 85007916565497223661165457132324503\ 1460966/3075806843467071980503440634267482194417*c_0101_6^17 - 8481693383152978000459299172435663961041837/15379034217335359902517\ 203171337410972085*c_0101_6^16 - 1338167480262196453212683795145248\ 745395607/15379034217335359902517203171337410972085*c_0101_6^15 + 2476172798791775200398415676722187915877502/30758068434670719805034\ 40634267482194417*c_0101_6^14 - 36993131451623199694610025469195775\ 79979716/15379034217335359902517203171337410972085*c_0101_6^13 - 1503550763997234120115994715024343128933417/15379034217335359902517\ 203171337410972085*c_0101_6^12 + 2623794086241167797717394296883350\ 25085706/1398094019757759991137927561030673724735*c_0101_6^11 - 10851553696279409314570570007769357356930992/1537903421733535990251\ 7203171337410972085*c_0101_6^10 + 115728741229384510111400908527307\ 38658299221/15379034217335359902517203171337410972085*c_0101_6^9 - 5018905934468798436397832798958865388051246/15379034217335359902517\ 203171337410972085*c_0101_6^8 - 83876799758009085446731183082275902\ 656534/15379034217335359902517203171337410972085*c_0101_6^7 + 1793538756651501848372407498366174703455218/15379034217335359902517\ 203171337410972085*c_0101_6^6 - 93308388989408184372817039125792524\ 2302016/15379034217335359902517203171337410972085*c_0101_6^5 - 34817892938446061925458429015258790515063/6686536616232765175007479\ 63971191781395*c_0101_6^4 + 670186989327956639253553789911956630751\ 51/3075806843467071980503440634267482194417*c_0101_6^3 + 55162336895439359648293224257345057212173/3075806843467071980503440\ 634267482194417*c_0101_6^2 - 16282214522348553935578769024996211825\ 74/1398094019757759991137927561030673724735*c_0101_6 - 27006821068223989993503553917757767520099/1537903421733535990251720\ 3171337410972085, c_0101_1 - 4287268209382926112848104238960156151562/1537903421733535990\ 2517203171337410972085*c_0101_6^23 - 57098571298183084136046459583225708708844/1537903421733535990251720\ 3171337410972085*c_0101_6^22 + 162833643793853653289755133584045727\ 77079/3075806843467071980503440634267482194417*c_0101_6^21 - 112485141928677624414396079618772414956756/307580684346707198050344\ 0634267482194417*c_0101_6^20 + 348933639861283016943990334222836454\ 35820/3075806843467071980503440634267482194417*c_0101_6^19 + 916798263972858531906750392231957025913186/153790342173353599025172\ 03171337410972085*c_0101_6^18 - 65140101889335417294796352348305527\ 7456179/3075806843467071980503440634267482194417*c_0101_6^17 + 3113508541049595514601670858917294457124896/15379034217335359902517\ 203171337410972085*c_0101_6^16 + 8163619684241493807523721283250040\ 006462346/15379034217335359902517203171337410972085*c_0101_6^15 - 1102572963072669292644463094749728525630313/30758068434670719805034\ 40634267482194417*c_0101_6^14 - 57588693997358694932406145639480088\ 61231272/15379034217335359902517203171337410972085*c_0101_6^13 + 279797706732808240915346828197124465995951/153790342173353599025172\ 03171337410972085*c_0101_6^12 - 30894273289221061099453740833086672\ 613003/127099456341614544648902505548243065885*c_0101_6^11 + 5615510265102785251166387412062125802960101/15379034217335359902517\ 203171337410972085*c_0101_6^10 - 5200081733944525150779228661974628\ 34349963/15379034217335359902517203171337410972085*c_0101_6^9 - 3260949186796709632835982320035716278373947/15379034217335359902517\ 203171337410972085*c_0101_6^8 + 27670288887897745465978904081911695\ 71337392/15379034217335359902517203171337410972085*c_0101_6^7 - 1593916072531609574952912368878589174100594/15379034217335359902517\ 203171337410972085*c_0101_6^6 - 53314978519121582949313433770520288\ 3682407/15379034217335359902517203171337410972085*c_0101_6^5 + 37667909781511588078455306027608712404884/6686536616232765175007479\ 63971191781395*c_0101_6^4 + 649450092982900510484519348045968105239\ 36/3075806843467071980503440634267482194417*c_0101_6^3 - 16063595106911592245621556957771827051351/3075806843467071980503440\ 634267482194417*c_0101_6^2 - 39686567588619970435067876121621966530\ 28/1398094019757759991137927561030673724735*c_0101_6 + 683867247014171828145065548247661486287/153790342173353599025172031\ 71337410972085, c_0101_2 - 2005339955643695758747247254968591887301/1537903421733535990\ 2517203171337410972085*c_0101_6^23 - 24670876016378873456464175615052716840697/1537903421733535990251720\ 3171337410972085*c_0101_6^22 + 128702918818584625815603783518923829\ 54132/3075806843467071980503440634267482194417*c_0101_6^21 - 62409782170576348247735564980491301899179/3075806843467071980503440\ 634267482194417*c_0101_6^20 + 7567531587017942642990568381256982603\ 6395/3075806843467071980503440634267482194417*c_0101_6^19 + 201911587003018759164542652665383021348598/153790342173353599025172\ 03171337410972085*c_0101_6^18 - 35088884306103059466118112293232764\ 6307664/3075806843467071980503440634267482194417*c_0101_6^17 + 2993309966720580347577385534223465981096698/15379034217335359902517\ 203171337410972085*c_0101_6^16 + 1637991009438113375263562977631625\ 831774723/15379034217335359902517203171337410972085*c_0101_6^15 - 995761060094891548652862655184992863187594/307580684346707198050344\ 0634267482194417*c_0101_6^14 + 101366981831876080673223539635718613\ 40989/15379034217335359902517203171337410972085*c_0101_6^13 + 1115745769827198357635315089490181515383543/15379034217335359902517\ 203171337410972085*c_0101_6^12 - 1034811720289756246889405341873646\ 07685939/1398094019757759991137927561030673724735*c_0101_6^11 + 4126149097504548890031431521233213128172498/15379034217335359902517\ 203171337410972085*c_0101_6^10 - 3339895470559187662569093454324697\ 459943724/15379034217335359902517203171337410972085*c_0101_6^9 + 624312995585379521461342118177461883331889/153790342173353599025172\ 03171337410972085*c_0101_6^8 + 676353483934446165356979446521596415\ 399501/15379034217335359902517203171337410972085*c_0101_6^7 - 753055302695284196333271780534047384953827/153790342173353599025172\ 03171337410972085*c_0101_6^6 + 360970898873454807171934017176927328\ 14034/15379034217335359902517203171337410972085*c_0101_6^5 + 23093301263272865913697987181158808083422/6686536616232765175007479\ 63971191781395*c_0101_6^4 - 174689705385063930872409767705160069236\ 70/3075806843467071980503440634267482194417*c_0101_6^3 - 27785051811243456653296640937407865146084/3075806843467071980503440\ 634267482194417*c_0101_6^2 - 18415503699764376914685184433649748600\ 04/1398094019757759991137927561030673724735*c_0101_6 + 11156878597185612600004038631305953487521/1537903421733535990251720\ 3171337410972085, c_0101_3 + 4737379227938096158442402361083708792077/1537903421733535990\ 2517203171337410972085*c_0101_6^23 + 61346135594860631088027189177680631943949/1537903421733535990251720\ 3171337410972085*c_0101_6^22 - 225041040095280562342346459371757538\ 89823/3075806843467071980503440634267482194417*c_0101_6^21 + 132630411698688110281995774580614123594207/307580684346707198050344\ 0634267482194417*c_0101_6^20 - 895532086895574681027902296924148715\ 18957/3075806843467071980503440634267482194417*c_0101_6^19 - 819494037347080716821372719290268984882306/153790342173353599025172\ 03171337410972085*c_0101_6^18 + 75777873518706109023963558795681238\ 6273884/3075806843467071980503440634267482194417*c_0101_6^17 - 4747359885975025261535489192765782373657781/15379034217335359902517\ 203171337410972085*c_0101_6^16 - 7156894933556121216898086758218524\ 512040796/15379034217335359902517203171337410972085*c_0101_6^15 + 1622030010960859013558207214249799303690717/30758068434670719805034\ 40634267482194417*c_0101_6^14 + 41543788256332827133619826901757675\ 27061192/15379034217335359902517203171337410972085*c_0101_6^13 - 1097105588879666530929568173639373361023401/15379034217335359902517\ 203171337410972085*c_0101_6^12 + 3126924337035599602061263578447257\ 43893118/1398094019757759991137927561030673724735*c_0101_6^11 - 7504288146856415057262239748161721904928181/15379034217335359902517\ 203171337410972085*c_0101_6^10 + 3308539571323121898711936301576921\ 438979088/15379034217335359902517203171337410972085*c_0101_6^9 + 1739145009637047547224873279162886465145447/15379034217335359902517\ 203171337410972085*c_0101_6^8 - 24861508270811029430273106312348407\ 41686442/15379034217335359902517203171337410972085*c_0101_6^7 + 1652922120315654919297308816498533521941759/15379034217335359902517\ 203171337410972085*c_0101_6^6 + 30488510184880677316920633887375564\ 2616882/15379034217335359902517203171337410972085*c_0101_6^5 - 44471828428871260371235730383160780442599/6686536616232765175007479\ 63971191781395*c_0101_6^4 - 316416211701638775713181425063301397571\ 67/3075806843467071980503440634267482194417*c_0101_6^3 + 33143400440339126350721064608340423969098/3075806843467071980503440\ 634267482194417*c_0101_6^2 + 40972936169701911063140026471291683183\ 88/1398094019757759991137927561030673724735*c_0101_6 - 9427062063850330264986793587743209605772/15379034217335359902517203\ 171337410972085, c_0101_6^24 + 13*c_0101_6^23 - 23*c_0101_6^22 + 140*c_0101_6^21 - 90*c_0101_6^20 - 163*c_0101_6^19 + 777*c_0101_6^18 - 968*c_0101_6^17 - 1486*c_0101_6^16 + 1512*c_0101_6^15 + 886*c_0101_6^14 - 42*c_0101_6^13 + 691*c_0101_6^12 - 1514*c_0101_6^11 + 711*c_0101_6^10 + 240*c_0101_6^9 - 350*c_0101_6^8 + 256*c_0101_6^7 + 83*c_0101_6^6 - 175*c_0101_6^5 - 61*c_0101_6^4 + 30*c_0101_6^3 + 14*c_0101_6^2 - 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB