Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 1014866147] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1474 geometric_solution 5.28976874 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614103507069 0.206560213328 2 0 2 0 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923014677599 0.285495566146 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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.300155836971 0.385924954659 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 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 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.500806425544 0.470085684481 5 6 2 3 3201 0132 0132 3120 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 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.500806425544 0.470085684481 5 5 3 4 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469708600894 0.804458343626 6 4 6 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 1 0 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.439819746993 1.442883088296 ==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' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_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_4, c_0011_5, c_0101_0, c_0101_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 6908220892383655480900806939353208376144549999105157/28770847329589\ 265407768278237073584951461574668680275*c_1001_3^16 + 29580140841238966730519019723651075373682302280760944/2877084732958\ 9265407768278237073584951461574668680275*c_1001_3^15 + 16905500739235389676213403987804416715743603553964089/5754169465917\ 853081553655647414716990292314933736055*c_1001_3^14 + 7878108456527642068450536194133625298880961994844032/16440484188336\ 7230901533018497563342579780426678173*c_1001_3^13 + 488436992692878821539829942912367531095181240280008374/115083389318\ 3570616310731129482943398058462986747211*c_1001_3^12 + 43638931958369502612448095577376172226934370055274901634/2877084732\ 9589265407768278237073584951461574668680275*c_1001_3^11 + 64549976916250194504130402572131439065889210063542074571/2877084732\ 9589265407768278237073584951461574668680275*c_1001_3^10 + 5418107272726221663099533680008172192621736696430056077/57541694659\ 17853081553655647414716990292314933736055*c_1001_3^9 - 21903914252434572269761511701132112434453793242799569729/2877084732\ 9589265407768278237073584951461574668680275*c_1001_3^8 - 80216996216241870439246573387268582042566082658023329168/2877084732\ 9589265407768278237073584951461574668680275*c_1001_3^7 - 358632954769077197232973794930255274586016189827139824348/287708473\ 29589265407768278237073584951461574668680275*c_1001_3^6 + 13998946780848956452761803115177349953876669440776499281/1370040349\ 028060257512775154146361188164836888984775*c_1001_3^5 - 745950550659316925393024216057849448946880044170672701708/287708473\ 29589265407768278237073584951461574668680275*c_1001_3^4 + 224322099881122467858017808166968807304603675398965478893/287708473\ 29589265407768278237073584951461574668680275*c_1001_3^3 + 110290716011414176589789432568878933432017673281942531897/411012104\ 7084180772538325462439083564494510666954325*c_1001_3^2 - 191933193279661185630974282722506030483086553088832448934/287708473\ 29589265407768278237073584951461574668680275*c_1001_3 - 1271056609389798833219257832586992294769984846842966197/13700403490\ 28060257512775154146361188164836888984775, c_0011_0 - 1, c_0011_1 - 24533916299573052516661913687533528338049851969/652400166203\ 83821786322626387921961341182708999275*c_1001_3^16 - 107617301700544575779149563510359883558220973002/652400166203838217\ 86322626387921961341182708999275*c_1001_3^15 - 311542986711642209797932800133699404653992552417/652400166203838217\ 86322626387921961341182708999275*c_1001_3^14 - 4930119393191567707094033510976631696989122477767/65240016620383821\ 786322626387921961341182708999275*c_1001_3^13 - 43887377929405460719893664372583861310397542019827/6524001662038382\ 1786322626387921961341182708999275*c_1001_3^12 - 31920759124429069126743699707547500547164281185186/1304800332407676\ 4357264525277584392268236541799855*c_1001_3^11 - 246299784070466589281180296528847408700371129973317/652400166203838\ 21786322626387921961341182708999275*c_1001_3^10 - 124330537456369633955216577503918947180191379312477/652400166203838\ 21786322626387921961341182708999275*c_1001_3^9 + 56793618014404436863904296918308793012034084423561/6524001662038382\ 1786322626387921961341182708999275*c_1001_3^8 + 276030828816148234148216956800251374832626894195507/652400166203838\ 21786322626387921961341182708999275*c_1001_3^7 + 1284870860063549260313212392131845569277259993017018/65240016620383\ 821786322626387921961341182708999275*c_1001_3^6 - 928747052998689121570339659188102768684402399226089/652400166203838\ 21786322626387921961341182708999275*c_1001_3^5 + 2540718623070502689756253547265714044387248580874252/65240016620383\ 821786322626387921961341182708999275*c_1001_3^4 - 506631220529622665108875166437559540035464799932049/652400166203838\ 21786322626387921961341182708999275*c_1001_3^3 - 2813568101892130160654416025781642642236077189717572/65240016620383\ 821786322626387921961341182708999275*c_1001_3^2 + 490627446985566999984592187708313336159486441152141/652400166203838\ 21786322626387921961341182708999275*c_1001_3 + 36752683287126346932838419943155421610060478000031/1304800332407676\ 4357264525277584392268236541799855, c_0011_4 + 116240040418648770591181382627032668097311359272/65240016620\ 383821786322626387921961341182708999275*c_1001_3^16 + 506452076855206623245098029170156304934267470161/652400166203838217\ 86322626387921961341182708999275*c_1001_3^15 + 1459077282866672600267183481419783467460278839941/65240016620383821\ 786322626387921961341182708999275*c_1001_3^14 + 23303148054105659135010797903807802687619588529806/6524001662038382\ 1786322626387921961341182708999275*c_1001_3^13 + 207203994712693538351779536244028503031465772204071/652400166203838\ 21786322626387921961341182708999275*c_1001_3^12 + 29984300293526737515243968483589890879078228812432/2609600664815352\ 871452905055516878453647308359971*c_1001_3^11 + 1140434077025264330189319130563406513355438979641861/65240016620383\ 821786322626387921961341182708999275*c_1001_3^10 + 535427619695242433928850240330595677800687524867866/652400166203838\ 21786322626387921961341182708999275*c_1001_3^9 - 332952098005139406173775909886323436431503814126253/652400166203838\ 21786322626387921961341182708999275*c_1001_3^8 - 1366350442434765811656696603054603326712550881120596/65240016620383\ 821786322626387921961341182708999275*c_1001_3^7 - 6120075542501388911813395973932275928542466708060709/65240016620383\ 821786322626387921961341182708999275*c_1001_3^6 + 4507341212536807622027490890892996392867147272944687/65240016620383\ 821786322626387921961341182708999275*c_1001_3^5 - 12156091017101957948291577075722124612533030509840546/6524001662038\ 3821786322626387921961341182708999275*c_1001_3^4 + 2759804391691570152040434083040209216975378636957727/65240016620383\ 821786322626387921961341182708999275*c_1001_3^3 + 13331827388121723743108975865295613027520803417087356/6524001662038\ 3821786322626387921961341182708999275*c_1001_3^2 - 2357651482903947225045114051158155178461542313380998/65240016620383\ 821786322626387921961341182708999275*c_1001_3 - 150884814831275866328908730541047106853434013411523/130480033240767\ 64357264525277584392268236541799855, c_0011_5 - 709544053448671272924685437637838232875843613611/27400806980\ 5612051502555030829272237632967377796955*c_1001_3^16 - 3090199284957810611231610408684048727760621857997/27400806980561205\ 1502555030829272237632967377796955*c_1001_3^15 - 8902540573806116392536048144218757018209011387711/27400806980561205\ 1502555030829272237632967377796955*c_1001_3^14 - 20319465436163179037971251999520235584966392790466/3914400997223029\ 3071793575832753176804709625399565*c_1001_3^13 - 1264566901367067110789772445957435364659125644964131/27400806980561\ 2051502555030829272237632967377796955*c_1001_3^12 - 4573785727912229883270011563951629140193879245887459/27400806980561\ 2051502555030829272237632967377796955*c_1001_3^11 - 6956057002649620002389694135192493432834945894815314/27400806980561\ 2051502555030829272237632967377796955*c_1001_3^10 - 3265537303896005777929519252167991965136041308174444/27400806980561\ 2051502555030829272237632967377796955*c_1001_3^9 + 2025882672749287120903170110140605184065901155864703/27400806980561\ 2051502555030829272237632967377796955*c_1001_3^8 + 1666896303129552522777497512459517385514532915158010/54801613961122\ 410300511006165854447526593475559391*c_1001_3^7 + 37340523811119495534955447808018653517628617583955877/2740080698056\ 12051502555030829272237632967377796955*c_1001_3^6 - 1314170822143743637867053413476103450649138449355408/13048003324076\ 764357264525277584392268236541799855*c_1001_3^5 + 74280267625718969311668748739276704266899733267401606/2740080698056\ 12051502555030829272237632967377796955*c_1001_3^4 - 17114306323972759281506189674615314857928465011080442/2740080698056\ 12051502555030829272237632967377796955*c_1001_3^3 - 11611420375035239303652778413414913839568591650117793/3914400997223\ 0293071793575832753176804709625399565*c_1001_3^2 + 2930312680243954318383867403563340954388113854926648/54801613961122\ 410300511006165854447526593475559391*c_1001_3 + 42338705272125326605735816194267437582871215907547/2609600664815352\ 871452905055516878453647308359971, c_0101_0 - 3399016725275120424494902099277424616596322590112/1370040349\ 028060257512775154146361188164836888984775*c_1001_3^16 - 14754647383181891726045882698543944009382484178616/1370040349028060\ 257512775154146361188164836888984775*c_1001_3^15 - 42434532412652132492859692015909143594361538900431/1370040349028060\ 257512775154146361188164836888984775*c_1001_3^14 - 97247393731561972431866471414526824943424627979623/1957200498611514\ 65358967879163765884023548126997825*c_1001_3^13 - 6047910940810211494084209852403165776255589526154961/13700403490280\ 60257512775154146361188164836888984775*c_1001_3^12 - 4364610429424345956322940321286584185664096429168422/27400806980561\ 2051502555030829272237632967377796955*c_1001_3^11 - 33002032264452936562923777657622673040041132575342021/1370040349028\ 060257512775154146361188164836888984775*c_1001_3^10 - 15111653495193721578465430715939765460132690450802576/1370040349028\ 060257512775154146361188164836888984775*c_1001_3^9 + 10140329084910496856039290074773837512527568592697023/1370040349028\ 060257512775154146361188164836888984775*c_1001_3^8 + 40225053296079701481524433084556992446716224924002621/1370040349028\ 060257512775154146361188164836888984775*c_1001_3^7 + 178906294579795766439068763186681499272069925727817064/137004034902\ 8060257512775154146361188164836888984775*c_1001_3^6 - 6387366452076078900376302454533761606519038921782392/65240016620383\ 821786322626387921961341182708999275*c_1001_3^5 + 358004727684166948528604233595992101718451677141041361/137004034902\ 8060257512775154146361188164836888984775*c_1001_3^4 - 88125294537578663231637831426113616710577583800865807/1370040349028\ 060257512775154146361188164836888984775*c_1001_3^3 - 55370386035853730330803402266711481942872476510113028/1957200498611\ 51465358967879163765884023548126997825*c_1001_3^2 + 71859524091295814242871723207377321542473275573799648/1370040349028\ 060257512775154146361188164836888984775*c_1001_3 + 197408354798301169638274422829584960468205147338568/130480033240767\ 64357264525277584392268236541799855, c_0101_1 + 44298077624167731661484246588355796410199604868/652400166203\ 83821786322626387921961341182708999275*c_1001_3^16 + 193451147927430998326908532510465586284612848274/652400166203838217\ 86322626387921961341182708999275*c_1001_3^15 + 558281753326244608962576092670666939746953324609/652400166203838217\ 86322626387921961341182708999275*c_1001_3^14 + 8887844947745013612240198203732268515399592929404/65240016620383821\ 786322626387921961341182708999275*c_1001_3^13 + 79058263789425410544922567152962671778280996440679/6524001662038382\ 1786322626387921961341182708999275*c_1001_3^12 + 57305613602729693078939712788878396803712967945113/1304800332407676\ 4357264525277584392268236541799855*c_1001_3^11 + 438080725927090397654695318184668654523894142457019/652400166203838\ 21786322626387921961341182708999275*c_1001_3^10 + 210907581594431866141179908674281979655614926996539/652400166203838\ 21786322626387921961341182708999275*c_1001_3^9 - 119878380086555494492638836696210928512015163390497/652400166203838\ 21786322626387921961341182708999275*c_1001_3^8 - 517306855171538662945192584765245990668888219611144/652400166203838\ 21786322626387921961341182708999275*c_1001_3^7 - 2334577194634281471013615560928718031266466596770196/65240016620383\ 821786322626387921961341182708999275*c_1001_3^6 + 1698794255325416533124691839153343605825296308924473/65240016620383\ 821786322626387921961341182708999275*c_1001_3^5 - 4620487456013930638123906796850832893695723461726954/65240016620383\ 821786322626387921961341182708999275*c_1001_3^4 + 1009345466715179844093778984277693494745843761884448/65240016620383\ 821786322626387921961341182708999275*c_1001_3^3 + 5072294778954383853469853367787112960311844509656219/65240016620383\ 821786322626387921961341182708999275*c_1001_3^2 - 893468479289433626415062555957410508053471450489972/652400166203838\ 21786322626387921961341182708999275*c_1001_3 - 51367716488901698387891837307138236273644410262147/1304800332407676\ 4357264525277584392268236541799855, c_1001_3^17 + 4*c_1001_3^16 + 11*c_1001_3^15 + 196*c_1001_3^14 + 1711*c_1001_3^13 + 5813*c_1001_3^12 + 7513*c_1001_3^11 + 1111*c_1001_3^10 - 4526*c_1001_3^9 - 10802*c_1001_3^8 - 48535*c_1001_3^7 + 57519*c_1001_3^6 - 118507*c_1001_3^5 + 61528*c_1001_3^4 + 105854*c_1001_3^3 - 60566*c_1001_3^2 + 861*c_1001_3 + 2205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB