Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 1966401981] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1582 geometric_solution 5.35891385 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.648720530241 0.188674965069 0 2 2 0 3201 0132 1023 0132 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 1 0 -1 0 0 0 0 1 -1 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.404028905687 0.559078025457 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 2 0 -2 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218097098386 0.485165520263 2 5 5 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 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 0.259873667978 0.635353451177 5 6 2 5 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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 -1 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259873667978 0.635353451177 4 3 3 4 3201 0132 1023 2310 0 0 0 0 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 0 0 0 0 0 0 0 0 -1 0 -1 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 1.448495175587 1.348349358589 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 1 -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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484087813122 0.906786400742 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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_4']), 'c_1100_5' : d['c_0011_4'], '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_5'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], '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_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 827012803017609575936808492794692309195887257760436656658945/416267\ 472686866914327857766456122389343713933968514713479282688*c_0101_5^\ 33 + 1087920419081449449423402733494502390614683149870368678687581/\ 208133736343433457163928883228061194671856966984257356739641344*c_0\ 101_5^31 - 56182329897815430081724013550760213911091835229799712684\ 0803657/41626747268686691432785776645612238934371393396851471347928\ 2688*c_0101_5^29 - 203306822350005128408127252362194209469601306844\ 725632200633425/946062437924697532563313105582096339417531668110260\ 7124529152*c_0101_5^27 - 537821125763046337048939900222355307640056\ 3740551124994312663711/13875582422895563810928592215204079644790464\ 4656171571159760896*c_0101_5^25 + 617042267931861325009294553552764\ 48724093929335790405444465677611/4162674726868669143278577664561223\ 89343713933968514713479282688*c_0101_5^23 + 83509499224954023190458602742902247986005662288975086374288271741/4\ 16267472686866914327857766456122389343713933968514713479282688*c_01\ 01_5^21 + 104792425736267209490256318874120773451862175809041342366\ 075687133/173444780286194547636607402690050995559880805820214463949\ 70112*c_0101_5^19 + 16771799526801358945712840980582397650539099616\ 31688226198021770137/2601671704292918214549111040350764933398212087\ 3032169592455168*c_0101_5^17 + 250642607053929531741626091799552084\ 75580826062311571381225342523/5420149383943579613643981334064093611\ 24627518188170199842816*c_0101_5^15 + 13651800815371403138669543811132758709031800877253872285357585811/1\ 35503734598589490341099533351602340281156879547042549960704*c_0101_\ 5^13 + 386207648995728636596210974428823481888596159821930792489069\ 74807/406511203795768471023298600054807020843470638641127649882112*\ c_0101_5^11 - 17145898989226332969853223930295903353144208424774826\ 56786545649/1270347511861776471947808125171271940135845745753523905\ 8816*c_0101_5^9 - 9095752198603327263510735415388587243354184655068\ 87813702825169/8468983412411843146318720834475146267572304971690159\ 372544*c_0101_5^7 + 10243042011010452079549126564243929743577972879\ 2435142408444539/21172458531029607865796802086187865668930762429225\ 39843136*c_0101_5^5 - 283552593160212384030654547823164218701337576\ 9495222809476149/52931146327574019664492005215469664172326906073063\ 4960784*c_0101_5^3 + 5246076419869702546213190460677645035360990034\ 838523880022623/396983597456805147483690039116022481292451795547976\ 220588*c_0101_5, c_0011_0 - 1, c_0011_1 - 23002836728967854717528567452583242790753583437934934189/157\ 6770729874495887605521842636827232362552780183767854088192*c_0101_5\ ^32 - 30296530613156089753495294784077904884733547776066864407/7883\ 85364937247943802760921318413616181276390091883927044096*c_0101_5^3\ 0 + 15626520404370328389805393825746147020481960877806665557365/157\ 6770729874495887605521842636827232362552780183767854088192*c_0101_5\ ^28 + 31107890205477517663690533327177979556363427984987701652033/1\ 97096341234311985950690230329603404045319097522970981761024*c_0101_\ 5^26 + 449599403500456772004171034158353263803043170545464996208049\ /1576770729874495887605521842636827232362552780183767854088192*c_01\ 01_5^24 - 171430319754091518357198288159740002635101031324876898114\ 2563/1576770729874495887605521842636827232362552780183767854088192*\ c_0101_5^22 - 23267211917208898806635854577369486507518670928046772\ 95716517/1576770729874495887605521842636827232362552780183767854088\ 192*c_0101_5^20 - 1749075408332929477221890923659319289479375882523\ 9486357446271/39419268246862397190138046065920680809063819504594196\ 3522048*c_0101_5^18 - 933283270329157415551358313476604893043061818\ 98132306992777651/1970963412343119859506902303296034040453190975229\ 70981761024*c_0101_5^16 - 10506562460880531002883226432340759555312\ 88066471711367054063/3079630331786124780479534848900053188208110898\ 796421590016*c_0101_5^14 - 9139400808014143993347248303670691387323\ 143218402589509869115/123185213271444991219181393956002127528324435\ 95185686360064*c_0101_5^12 - 21615478180645484049070800866214021881\ 64736854869552524577147/3079630331786124780479534848900053188208110\ 898796421590016*c_0101_5^10 + 7591255776962880349307680330092829869\ 39876526093956080142779/7699075829465311951198837122250132970520277\ 24699105397504*c_0101_5^8 + 473880201628766236500017845281617107165\ 0846972426393211369/60149029917697749618740915017579163832189665992\ 11760918*c_0101_5^6 - 851079045578120288101211503935842069780119488\ 7379574739373/24059611967079099847496366007031665532875866396847043\ 672*c_0101_5^4 + 12274773306585574563750508108642441566735838127222\ 1592719/3007451495884887480937045750878958191609483299605880459*c_0\ 101_5^2 - 288808944183797685375321207677304873009981864026630930293\ /3007451495884887480937045750878958191609483299605880459, c_0011_4 + 20068855031127306371263326231411663693949830203478934869/157\ 6770729874495887605521842636827232362552780183767854088192*c_0101_5\ ^32 + 6599946099566488904669860359087486214021646941223090541/19709\ 6341234311985950690230329603404045319097522970981761024*c_0101_5^30 - 13633547063368292413342443108921117152944243428861739321409/15767\ 70729874495887605521842636827232362552780183767854088192*c_0101_5^2\ 8 - 108538444953936324580199166320187756647204124490733157846281/78\ 8385364937247943802760921318413616181276390091883927044096*c_0101_5\ ^26 - 391552763569097115973811621097037309688632610715914775162249/\ 1576770729874495887605521842636827232362552780183767854088192*c_010\ 1_5^24 + 1496922890956011696931124586641168325099868814682293599767\ 961/1576770729874495887605521842636827232362552780183767854088192*c\ _0101_5^22 + 202558005448123796509048823540838541637104799905860484\ 4363651/15767707298744958876055218426368272323625527801837678540881\ 92*c_0101_5^20 + 30517016812598242378233914658702247169147835744157\ 014063735283/788385364937247943802760921318413616181276390091883927\ 044096*c_0101_5^18 + 2034984985477193871078511881254474750344803186\ 2347931326145633/49274085308577996487672557582400851011329774380742\ 745440256*c_0101_5^16 + 7300254068617754729108563588937908476560843\ 570323365565020805/246370426542889982438362787912004255056648871903\ 71372720128*c_0101_5^14 + 79612524639706811529439227786100170477320\ 74741215062628671699/1231852132714449912191813939560021275283244359\ 5185686360064*c_0101_5^12 + 469117131509076740715830787514458778095\ 525050362719165428573/769907582946531195119883712225013297052027724\ 699105397504*c_0101_5^10 - 3323091584182046973908605967581211841440\ 81001527991526460035/3849537914732655975599418561125066485260138623\ 49552698752*c_0101_5^8 - 330350415741160768608747286127942406279897\ 27621287440719689/4811922393415819969499273201406333106575173279369\ 4087344*c_0101_5^6 + 1855747467496468443692229377997704322203149245\ 895315902133/601490299176977496187409150175791638321896659921176091\ 8*c_0101_5^4 - 4285987809381061236336508900285362860888627277452968\ 69573/12029805983539549923748183003515832766437933198423521836*c_01\ 01_5^2 + 254358078831183246778083019665460320905114771331611951780/\ 3007451495884887480937045750878958191609483299605880459, c_0101_0 + 16901148937524149147766922521564190506634452805522254655/157\ 6770729874495887605521842636827232362552780183767854088192*c_0101_5\ ^33 + 22269241384796505017182042585750707804505849727381006247/7883\ 85364937247943802760921318413616181276390091883927044096*c_0101_5^3\ 1 - 11481286950775344028323300169430864994593906394479466379235/157\ 6770729874495887605521842636827232362552780183767854088192*c_0101_5\ ^29 - 45715550665304292008415218501807550697742231366181940288741/3\ 94192682468623971901380460659206808090638195045941963522048*c_0101_\ 5^27 - 330621507167738030607260931022624073313053663137906178959591\ /1576770729874495887605521842636827232362552780183767854088192*c_01\ 01_5^25 + 125784950121494746843115664458562274282522863714728563027\ 3949/1576770729874495887605521842636827232362552780183767854088192*\ c_0101_5^23 + 17082438396350457959490683697567672367636039318213916\ 82307559/1576770729874495887605521842636827232362552780183767854088\ 192*c_0101_5^21 + 1285384217785923757296641810109515175501265838369\ 8379211447087/39419268246862397190138046065920680809063819504594196\ 3522048*c_0101_5^19 + 137161730244890186759664677845634858988288530\ 983288578440953121/394192682468623971901380460659206808090638195045\ 941963522048*c_0101_5^17 + 6190917892381868138746847855036651555879\ 016676427289363536361/246370426542889982438362787912004255056648871\ 90371372720128*c_0101_5^15 + 13501159812612806037231537797415666835\ 700529626372858781814863/246370426542889982438362787912004255056648\ 87190371372720128*c_0101_5^13 + 39924221226134077978087052552586079\ 3643112709618698327091089/76990758294653119511988371222501329705202\ 7724699105397504*c_0101_5^11 - 110746151254984523827890007694679754\ 8841177049651807391102463/15398151658930623902397674244500265941040\ 55449398210795008*c_0101_5^9 - 553261862111159266023424993659237762\ 09266026962235210609949/9623844786831639938998546402812666213150346\ 5587388174688*c_0101_5^7 + 2456876435404011712343856410939088299240\ 6575260675987291067/96238447868316399389985464028126662131503465587\ 388174688*c_0101_5^5 - 40785999163125311480577126700796125463734195\ 5202268980885/12029805983539549923748183003515832766437933198423521\ 836*c_0101_5^3 + 42954362531976135052152599557139470184429302234879\ 3207715/6014902991769774961874091501757916383218966599211760918*c_0\ 101_5, c_0101_2 - 14096894870081602587197812931020636066990264277622343209/315\ 3541459748991775211043685273654464725105560367535708176384*c_0101_5\ ^33 - 18477712236853692095370591360763534124848049945748538369/1576\ 770729874495887605521842636827232362552780183767854088192*c_0101_5^\ 31 + 9577114456711271237860993527134947766352466886385317810433/315\ 3541459748991775211043685273654464725105560367535708176384*c_0101_5\ ^29 + 38097806689095498716124895848756101572577331407100899042545/7\ 88385364937247943802760921318413616181276390091883927044096*c_0101_\ 5^27 + 273468167003297775882458083588373149370343113494562331042565\ /3153541459748991775211043685273654464725105560367535708176384*c_01\ 01_5^25 - 105629985746657033794654427755459575862178647840153766001\ 9339/3153541459748991775211043685273654464725105560367535708176384*\ c_0101_5^23 - 14178277390776833097292596814181489089287795954197946\ 52427117/3153541459748991775211043685273654464725105560367535708176\ 384*c_0101_5^21 - 2677884251724381851194271632053036397508585524900\ 441385237709/197096341234311985950690230329603404045319097522970981\ 761024*c_0101_5^19 - 2856186661017493141046252844306296474737751650\ 6630218046985573/19709634123431198595069023032960340404531909752297\ 0981761024*c_0101_5^17 - 252547416791604452680443407386704813696050\ 4585625202307718763/24637042654288998243836278791200425505664887190\ 371372720128*c_0101_5^15 - 2154267848577851629998116227403581368815\ 6382309551828886641/96238447868316399389985464028126662131503465587\ 388174688*c_0101_5^13 - 6450242578971711910841525346512694729106139\ 15827712811733835/3079630331786124780479534848900053188208110898796\ 421590016*c_0101_5^11 + 4774453688043473306841509613276683151347576\ 32125781821448313/1539815165893062390239767424450026594104055449398\ 210795008*c_0101_5^9 + 58617503577896174994358418731950237384386592\ 67316748805985/2405961196707909984749636600703166553287586639684704\ 3672*c_0101_5^7 - 1342707413170450447348649568027692682200233585820\ 796544829/12029805983539549923748183003515832766437933198423521836*\ c_0101_5^5 + 628566910889963372915217400595337485938414257988145416\ 81/6014902991769774961874091501757916383218966599211760918*c_0101_5\ ^3 - 90953320262152365165778114187186076717448906305033118778/30074\ 51495884887480937045750878958191609483299605880459*c_0101_5, c_0101_3 + 10456613199657553075414974692827000089858380799963546851/315\ 3541459748991775211043685273654464725105560367535708176384*c_0101_5\ ^32 + 13690656915783497898206903804359291445605171796487721253/1576\ 770729874495887605521842636827232362552780183767854088192*c_0101_5^\ 30 - 7103973687317780053139117540988690138190964896467627155443/315\ 3541459748991775211043685273654464725105560367535708176384*c_0101_5\ ^28 - 3531795942535528546531872626165642666301565268131309918105/98\ 548170617155992975345115164801702022659548761485490880512*c_0101_5^\ 26 - 202579806689156501838142592932504051025914897841720711958327/3\ 153541459748991775211043685273654464725105560367535708176384*c_0101\ _5^24 + 78307888200474634253252774948546526429803356317730457773707\ 7/3153541459748991775211043685273654464725105560367535708176384*c_0\ 101_5^22 + 10472881280543458061637027997128488602165348172644423960\ 00283/3153541459748991775211043685273654464725105560367535708176384\ *c_0101_5^20 + 7946222200429646910072507085360140189975815150491766\ 258261209/788385364937247943802760921318413616181276390091883927044\ 096*c_0101_5^18 + 1323811502321619476652170821876489304128374179114\ 124151640065/123185213271444991219181393956002127528324435951856863\ 60064*c_0101_5^16 + 37356177618994330386355269362740863070276462400\ 08146336658233/4927408530857799648767255758240085101132977438074274\ 5440256*c_0101_5^14 + 513751626674621560833479827075279600841230987\ 547010709475379/307963033178612478047953484890005318820811089879642\ 1590016*c_0101_5^12 + 479805276029600529755695521468085999324858283\ 556028461054463/307963033178612478047953484890005318820811089879642\ 1590016*c_0101_5^10 - 219521549462090224290481936711759636601825092\ 42137660646645/9623844786831639938998546402812666213150346558738817\ 4688*c_0101_5^8 - 3431572772998778584032777868191379577170794337388\ 4342025415/19247689573663279877997092805625332426300693117477634937\ 6*c_0101_5^6 + 4955761707880672296139613050562184219733697371333449\ 00705/6014902991769774961874091501757916383218966599211760918*c_010\ 1_5^4 - 28366173118685347730643419810548423197624229608713196628/30\ 07451495884887480937045750878958191609483299605880459*c_0101_5^2 + 65854012965788207585021382448432425652334291165852443654/3007451495\ 884887480937045750878958191609483299605880459, c_0101_5^34 + 2*c_0101_5^32 - 681*c_0101_5^30 - 10388*c_0101_5^28 - 12685*c_0101_5^26 + 86915*c_0101_5^24 + 53893*c_0101_5^22 + 2977424*c_0101_5^20 + 30529184*c_0101_5^18 + 2803904*c_0101_5^16 + 36041472*c_0101_5^14 + 15825920*c_0101_5^12 - 98095104*c_0101_5^10 - 11190272*c_0101_5^8 + 58392576*c_0101_5^6 - 18087936*c_0101_5^4 + 8388608*c_0101_5^2 - 4194304 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB