Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 3086363516] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1639 geometric_solution 5.38131162 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 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 1 -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.477235872163 0.305280592161 0 3 0 3 0132 0132 1023 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 -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.477235872163 0.305280592161 4 0 5 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 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.180674968249 1.877521348095 4 1 5 1 3201 0132 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 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.180674968249 1.877521348095 2 4 4 3 0132 3201 2310 2310 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 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.006150558888 0.795840785154 6 3 6 2 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 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.374464804234 1.262078077663 5 5 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309381496774 0.194572958645 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0101_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_2']), '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' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0101_4']})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 5233532322951009246354743556613526752/56937418189322793513927000521\ 45165*c_0101_5^20 - 14705142429777042788566246877351719728/56937418\ 18932279351392700052145165*c_0101_5^19 - 14227751425783183746092324850579809592/5693741818932279351392700052\ 145165*c_0101_5^18 - 181159386603201138642742936973555363416/569374\ 1818932279351392700052145165*c_0101_5^17 + 10225835546041378887089449008878029046/5693741818932279351392700052\ 145165*c_0101_5^16 - 707695853966637825403569436003700990806/569374\ 1818932279351392700052145165*c_0101_5^15 + 397853650813808180703485993484507702217/569374181893227935139270005\ 2145165*c_0101_5^14 - 1386287437656079912828707300946501155338/5693\ 741818932279351392700052145165*c_0101_5^13 + 98577705316663414912868767178488722167/1138748363786455870278540010\ 429033*c_0101_5^12 - 1195914745404617817259293127135646683433/56937\ 41818932279351392700052145165*c_0101_5^11 + 485788926414337620220680239027048758933/569374181893227935139270005\ 2145165*c_0101_5^10 - 403950831071225307899673733912996909339/56937\ 41818932279351392700052145165*c_0101_5^9 + 469525882390946843761270451091549056172/569374181893227935139270005\ 2145165*c_0101_5^8 + 292127817060727778387907636018777234489/569374\ 1818932279351392700052145165*c_0101_5^7 + 388979016238608563885508266353205343369/569374181893227935139270005\ 2145165*c_0101_5^6 + 353673877693233594375412095876568727354/569374\ 1818932279351392700052145165*c_0101_5^5 + 176829647252550107918991957629240690163/569374181893227935139270005\ 2145165*c_0101_5^4 + 127322636326284835827077775170920942822/569374\ 1818932279351392700052145165*c_0101_5^3 + 35593867157731702753494079482573364821/5693741818932279351392700052\ 145165*c_0101_5^2 + 16143109680020725978561783496900993866/56937418\ 18932279351392700052145165*c_0101_5 + 3463710515380467511925182896720033751/56937418189322793513927000521\ 45165, c_0011_0 - 1, c_0011_5 + 156789665334077315837710883674744/11387483637864558702785400\ 10429033*c_0101_5^20 + 56890017265593401043174017722840/11387483637\ 86455870278540010429033*c_0101_5^19 - 452025302128801293729785067389706/113874836378645587027854001042903\ 3*c_0101_5^18 + 5056199351833216248398488541137835/1138748363786455\ 870278540010429033*c_0101_5^17 - 1281329572155696172514976452719507\ 9/1138748363786455870278540010429033*c_0101_5^16 + 28914042933610737706310775519969358/1138748363786455870278540010429\ 033*c_0101_5^15 - 60578531271031387395429548127464149/1138748363786\ 455870278540010429033*c_0101_5^14 + 94807462514133483860363189011978697/1138748363786455870278540010429\ 033*c_0101_5^13 - 117196519933952653062570419776296358/113874836378\ 6455870278540010429033*c_0101_5^12 + 107778208895408865374490600549496764/113874836378645587027854001042\ 9033*c_0101_5^11 - 89473422809850526302351194413964569/113874836378\ 6455870278540010429033*c_0101_5^10 + 71190421465348717199776092273476383/1138748363786455870278540010429\ 033*c_0101_5^9 - 41971297570632757432534748487916424/11387483637864\ 55870278540010429033*c_0101_5^8 + 283546038894892222582639562116690\ 59/1138748363786455870278540010429033*c_0101_5^7 - 2687842663216957998607994910463233/11387483637864558702785400104290\ 33*c_0101_5^6 + 471538027862915489474127118194902/11387483637864558\ 70278540010429033*c_0101_5^5 + 86350674133110738241096664978342/113\ 8748363786455870278540010429033*c_0101_5^4 - 5421916635685378540366190603746601/11387483637864558702785400104290\ 33*c_0101_5^3 - 812276662435972006883469338521742/11387483637864558\ 70278540010429033*c_0101_5^2 - 3358846586601006883219989977261852/1\ 138748363786455870278540010429033*c_0101_5 - 17943300284550373580788637314418/1138748363786455870278540010429033\ , c_0101_0 - 12711530371507349071578828408231848/113874836378645587027854\ 0010429033*c_0101_5^20 - 35164727610811232240114274357090504/113874\ 8363786455870278540010429033*c_0101_5^19 - 32609759715254527961177209135372370/1138748363786455870278540010429\ 033*c_0101_5^18 - 437483186084995346675637368265286817/113874836378\ 6455870278540010429033*c_0101_5^17 + 44755405697697989503586156095831701/1138748363786455870278540010429\ 033*c_0101_5^16 - 1706526082192605734524330316397927716/11387483637\ 86455870278540010429033*c_0101_5^15 + 1037158453957165429504462397690059234/11387483637864558702785400104\ 29033*c_0101_5^14 - 3356301107343178260830824102791237289/113874836\ 3786455870278540010429033*c_0101_5^13 + 1302714950987759774549934956687611709/11387483637864558702785400104\ 29033*c_0101_5^12 - 2851318065249504321048747737721889169/113874836\ 3786455870278540010429033*c_0101_5^11 + 1253410849700605727459770455418751535/11387483637864558702785400104\ 29033*c_0101_5^10 - 952000608447351862214897593832900899/1138748363\ 786455870278540010429033*c_0101_5^9 + 1145853474491117586513266610407704489/11387483637864558702785400104\ 29033*c_0101_5^8 + 675061508513365244217863014523857821/11387483637\ 86455870278540010429033*c_0101_5^7 + 885721654564088376994062797338225680/113874836378645587027854001042\ 9033*c_0101_5^6 + 796304537910571678730961006081461829/113874836378\ 6455870278540010429033*c_0101_5^5 + 372469404827102894026834631123430428/113874836378645587027854001042\ 9033*c_0101_5^4 + 272574266878855977136365109284522608/113874836378\ 6455870278540010429033*c_0101_5^3 + 66549964330848063515937685470053910/1138748363786455870278540010429\ 033*c_0101_5^2 + 33082800783533455708252869487303772/11387483637864\ 55870278540010429033*c_0101_5 + 5783491722863334104093506430363005/\ 1138748363786455870278540010429033, c_0101_1 + 12711530371507349071578828408231848/113874836378645587027854\ 0010429033*c_0101_5^20 + 35164727610811232240114274357090504/113874\ 8363786455870278540010429033*c_0101_5^19 + 32609759715254527961177209135372370/1138748363786455870278540010429\ 033*c_0101_5^18 + 437483186084995346675637368265286817/113874836378\ 6455870278540010429033*c_0101_5^17 - 44755405697697989503586156095831701/1138748363786455870278540010429\ 033*c_0101_5^16 + 1706526082192605734524330316397927716/11387483637\ 86455870278540010429033*c_0101_5^15 - 1037158453957165429504462397690059234/11387483637864558702785400104\ 29033*c_0101_5^14 + 3356301107343178260830824102791237289/113874836\ 3786455870278540010429033*c_0101_5^13 - 1302714950987759774549934956687611709/11387483637864558702785400104\ 29033*c_0101_5^12 + 2851318065249504321048747737721889169/113874836\ 3786455870278540010429033*c_0101_5^11 - 1253410849700605727459770455418751535/11387483637864558702785400104\ 29033*c_0101_5^10 + 952000608447351862214897593832900899/1138748363\ 786455870278540010429033*c_0101_5^9 - 1145853474491117586513266610407704489/11387483637864558702785400104\ 29033*c_0101_5^8 - 675061508513365244217863014523857821/11387483637\ 86455870278540010429033*c_0101_5^7 - 885721654564088376994062797338225680/113874836378645587027854001042\ 9033*c_0101_5^6 - 796304537910571678730961006081461829/113874836378\ 6455870278540010429033*c_0101_5^5 - 372469404827102894026834631123430428/113874836378645587027854001042\ 9033*c_0101_5^4 - 272574266878855977136365109284522608/113874836378\ 6455870278540010429033*c_0101_5^3 - 66549964330848063515937685470053910/1138748363786455870278540010429\ 033*c_0101_5^2 - 33082800783533455708252869487303772/11387483637864\ 55870278540010429033*c_0101_5 - 5783491722863334104093506430363005/\ 1138748363786455870278540010429033, c_0101_2 + 3083363200633979478365994768772440/1138748363786455870278540\ 010429033*c_0101_5^20 + 7485900775914829968786228974673312/11387483\ 63786455870278540010429033*c_0101_5^19 + 5449790727275426815006644553584494/11387483637864558702785400104290\ 33*c_0101_5^18 + 104836665171182897794107970904698953/1138748363786\ 455870278540010429033*c_0101_5^17 - 45154630201681082990303724781892780/1138748363786455870278540010429\ 033*c_0101_5^16 + 432707204040637098087121622054232038/113874836378\ 6455870278540010429033*c_0101_5^15 - 386051173320591098795767564684121451/113874836378645587027854001042\ 9033*c_0101_5^14 + 953529915091980378152193298942109317/11387483637\ 86455870278540010429033*c_0101_5^13 - 597262865074292664725100912681684471/113874836378645587027854001042\ 9033*c_0101_5^12 + 883012033608839699077335257730638048/11387483637\ 86455870278540010429033*c_0101_5^11 - 518403406227192231160082815722681459/113874836378645587027854001042\ 9033*c_0101_5^10 + 382776505535843986322685124113538167/11387483637\ 86455870278540010429033*c_0101_5^9 - 335678998755190532677906719141073297/113874836378645587027854001042\ 9033*c_0101_5^8 - 84922705860154363489789386452772781/1138748363786\ 455870278540010429033*c_0101_5^7 - 173654744294844571586837683924352442/113874836378645587027854001042\ 9033*c_0101_5^6 - 167853103030502655450907189547566878/113874836378\ 6455870278540010429033*c_0101_5^5 - 60720605834082434673286382800689571/1138748363786455870278540010429\ 033*c_0101_5^4 - 72040319148455397086493837676682546/11387483637864\ 55870278540010429033*c_0101_5^3 - 143011628348454602735264234874962\ 68/1138748363786455870278540010429033*c_0101_5^2 - 11011808706197341461808293241650812/1138748363786455870278540010429\ 033*c_0101_5 - 2389877675355171964089669838317148/11387483637864558\ 70278540010429033, c_0101_4 - 1012252661579914325911951504899272/1138748363786455870278540\ 010429033*c_0101_5^20 - 1912896777570744857097256880274312/11387483\ 63786455870278540010429033*c_0101_5^19 - 730161713284022193162955386351730/113874836378645587027854001042903\ 3*c_0101_5^18 - 34496937418314482475037706910494797/113874836378645\ 5870278540010429033*c_0101_5^17 + 319260054202713387084999074840029\ 83/1138748363786455870278540010429033*c_0101_5^16 - 159397846030478053204130829530962533/113874836378645587027854001042\ 9033*c_0101_5^15 + 193969755224517768028049498203387392/11387483637\ 86455870278540010429033*c_0101_5^14 - 411085327102121759058570213804286971/113874836378645587027854001042\ 9033*c_0101_5^13 + 348643293691878345420783683601381536/11387483637\ 86455870278540010429033*c_0101_5^12 - 426613844547364072664952855386451001/113874836378645587027854001042\ 9033*c_0101_5^11 + 281038576418314692382060622614820424/11387483637\ 86455870278540010429033*c_0101_5^10 - 236383103250735185799341886191566210/113874836378645587027854001042\ 9033*c_0101_5^9 + 167052062504667250368851565485459871/113874836378\ 6455870278540010429033*c_0101_5^8 - 28194266759716713885097897152479545/1138748363786455870278540010429\ 033*c_0101_5^7 + 64505234336658829821834043159521246/11387483637864\ 55870278540010429033*c_0101_5^6 + 512151794240578983515284447295756\ 10/1138748363786455870278540010429033*c_0101_5^5 + 24319687917161295599800285933098935/1138748363786455870278540010429\ 033*c_0101_5^4 + 32221981719834243151451840628190911/11387483637864\ 55870278540010429033*c_0101_5^3 + 583332448799718128653570984608931\ 6/1138748363786455870278540010429033*c_0101_5^2 + 5874718211753159331201780778061941/11387483637864558702785400104290\ 33*c_0101_5 + 127174216431190592773469377832784/1138748363786455870\ 278540010429033, c_0101_5^21 + 3*c_0101_5^20 + 13/4*c_0101_5^19 + 281/8*c_0101_5^18 + 37/8*c_0101_5^17 + 539/4*c_0101_5^16 - 201/4*c_0101_5^15 + 250*c_0101_5^14 - 347/8*c_0101_5^13 + 1677/8*c_0101_5^12 - 389/8*c_0101_5^11 + 117/2*c_0101_5^10 - 297/4*c_0101_5^9 - 147/2*c_0101_5^8 - 675/8*c_0101_5^7 - 655/8*c_0101_5^6 - 371/8*c_0101_5^5 - 123/4*c_0101_5^4 - 91/8*c_0101_5^3 - 35/8*c_0101_5^2 - 5/4*c_0101_5 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB