Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 3431813128] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0450 geometric_solution 4.49148421 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 1 0 -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 0 0 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.430472357003 0.167307112427 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 1 0 -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 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.804335049061 0.378096271397 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 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 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.277423053355 0.230689920243 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 1 -1 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 -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.979868491130 0.768489598915 3 6 5 5 0132 0132 3012 1230 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 -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 1.248279167382 1.145571766752 4 4 6 3 3012 1230 0132 0132 0 0 0 0 0 -1 0 1 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 -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 1.248279167382 1.145571766752 6 4 6 5 2031 0132 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 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.400401231412 0.610184427750 ==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' : negation(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' : negation(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_3']), '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_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], '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_3'], '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_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), '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_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], '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' : 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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 22758065032481624560838299522289883068/1123911989223372333606961734\ 530743825*c_0101_5^27 - 631747887965064491373302198072955367474/112\ 3911989223372333606961734530743825*c_0101_5^25 + 8700549150673830023703747530331795300487/11239119892233723336069617\ 34530743825*c_0101_5^23 - 52722283854545377986015544858030650399767\ /1123911989223372333606961734530743825*c_0101_5^21 + 114398751277561984350748204252884335810457/112391198922337233360696\ 1734530743825*c_0101_5^19 - 103223333496775710939173079522140628768\ 212/1123911989223372333606961734530743825*c_0101_5^17 + 470274485356029954842982428442683864239497/112391198922337233360696\ 1734530743825*c_0101_5^15 - 153052566965631888263326516669379858035\ 487/224782397844674466721392346906148765*c_0101_5^13 + 93084187709613040102078642116365598008834/1123911989223372333606961\ 734530743825*c_0101_5^11 - 6118595965714395569339842386863394485001\ 99/1123911989223372333606961734530743825*c_0101_5^9 + 267880111349572074143947078686731794778571/112391198922337233360696\ 1734530743825*c_0101_5^7 + 1711174641657309323364406671294623368759\ 1/1123911989223372333606961734530743825*c_0101_5^5 - 4827681049298873195862977465027399519786/11239119892233723336069617\ 34530743825*c_0101_5^3 - 850300535474992509311495980689070126994/11\ 23911989223372333606961734530743825*c_0101_5, c_0011_0 - 1, c_0011_3 - 1575505182239837667443331964208755/4495647956893489334427846\ 9381229753*c_0101_5^26 + 43801280320503764915358004089062009/449564\ 79568934893344278469381229753*c_0101_5^24 - 604166538671840513871929798240121636/449564795689348933442784693812\ 29753*c_0101_5^22 + 3675223234849266114145152050493387519/449564795\ 68934893344278469381229753*c_0101_5^20 - 8072991553186656132278290534185059467/44956479568934893344278469381\ 229753*c_0101_5^18 + 7477288737547271915034069181248504484/44956479\ 568934893344278469381229753*c_0101_5^16 - 32853496633860677048011440860831459155/4495647956893489334427846938\ 1229753*c_0101_5^14 + 54350800408843980000657060215680383412/449564\ 79568934893344278469381229753*c_0101_5^12 - 8665300479235963485249260049321568757/44956479568934893344278469381\ 229753*c_0101_5^10 + 42607619215345843633761567422319525973/4495647\ 9568934893344278469381229753*c_0101_5^8 - 20368704666703160312376971420709691950/4495647956893489334427846938\ 1229753*c_0101_5^6 - 380095251589884125615243289260500860/449564795\ 68934893344278469381229753*c_0101_5^4 + 386296651486272616089663545811379540/449564795689348933442784693812\ 29753*c_0101_5^2 + 56040662665966355303294070487335958/449564795689\ 34893344278469381229753, c_0011_5 + 2961650702227480096657008847414288/4495647956893489334427846\ 9381229753*c_0101_5^26 - 82379162405859563025797745994797112/449564\ 79568934893344278469381229753*c_0101_5^24 + 1136873799211829753757368279716502734/44956479568934893344278469381\ 229753*c_0101_5^22 - 6924853024854924906445300480281450561/44956479\ 568934893344278469381229753*c_0101_5^20 + 15276812663888134560569269060370488283/4495647956893489334427846938\ 1229753*c_0101_5^18 - 14299405216705999869404217699445166623/449564\ 79568934893344278469381229753*c_0101_5^16 + 62030305244288670956460233300245327982/4495647956893489334427846938\ 1229753*c_0101_5^14 - 103100275628683169315384621954544375897/44956\ 479568934893344278469381229753*c_0101_5^12 + 17986467774587877621227016256490386138/4495647956893489334427846938\ 1229753*c_0101_5^10 - 80845335236499505525438622589687684105/449564\ 79568934893344278469381229753*c_0101_5^8 + 39525455199537998961826660186689889684/4495647956893489334427846938\ 1229753*c_0101_5^6 - 99294144456026676299065278342053432/4495647956\ 8934893344278469381229753*c_0101_5^4 - 504902472803212352869978020394951797/449564795689348933442784693812\ 29753*c_0101_5^2 - 82430178921360568776322276290600458/449564795689\ 34893344278469381229753, c_0101_0 + 4256571274295693878567948740151243/4495647956893489334427846\ 9381229753*c_0101_5^27 - 118884249997267529959360864807861456/44956\ 479568934893344278469381229753*c_0101_5^25 + 1647522753182010398152635049348859142/44956479568934893344278469381\ 229753*c_0101_5^23 - 10140533710762781144922467937527523993/4495647\ 9568934893344278469381229753*c_0101_5^21 + 23110200446496078491778003409658617743/4495647956893489334427846938\ 1229753*c_0101_5^19 - 23162253469426708325046825051156096065/449564\ 79568934893344278469381229753*c_0101_5^17 + 91733048338610813893228815043667123438/4495647956893489334427846938\ 1229753*c_0101_5^15 - 158598074745368355498865786079255262245/44956\ 479568934893344278469381229753*c_0101_5^13 + 43687255637879453162636196163276591230/4495647956893489334427846938\ 1229753*c_0101_5^11 - 120766627172961584450819073307089527081/44956\ 479568934893344278469381229753*c_0101_5^9 + 70526776539081409652502012926376550208/4495647956893489334427846938\ 1229753*c_0101_5^7 - 7718054280940961467991078409640515868/44956479\ 568934893344278469381229753*c_0101_5^5 + 151050062944067493109162882520389941/449564795689348933442784693812\ 29753*c_0101_5^3 - 84360842006680660034430500868605439/449564795689\ 34893344278469381229753*c_0101_5, c_0101_1 - 622721378702156834238919468632124/44956479568934893344278469\ 381229753*c_0101_5^26 + 17463118391904649203422759911548067/4495647\ 9568934893344278469381229753*c_0101_5^24 - 242961197434835194171974994671834282/449564795689348933442784693812\ 29753*c_0101_5^22 + 1509745676813699485965890376996824401/449564795\ 68934893344278469381229753*c_0101_5^20 - 3533413853889010323953322714983874133/44956479568934893344278469381\ 229753*c_0101_5^18 + 3675056837428149091865051336633574628/44956479\ 568934893344278469381229753*c_0101_5^16 - 13592708718328444478381735541662962537/4495647956893489334427846938\ 1229753*c_0101_5^14 + 24531080328097415818007491401759946078/449564\ 79568934893344278469381229753*c_0101_5^12 - 8144993470886380478110237691095996686/44956479568934893344278469381\ 229753*c_0101_5^10 + 16973138239152377545131176581480157438/4495647\ 9568934893344278469381229753*c_0101_5^8 - 12117849155570622867787820410053461608/4495647956893489334427846938\ 1229753*c_0101_5^6 + 1101235346728269023760382782458990787/44956479\ 568934893344278469381229753*c_0101_5^4 + 325597052959451622453767362561816069/449564795689348933442784693812\ 29753*c_0101_5^2 + 3262465621296655357844551578350793/4495647956893\ 4893344278469381229753, c_0101_2 + 6631495769489319012903966411050841/4495647956893489334427846\ 9381229753*c_0101_5^27 - 184571429595431683804710682050078977/44956\ 479568934893344278469381229753*c_0101_5^25 + 2548804584841707853060984684591874671/44956479568934893344278469381\ 229753*c_0101_5^23 - 15550130663716886072953725726143659500/4495647\ 9568934893344278469381229753*c_0101_5^21 + 34482481309445319499059708887571546128/4495647956893489334427846938\ 1229753*c_0101_5^19 - 32656792756323479635928184545712785571/449564\ 79568934893344278469381229753*c_0101_5^17 + 139540962665972857282930010716680486870/449564795689348933442784693\ 81229753*c_0101_5^15 - 233315955558449585941921830726566089785/4495\ 6479568934893344278469381229753*c_0101_5^13 + 44677642659477472687327409268619745499/4495647956893489334427846938\ 1229753*c_0101_5^11 - 182339151400217149642836006859292624248/44956\ 479568934893344278469381229753*c_0101_5^9 + 91510273545717752646522123148110667385/4495647956893489334427846938\ 1229753*c_0101_5^7 - 2285552051397928149388302487705354934/44956479\ 568934893344278469381229753*c_0101_5^5 - 896836860011477794140912581695057675/449564795689348933442784693812\ 29753*c_0101_5^3 - 146213995421545430781452320289451998/44956479568\ 934893344278469381229753*c_0101_5, c_0101_5^28 - 28*c_0101_5^26 + 389*c_0101_5^24 - 2409*c_0101_5^22 + 5589*c_0101_5^20 - 5774*c_0101_5^18 + 21819*c_0101_5^16 - 38660*c_0101_5^14 + 12438*c_0101_5^12 - 28298*c_0101_5^10 + 18327*c_0101_5^8 - 2408*c_0101_5^6 - 222*c_0101_5^4 + 12*c_0101_5^2 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB