Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 2429619292] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0367 geometric_solution 4.41906708 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.298994205287 0.174590184571 0 2 2 0 0132 0132 3201 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 -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 -1.030824547064 0.711770096814 1 1 3 3 2310 0132 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 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.117219365167 0.250307798936 4 2 5 2 0132 2310 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.660735647684 1.645547714498 3 5 5 6 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 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.180388726611 0.793338995139 6 4 4 3 1023 3201 2310 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 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.180388726611 0.793338995139 6 5 4 6 3201 1023 0132 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 -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.272520635096 1.198529702290 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_5' : 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' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), '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_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_2'], '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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], '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_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 151892941589844478126451408183014225752137/290964470420063878580282\ 4039383721897338*c_0101_3^19 + 119484603998576968309108493501292839\ 6695732/1454822352100319392901412019691860948669*c_0101_3^18 - 5756958760055554091139921836864779098176854/14548223521003193929014\ 12019691860948669*c_0101_3^17 + 14102840202676534963232508776718606\ 032638597/2909644704200638785802824039383721897338*c_0101_3^16 - 33610477494702972232762709136255695555712244/1454822352100319392901\ 412019691860948669*c_0101_3^15 + 9510659716349643952221748423762245\ 58679169901/2909644704200638785802824039383721897338*c_0101_3^14 - 3654335189535044836488768312269688213406976015/29096447042006387858\ 02824039383721897338*c_0101_3^13 + 4796419667366181045339399063163259243261366969/29096447042006387858\ 02824039383721897338*c_0101_3^12 - 441169620825719230920764385476975586098301774/145482235210031939290\ 1412019691860948669*c_0101_3^11 + 684281439005130808127282423149695\ 279768665306/1454822352100319392901412019691860948669*c_0101_3^10 - 4270989401369685339358246770479909949006891411/29096447042006387858\ 02824039383721897338*c_0101_3^9 - 166503780749700862661603735815817\ 1396101396794/1454822352100319392901412019691860948669*c_0101_3^8 + 2236698725737768778195712850099865011288319291/29096447042006387858\ 02824039383721897338*c_0101_3^7 - 835997363495224271374609818931506\ 86153822893/1454822352100319392901412019691860948669*c_0101_3^6 - 39190603047949079466080409972294321616701471/1454822352100319392901\ 412019691860948669*c_0101_3^5 + 27428507687399522930374274680776780\ 9805788317/2909644704200638785802824039383721897338*c_0101_3^4 - 45792581875586992006225064269094669367118831/2909644704200638785802\ 824039383721897338*c_0101_3^3 - 16801432716893381580120102410187484\ 784620774/1454822352100319392901412019691860948669*c_0101_3^2 + 1758985543015053898976837948916075088303265/14548223521003193929014\ 12019691860948669*c_0101_3 + 49103120056917315409662637100485857228\ 8655/1454822352100319392901412019691860948669, c_0011_0 - 1, c_0011_3 - 211573926495441671891608487319564/28592875045283857614493307\ 1666791*c_0101_3^19 + 3302524250341837476924947012166727/2859287504\ 52838576144933071666791*c_0101_3^18 - 15634986522819972721724823587303308/2859287504528385761449330716667\ 91*c_0101_3^17 + 17789543472312751350339814658573502/28592875045283\ 8576144933071666791*c_0101_3^16 - 918159840923791529160891134484668\ 16/285928750452838576144933071666791*c_0101_3^15 + 1313974319558821862490608773229241526/28592875045283857614493307166\ 6791*c_0101_3^14 - 4930254642205756538059724063166201067/2859287504\ 52838576144933071666791*c_0101_3^13 + 6102561526289159850338378416799551390/28592875045283857614493307166\ 6791*c_0101_3^12 - 597904210243401166856608267429793015/28592875045\ 2838576144933071666791*c_0101_3^11 + 2018516758550545627890722625405850927/28592875045283857614493307166\ 6791*c_0101_3^10 - 5786696100226773834871246523538870825/2859287504\ 52838576144933071666791*c_0101_3^9 - 5278375040252434543790111600181809451/28592875045283857614493307166\ 6791*c_0101_3^8 + 2303505021772405164239713060643655979/28592875045\ 2838576144933071666791*c_0101_3^7 - 487086016324223241257246972840891/285928750452838576144933071666791\ *c_0101_3^6 - 27154051910085915975445723293724662/28592875045283857\ 6144933071666791*c_0101_3^5 + 353768227221740509350219175031015429/\ 285928750452838576144933071666791*c_0101_3^4 - 8619202199522907606751657061093025/28592875045283857614493307166679\ 1*c_0101_3^3 - 43342930337022535801194207002781856/2859287504528385\ 76144933071666791*c_0101_3^2 - 2604622982952348049188489013141603/2\ 85928750452838576144933071666791*c_0101_3 + 765552654838549447446134219654789/285928750452838576144933071666791\ , c_0011_5 - 13154368120701561156468736346464723385/354834720024468144610\ 10049260777096309*c_0101_3^19 + 20647109497620606590510648418904194\ 3902/35483472002446814461010049260777096309*c_0101_3^18 - 990060313933154492417714538250168246468/354834720024468144610100492\ 60777096309*c_0101_3^17 + 1193116406719168177119121627294463731331/\ 35483472002446814461010049260777096309*c_0101_3^16 - 5818947471970145451478028148193074626016/35483472002446814461010049\ 260777096309*c_0101_3^15 + 8221286566230592523950359814206691029617\ 1/35483472002446814461010049260777096309*c_0101_3^14 - 313700504868312343710032385430878278451898/354834720024468144610100\ 49260777096309*c_0101_3^13 + 40711319550172697538777238388262252868\ 3956/35483472002446814461010049260777096309*c_0101_3^12 - 74792300427979210161821624614280934102420/3548347200244681446101004\ 9260777096309*c_0101_3^11 + 136420770146997047399351394328675258054\ 326/35483472002446814461010049260777096309*c_0101_3^10 - 374737667943289201033433660398234524504272/354834720024468144610100\ 49260777096309*c_0101_3^9 - 294493016079493899187354981823913996294\ 542/35483472002446814461010049260777096309*c_0101_3^8 + 165485033064808582539508600121895002620847/354834720024468144610100\ 49260777096309*c_0101_3^7 - 135310232128950569149546165419024412845\ 26/35483472002446814461010049260777096309*c_0101_3^6 + 2731801561384043561126040628491929681578/35483472002446814461010049\ 260777096309*c_0101_3^5 + 21115674214049948651442932327233060728745\ /35483472002446814461010049260777096309*c_0101_3^4 - 1933491221043104046796278623801470893946/35483472002446814461010049\ 260777096309*c_0101_3^3 - 2380073193551447673023588167709664926220/\ 35483472002446814461010049260777096309*c_0101_3^2 - 109832424357989215250818341534666552492/354834720024468144610100492\ 60777096309*c_0101_3 + 40354769425303075286345216787713052313/35483\ 472002446814461010049260777096309, c_0101_0 + 31002747834176025589887862288995071147/354834720024468144610\ 10049260777096309*c_0101_3^19 - 48554137131881111322260603987023557\ 0219/35483472002446814461010049260777096309*c_0101_3^18 + 2316978206382874593597893240383014300070/35483472002446814461010049\ 260777096309*c_0101_3^17 - 2738146653532732946114060876868704440588\ /35483472002446814461010049260777096309*c_0101_3^16 + 13648136175897885249586821866125810106285/3548347200244681446101004\ 9260777096309*c_0101_3^15 - 193306191957687854341255108228793136187\ 641/35483472002446814461010049260777096309*c_0101_3^14 + 732791130071820000283677576214218393588730/354834720024468144610100\ 49260777096309*c_0101_3^13 - 93668367740673012326820439211723381462\ 4803/35483472002446814461010049260777096309*c_0101_3^12 + 152508930923026622631365735355592159537560/354834720024468144610100\ 49260777096309*c_0101_3^11 - 32297357452514826443573552666663723007\ 4940/35483472002446814461010049260777096309*c_0101_3^10 + 865208860634345168809745934090247624945909/354834720024468144610100\ 49260777096309*c_0101_3^9 + 722075422542693586706753724519982668491\ 442/35483472002446814461010049260777096309*c_0101_3^8 - 357015174675250909650385714751765048508994/354834720024468144610100\ 49260777096309*c_0101_3^7 + 383420678097989222719838886082171848765\ 19/35483472002446814461010049260777096309*c_0101_3^6 - 4210736711615160943976194005928223014092/35483472002446814461010049\ 260777096309*c_0101_3^5 - 50911603583125311445760925022884942934808\ /35483472002446814461010049260777096309*c_0101_3^4 + 4255808890982870286749212621677399912927/35483472002446814461010049\ 260777096309*c_0101_3^3 + 4645197522266624711529907061975936210585/\ 35483472002446814461010049260777096309*c_0101_3^2 + 227715719972910251750539745887344086504/354834720024468144610100492\ 60777096309*c_0101_3 - 23926299238263262635645278627836895027/35483\ 472002446814461010049260777096309, c_0101_1 + 186250589009351304277397817688709/28592875045283857614493307\ 1666791*c_0101_3^19 - 2935788072862360157197802119268002/2859287504\ 52838576144933071666791*c_0101_3^18 + 14217923231590833058952973441772607/2859287504528385761449330716667\ 91*c_0101_3^17 - 17905583828007727027195838900682394/28592875045283\ 8576144933071666791*c_0101_3^16 + 838646529050616540627484568352223\ 71/285928750452838576144933071666791*c_0101_3^15 - 1169793573720270596033803858441554038/28592875045283857614493307166\ 6791*c_0101_3^14 + 4521198984795788473591935493265999946/2859287504\ 52838576144933071666791*c_0101_3^13 - 6091367985286878878099392306335492506/28592875045283857614493307166\ 6791*c_0101_3^12 + 1550202284784050108384035061316295294/2859287504\ 52838576144933071666791*c_0101_3^11 - 2099911400055087436976654854056123578/28592875045283857614493307166\ 6791*c_0101_3^10 + 5383984047344837928216308540657278904/2859287504\ 52838576144933071666791*c_0101_3^9 + 3779436580931961526933592768114444515/28592875045283857614493307166\ 6791*c_0101_3^8 - 2515275684116982787800547324040384560/28592875045\ 2838576144933071666791*c_0101_3^7 + 541765617882620228068047051571855161/285928750452838576144933071666\ 791*c_0101_3^6 - 51878818147943838750785010056266217/28592875045283\ 8576144933071666791*c_0101_3^5 - 2988447587724202475140888667637721\ 22/285928750452838576144933071666791*c_0101_3^4 + 60629491861477346492314974561903201/2859287504528385761449330716667\ 91*c_0101_3^3 + 21972060004474302170231063118067154/285928750452838\ 576144933071666791*c_0101_3^2 - 2459098656174379176936449705640429/\ 285928750452838576144933071666791*c_0101_3 - 214837648413294041278990592390170/285928750452838576144933071666791\ , c_0101_2 - 23223635986063587258000270136521692171/354834720024468144610\ 10049260777096309*c_0101_3^19 + 36111282229703077362075304393634910\ 8414/35483472002446814461010049260777096309*c_0101_3^18 - 1694401297040659124044708256913463051849/35483472002446814461010049\ 260777096309*c_0101_3^17 + 1848699692507578479709644473132533781150\ /35483472002446814461010049260777096309*c_0101_3^16 - 9953734171380438990405261989805647392975/35483472002446814461010049\ 260777096309*c_0101_3^15 + 1436052262913711221790388876133628366436\ 84/35483472002446814461010049260777096309*c_0101_3^14 - 532484131278363124571172870556071227052339/354834720024468144610100\ 49260777096309*c_0101_3^13 + 63696106048939230459081719030836803096\ 7999/35483472002446814461010049260777096309*c_0101_3^12 - 22840914024713642689880298172358565027042/3548347200244681446101004\ 9260777096309*c_0101_3^11 + 211048185658727000041972976634744016630\ 084/35483472002446814461010049260777096309*c_0101_3^10 - 615238010436654382870329678089907090282259/354834720024468144610100\ 49260777096309*c_0101_3^9 - 619806379744476440190385134851588981530\ 460/35483472002446814461010049260777096309*c_0101_3^8 + 222904115358944836769644606473005634216975/354834720024468144610100\ 49260777096309*c_0101_3^7 + 103564718734284607778441910410207572325\ 46/35483472002446814461010049260777096309*c_0101_3^6 - 7996446001921603194065240004481709239454/35483472002446814461010049\ 260777096309*c_0101_3^5 + 39998783245933936280417398323529319870723\ /35483472002446814461010049260777096309*c_0101_3^4 + 454945812438331621026579734378553921565/354834720024468144610100492\ 60777096309*c_0101_3^3 - 4674935636858252396779002251068143992309/3\ 5483472002446814461010049260777096309*c_0101_3^2 - 394502254841594827647860488944453147066/354834720024468144610100492\ 60777096309*c_0101_3 + 65465567804551228538625053547292680939/35483\ 472002446814461010049260777096309, c_0101_3^20 - 16*c_0101_3^19 + 80*c_0101_3^18 - 113*c_0101_3^17 + 467*c_0101_3^16 - 6380*c_0101_3^15 + 25730*c_0101_3^14 - 37966*c_0101_3^13 + 14148*c_0101_3^12 - 10643*c_0101_3^11 + 30925*c_0101_3^10 + 14339*c_0101_3^9 - 20629*c_0101_3^8 + 4478*c_0101_3^7 + 93*c_0101_3^6 - 1780*c_0101_3^5 + 731*c_0101_3^4 + 167*c_0101_3^3 - 66*c_0101_3^2 - 6*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB