Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 4206585542] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0197 geometric_solution 4.01219696 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.541766422838 0.676023376393 0 3 3 0 0132 0132 1023 3201 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.307533117846 0.875676434827 2 0 2 0 2031 2310 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.821698610694 0.139523115438 4 1 1 5 0132 0132 1023 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 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.147678397501 0.171504560184 3 5 6 5 0132 2310 0132 3201 0 0 0 0 0 -1 1 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 0 0 1 -1 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.015920666801 1.731197943857 6 4 3 4 0132 2310 0132 3201 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 0 0 0 -1 0 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.015920666801 1.731197943857 5 6 6 4 0132 1230 3012 0132 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 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 0 0 0 0 0.489394974981 0.289291662528 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_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_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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 4158711041851984053659875721593605/50256928751776558359206046416799\ 2*c_0101_4^14 - 17059095317994427628938175879755257/502569287517765\ 583592060464167992*c_0101_4^13 + 6017483096008226181265912506855340\ 9/251284643758882791796030232083996*c_0101_4^12 + 334428559896536979270917482122070535/251284643758882791796030232083\ 996*c_0101_4^11 + 167591210041672939604258416164575121/251284643758\ 882791796030232083996*c_0101_4^10 - 1415633458622853400107195949816604409/25128464375888279179603023208\ 3996*c_0101_4^9 - 1833197475072935896541206381214481757/25128464375\ 8882791796030232083996*c_0101_4^8 + 903788898354723992091352745454050467/125642321879441395898015116041\ 998*c_0101_4^7 + 7944543471213912138408996770566381597/502569287517\ 765583592060464167992*c_0101_4^6 - 469142214522736576848742982064781169/502569287517765583592060464167\ 992*c_0101_4^5 - 829994788169913974544159577709977705/6282116093972\ 0697949007558020999*c_0101_4^4 - 1968387889205989352918623288625399\ 96/62821160939720697949007558020999*c_0101_4^3 + 2356439463390807642548518752915129105/50256928751776558359206046416\ 7992*c_0101_4^2 + 325057480932495105849771176149059255/251284643758\ 882791796030232083996*c_0101_4 - 3263467355059043666838395527231594\ 23/502569287517765583592060464167992, c_0011_0 - 1, c_0011_2 + 11860228038971369612501902071/36400918952505383956256869168*\ c_0101_4^14 + 48510625506114263338779415029/36400918952505383956256\ 869168*c_0101_4^13 - 172609241790669794272483249491/182004594762526\ 91978128434584*c_0101_4^12 - 954787104150903445222494936655/1820045\ 9476252691978128434584*c_0101_4^11 - 447107826178252136105086003431/18200459476252691978128434584*c_0101\ _4^10 + 4159577978832266966364745487905/182004594762526919781284345\ 84*c_0101_4^9 + 5269874608708402173776197875511/1820045947625269197\ 8128434584*c_0101_4^8 - 1406106768901517611323081656201/45501148690\ 63172994532108646*c_0101_4^7 - 23826610037990267688862756133163/364\ 00918952505383956256869168*c_0101_4^6 + 2209622221475879853243864861517/36400918952505383956256869168*c_010\ 1_4^5 + 2622017185761160537597194097639/455011486906317299453210864\ 6*c_0101_4^4 + 588243764518746715829763265541/455011486906317299453\ 2108646*c_0101_4^3 - 7744739888173792430094979216107/36400918952505\ 383956256869168*c_0101_4^2 - 543536558334347206991412715197/9100229\ 738126345989064217292*c_0101_4 + 1049082984232250988706338611099/36\ 400918952505383956256869168, c_0011_5 - 10677722089662090556976901033/192924870448278534968161406590\ 4*c_0101_4^14 - 23859735994617961677686732247/192924870448278534968\ 1614065904*c_0101_4^13 + 175130660641689815567217163237/96462435224\ 1392674840807032952*c_0101_4^12 + 495504871603239009530538996461/96\ 4624352241392674840807032952*c_0101_4^11 - 572266798958590321259463014063/964624352241392674840807032952*c_010\ 1_4^10 - 1506862557732706335773212164827/96462435224139267484080703\ 2952*c_0101_4^9 + 2921094833158932235265946201655/96462435224139267\ 4840807032952*c_0101_4^8 + 258433656087170294104195212588/120578044\ 030174084355100879119*c_0101_4^7 - 17037013664175454990184946502771/1929248704482785349681614065904*c_\ 0101_4^6 - 8582623727539085256061998779119/192924870448278534968161\ 4065904*c_0101_4^5 + 2947663637929914407532135133843/24115608806034\ 8168710201758238*c_0101_4^4 + 1142280169849809371828258735295/24115\ 6088060348168710201758238*c_0101_4^3 - 14530805445636466955447869630635/1929248704482785349681614065904*c_\ 0101_4^2 - 582129851816597429012368095847/2411560880603481687102017\ 58238*c_0101_4 + 4248124884648443422289285525975/192924870448278534\ 9681614065904, c_0101_0 - 172059134584728182431414181229/19292487044827853496816140659\ 04*c_0101_4^14 - 690101222627177743716241109607/1929248704482785349\ 681614065904*c_0101_4^13 + 2531017540209025034193925103849/96462435\ 2241392674840807032952*c_0101_4^12 + 13646330000933169192760772635581/964624352241392674840807032952*c_0\ 101_4^11 + 5408535326573184016919364194493/964624352241392674840807\ 032952*c_0101_4^10 - 60649573501517528316647790125251/9646243522413\ 92674840807032952*c_0101_4^9 - 71369472062424566652257606497821/964\ 624352241392674840807032952*c_0101_4^8 + 21866857239137783380242057060651/241156088060348168710201758238*c_0\ 101_4^7 + 334265535844758338369164636553337/19292487044827853496816\ 14065904*c_0101_4^6 - 54093632610642985956225172121631/192924870448\ 2785349681614065904*c_0101_4^5 - 38518744498663818930271155584803/2\ 41156088060348168710201758238*c_0101_4^4 - 7730470121079810761752143573731/241156088060348168710201758238*c_01\ 01_4^3 + 117228636035974794434113599166217/192924870448278534968161\ 4065904*c_0101_4^2 + 9017957370805484070731521542527/48231217612069\ 6337420403516476*c_0101_4 - 15898646193759229112938098729801/192924\ 8704482785349681614065904, c_0101_1 - 118259837389315334613131289/4550114869063172994532108646*c_0\ 101_4^14 - 690607705215682173904702905/9100229738126345989064217292\ *c_0101_4^13 + 1940568684459917588017702810/22750574345315864972660\ 54323*c_0101_4^12 + 14614965285623393988262960361/45501148690631729\ 94532108646*c_0101_4^11 - 4634066478062555101357804174/227505743453\ 1586497266054323*c_0101_4^10 - 76842739683003769080178766843/455011\ 4869063172994532108646*c_0101_4^9 - 7448052860755173679802631653/2275057434531586497266054323*c_0101_4^\ 8 + 151091265431732251516425681113/4550114869063172994532108646*c_0\ 101_4^7 + 38332202061036363399521214610/227505743453158649726605432\ 3*c_0101_4^6 - 280765226179816092431055998497/910022973812634598906\ 4217292*c_0101_4^5 - 40635082751308808866370829323/2275057434531586\ 497266054323*c_0101_4^4 + 26673043000872880992164678893/22750574345\ 31586497266054323*c_0101_4^3 + 32197382169885211829120850299/455011\ 4869063172994532108646*c_0101_4^2 - 13557586738584178143955325817/9100229738126345989064217292*c_0101_4 + 4109795886303806258781451649/9100229738126345989064217292, c_0101_3 + 10084809015659101773339944577/192924870448278534968161406590\ 4*c_0101_4^14 + 23562015470684711082681510363/192924870448278534968\ 1614065904*c_0101_4^13 - 167728052613048108166250867197/96462435224\ 1392674840807032952*c_0101_4^12 - 496192866600047733963442703945/96\ 4624352241392674840807032952*c_0101_4^11 + 596978986280564617876832917319/964624352241392674840807032952*c_010\ 1_4^10 + 1925982389805392261321957707623/96462435224139267484080703\ 2952*c_0101_4^9 - 2554389832049321509152934794023/96462435224139267\ 4840807032952*c_0101_4^8 - 939164928387906385872667004663/241156088\ 060348168710201758238*c_0101_4^7 + 13764868051921444260678770074387/1929248704482785349681614065904*c_\ 0101_4^6 + 12912544154855179755838104404835/19292487044827853496816\ 14065904*c_0101_4^5 - 2315873943856392147874293325745/2411560880603\ 48168710201758238*c_0101_4^4 - 1564532364090170048580943877255/2411\ 56088060348168710201758238*c_0101_4^3 + 12162342387813022166041745206867/1929248704482785349681614065904*c_\ 0101_4^2 + 1648494225529901856900412547115/482312176120696337420403\ 516476*c_0101_4 - 4265767682883158115390895096571/19292487044827853\ 49681614065904, c_0101_4^15 + 10/3*c_0101_4^14 - 289/9*c_0101_4^13 - 416/3*c_0101_4^12 + 392/9*c_0101_4^11 + 6712/9*c_0101_4^10 + 3244/9*c_0101_4^9 - 14018/9*c_0101_4^8 - 3775/3*c_0101_4^7 + 14300/9*c_0101_4^6 + 1537*c_0101_4^5 - 7568/9*c_0101_4^4 - 7853/9*c_0101_4^3 + 2429/9*c_0101_4^2 + 201*c_0101_4 - 521/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB