Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 3364443177] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0565 geometric_solution 4.58705374 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -2 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 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.396767515939 0.199556322698 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 0 0 0 1 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.097915877581 0.197031660381 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 1 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 -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.930538048449 0.335401375972 2 4 5 5 0132 0321 2310 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323096821590 0.935119486522 6 6 2 3 0132 2310 0132 0321 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -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.323096821590 0.935119486522 6 3 3 6 1230 3201 0132 3012 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 0 0 0 0 -0.421341073735 0.518447716539 4 5 5 4 0132 3012 1230 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 -0.421341073735 0.518447716539 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(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' : negation(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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_5'], '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' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], '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' : 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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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_0011_4']), 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(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_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 15982017690205049207206993192445394431705/1164122558728329087874320\ 7111705341367264*c_0101_3^19 - 352052450806026591829273996854409213\ 65707/5820612793641645439371603555852670683632*c_0101_3^18 + 34077345208926675735468145938379554171315/1164122558728329087874320\ 7111705341367264*c_0101_3^17 - 529806696117903053136266787063900676\ 06849/1455153198410411359842900888963167670908*c_0101_3^16 - 211296380300014583437393756423693839711015/291030639682082271968580\ 1777926335341816*c_0101_3^15 - 156693978096013289057132207972032023\ 6818173/2910306396820822719685801777926335341816*c_0101_3^14 - 6431073327712224805010568093783483073955687/11641225587283290878743\ 207111705341367264*c_0101_3^13 + 4873919818644658098359024168940109\ 837947969/5820612793641645439371603555852670683632*c_0101_3^12 + 17510688690559844611645702517688320208269097/1164122558728329087874\ 3207111705341367264*c_0101_3^11 + 356924880403985061766414172586879\ 602080707/727576599205205679921450444481583835454*c_0101_3^10 - 3186638399307492135618534718523710823607941/58206127936416454393716\ 03555852670683632*c_0101_3^9 + 121554846934869572527789921842374298\ 5795985/831516113377377919910229079407524383376*c_0101_3^8 - 6676876038197329067648993937130429564858429/29103063968208227196858\ 01777926335341816*c_0101_3^7 + 317695263566756585939296349830362237\ 9426709/11641225587283290878743207111705341367264*c_0101_3^6 - 3551683322721425437016836878611289060089081/11641225587283290878743\ 207111705341367264*c_0101_3^5 - 49652651651714554502669523205313891\ 5868543/2910306396820822719685801777926335341816*c_0101_3^4 + 1852357685234557774525593010881456548032897/29103063968208227196858\ 01777926335341816*c_0101_3^3 - 549009326774256769063467856530886085\ 507819/1455153198410411359842900888963167670908*c_0101_3^2 + 232043378732587660799196932093875916495669/582061279364164543937160\ 3555852670683632*c_0101_3 + 800059028876759707400313003179278585078\ 161/11641225587283290878743207111705341367264, c_0011_0 - 1, c_0011_1 - 26232561500855981201029913417609/184794499470490772657217642\ 0117707*c_0101_3^19 + 137863016325952137757886616063618/18479449947\ 04907726572176420117707*c_0101_3^18 - 161746456888447458585935989085193/184794499470490772657217642011770\ 7*c_0101_3^17 + 782632611931762160792752382323145/18479449947049077\ 26572176420117707*c_0101_3^16 + 751394230233073665345022466952419/1\ 847944994704907726572176420117707*c_0101_3^15 + 9335787305057804837217861724303759/18479449947049077265721764201177\ 07*c_0101_3^14 + 2042457535296645828115010014210994/184794499470490\ 7726572176420117707*c_0101_3^13 - 222323762665952852926032351636746\ 06/1847944994704907726572176420117707*c_0101_3^12 - 14360949280632348439517821382874257/1847944994704907726572176420117\ 707*c_0101_3^11 + 8841279013056002620201497031851556/18479449947049\ 07726572176420117707*c_0101_3^10 + 13668778267430161502418617644019547/1847944994704907726572176420117\ 707*c_0101_3^9 - 35547764438143611130946238711058723/18479449947049\ 07726572176420117707*c_0101_3^8 + 704608256367846959456937236903015\ 71/1847944994704907726572176420117707*c_0101_3^7 - 52587801901922799569947952880740463/1847944994704907726572176420117\ 707*c_0101_3^6 + 32097367238279597550346864259723200/18479449947049\ 07726572176420117707*c_0101_3^5 - 145445535256077587353201617735221\ 25/1847944994704907726572176420117707*c_0101_3^4 - 4887701057733759076361744827305892/18479449947049077265721764201177\ 07*c_0101_3^3 + 11743377002085396444843915895566668/184794499470490\ 7726572176420117707*c_0101_3^2 - 6359608352160137580322811763848629\ /1847944994704907726572176420117707*c_0101_3 + 396817255664454251352911480451125/184794499470490772657217642011770\ 7, c_0011_4 - 2307599553887704834189118964849203164/5196975708608611999438\ 9317462970273961*c_0101_3^19 + 107928739254396339040032236636575094\ 30/51969757086086119994389317462970273961*c_0101_3^18 - 8131194716486927988287512515292133157/51969757086086119994389317462\ 970273961*c_0101_3^17 + 64618251873356777998405224523693926953/5196\ 9757086086119994389317462970273961*c_0101_3^16 + 103784987457198190359559030212412840856/519697570860861199943893174\ 62970273961*c_0101_3^15 + 885050196589681367014417105147205119415/5\ 1969757086086119994389317462970273961*c_0101_3^14 + 703536096955886834049558567203815544900/519697570860861199943893174\ 62970273961*c_0101_3^13 - 1481174127398521055283845877737949946762/\ 51969757086086119994389317462970273961*c_0101_3^12 - 1990763920425584356057360867020672410842/51969757086086119994389317\ 462970273961*c_0101_3^11 - 354861309831740929030128646804203566135/\ 51969757086086119994389317462970273961*c_0101_3^10 + 819479992329804528231214679419759780318/519697570860861199943893174\ 62970273961*c_0101_3^9 - 2848504334243274322973992705286229355978/5\ 1969757086086119994389317462970273961*c_0101_3^8 + 4516148086477489204320990660176290033515/51969757086086119994389317\ 462970273961*c_0101_3^7 - 2186614924071698250652961166552299864791/\ 51969757086086119994389317462970273961*c_0101_3^6 + 1466001694484806485598915043895980557466/51969757086086119994389317\ 462970273961*c_0101_3^5 - 410710031664265650223618377558431698493/5\ 1969757086086119994389317462970273961*c_0101_3^4 - 639130773739369931153306259366918880915/519697570860861199943893174\ 62970273961*c_0101_3^3 + 753232016065328659517990531269782901855/51\ 969757086086119994389317462970273961*c_0101_3^2 - 216294299154997641837606042681854700109/519697570860861199943893174\ 62970273961*c_0101_3 - 10025303822097352892747677716687829459/51969\ 757086086119994389317462970273961, c_0011_5 + 2307599553887704834189118964849203164/5196975708608611999438\ 9317462970273961*c_0101_3^19 - 107928739254396339040032236636575094\ 30/51969757086086119994389317462970273961*c_0101_3^18 + 8131194716486927988287512515292133157/51969757086086119994389317462\ 970273961*c_0101_3^17 - 64618251873356777998405224523693926953/5196\ 9757086086119994389317462970273961*c_0101_3^16 - 103784987457198190359559030212412840856/519697570860861199943893174\ 62970273961*c_0101_3^15 - 885050196589681367014417105147205119415/5\ 1969757086086119994389317462970273961*c_0101_3^14 - 703536096955886834049558567203815544900/519697570860861199943893174\ 62970273961*c_0101_3^13 + 1481174127398521055283845877737949946762/\ 51969757086086119994389317462970273961*c_0101_3^12 + 1990763920425584356057360867020672410842/51969757086086119994389317\ 462970273961*c_0101_3^11 + 354861309831740929030128646804203566135/\ 51969757086086119994389317462970273961*c_0101_3^10 - 819479992329804528231214679419759780318/519697570860861199943893174\ 62970273961*c_0101_3^9 + 2848504334243274322973992705286229355978/5\ 1969757086086119994389317462970273961*c_0101_3^8 - 4516148086477489204320990660176290033515/51969757086086119994389317\ 462970273961*c_0101_3^7 + 2186614924071698250652961166552299864791/\ 51969757086086119994389317462970273961*c_0101_3^6 - 1466001694484806485598915043895980557466/51969757086086119994389317\ 462970273961*c_0101_3^5 + 410710031664265650223618377558431698493/5\ 1969757086086119994389317462970273961*c_0101_3^4 + 639130773739369931153306259366918880915/519697570860861199943893174\ 62970273961*c_0101_3^3 - 753232016065328659517990531269782901855/51\ 969757086086119994389317462970273961*c_0101_3^2 + 216294299154997641837606042681854700109/519697570860861199943893174\ 62970273961*c_0101_3 + 10025303822097352892747677716687829459/51969\ 757086086119994389317462970273961, c_0101_0 - 2196059298565987667250909701663417494/5196975708608611999438\ 9317462970273961*c_0101_3^19 + 105594544808189273304982034695437359\ 78/51969757086086119994389317462970273961*c_0101_3^18 - 8741919810074213979857151579940918599/51969757086086119994389317462\ 970273961*c_0101_3^17 + 61219379412995337620450913122272611465/5196\ 9757086086119994389317462970273961*c_0101_3^16 + 90645293983944020487409053354227418861/5196975708608611999438931746\ 2970273961*c_0101_3^15 + 819878629889071501482890523125743809263/51\ 969757086086119994389317462970273961*c_0101_3^14 + 534541352222549365905568764543438372545/519697570860861199943893174\ 62970273961*c_0101_3^13 - 1650013998304869823918916598455222881144/\ 51969757086086119994389317462970273961*c_0101_3^12 - 1952466839447110005923399973644359247768/51969757086086119994389317\ 462970273961*c_0101_3^11 - 63180389129993975777190899521815616910/5\ 1969757086086119994389317462970273961*c_0101_3^10 + 1187468894670771054639808209744279179132/51969757086086119994389317\ 462970273961*c_0101_3^9 - 2400991545847179925622214147198174960790/\ 51969757086086119994389317462970273961*c_0101_3^8 + 4888256481857254789777012154170379207545/51969757086086119994389317\ 462970273961*c_0101_3^7 - 2117683466250156277597629922124323620946/\ 51969757086086119994389317462970273961*c_0101_3^6 + 1367353557438151063615073095074918294370/51969757086086119994389317\ 462970273961*c_0101_3^5 - 643149260204910412146226293695363226448/5\ 1969757086086119994389317462970273961*c_0101_3^4 - 714117213600339631787768388272294525158/519697570860861199943893174\ 62970273961*c_0101_3^3 + 600589043932153309803577143802272092359/51\ 969757086086119994389317462970273961*c_0101_3^2 - 216645613514847739454629738661970930809/519697570860861199943893174\ 62970273961*c_0101_3 - 23487226740310961964756752578697702910/51969\ 757086086119994389317462970273961, c_0101_2 - 1378024691066903069846750270955436545/5196975708608611999438\ 9317462970273961*c_0101_3^19 + 688831418388331818939349110338922920\ 2/51969757086086119994389317462970273961*c_0101_3^18 - 6635421107462519585444468116514708640/51969757086086119994389317462\ 970273961*c_0101_3^17 + 39034519748597193615354182576457721773/5196\ 9757086086119994389317462970273961*c_0101_3^16 + 49613328277531441511608308932397252502/5196975708608611999438931746\ 2970273961*c_0101_3^15 + 500450001650125918202459551335649405310/51\ 969757086086119994389317462970273961*c_0101_3^14 + 229999565070997886730551810460530610260/519697570860861199943893174\ 62970273961*c_0101_3^13 - 1148925901583692942597534567097571232293/\ 51969757086086119994389317462970273961*c_0101_3^12 - 1104410317016944697690285831249957757391/51969757086086119994389317\ 462970273961*c_0101_3^11 + 194421138085400903583116918734579721514/\ 51969757086086119994389317462970273961*c_0101_3^10 + 859502203523498685131713884695745402245/519697570860861199943893174\ 62970273961*c_0101_3^9 - 1514716671565917864962376189931930857381/5\ 1969757086086119994389317462970273961*c_0101_3^8 + 3420729774724761824225485141141651492522/51969757086086119994389317\ 462970273961*c_0101_3^7 - 1763615494324291585756946149332635549772/\ 51969757086086119994389317462970273961*c_0101_3^6 + 995639764561405750310721259092458876740/519697570860861199943893174\ 62970273961*c_0101_3^5 - 523674209949023581532488355125861717322/51\ 969757086086119994389317462970273961*c_0101_3^4 - 474905964162607667612692379405773317295/519697570860861199943893174\ 62970273961*c_0101_3^3 + 479724960211542947350463589252793940110/51\ 969757086086119994389317462970273961*c_0101_3^2 - 200577482188235429806937041285919148402/519697570860861199943893174\ 62970273961*c_0101_3 - 529207780680563572748045290086213649/5196975\ 7086086119994389317462970273961, c_0101_3^20 - 5*c_0101_3^19 + 5*c_0101_3^18 - 29*c_0101_3^17 - 36*c_0101_3^16 - 368*c_0101_3^15 - 179*c_0101_3^14 + 755*c_0101_3^13 + 675*c_0101_3^12 - 127*c_0101_3^11 - 426*c_0101_3^10 + 1316*c_0101_3^9 - 2390*c_0101_3^8 + 1513*c_0101_3^7 - 900*c_0101_3^6 + 355*c_0101_3^5 + 264*c_0101_3^4 - 404*c_0101_3^3 + 194*c_0101_3^2 - 13*c_0101_3 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB