Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 475889916] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1967 geometric_solution 5.54422726 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.606178936588 0.240974095909 0 2 2 0 3201 0132 1023 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 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 1.228198433815 0.519557172167 3 1 1 4 0132 0132 1023 0132 0 0 0 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 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.410165328064 0.428500992514 2 5 4 6 0132 0132 1302 0132 0 0 0 0 0 0 -1 1 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 -1 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.536311606075 0.628723417281 3 6 2 5 2031 2310 0132 0132 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 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.536311606075 0.628723417281 5 3 4 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.214682488798 0.920635510590 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 1 -1 0 0 0 1 -1 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 1 -1 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.406611332395 0.602770839595 ==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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), '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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), '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_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 15871890564755380248167083738/5114915214455522569638953925*c_0101_5\ ^29 + 41820543082238294193819011597/568323912717280285515439325*c_0\ 101_5^27 - 43650699420415179541699728755/68198869526073634261852719\ *c_0101_5^25 + 3927302537071686989827891229362/10229830428911045139\ 27790785*c_0101_5^23 - 1968760295406256932404491136293/929984584446\ 45864902526435*c_0101_5^21 + 32514444965424285966298144005978/56832\ 3912717280285515439325*c_0101_5^19 - 34853814252838882383337447805623/568323912717280285515439325*c_0101\ _5^17 + 4429757932349089771943664921151/464992292223229324512632175\ *c_0101_5^15 + 76553199236922006518154498196598/5114915214455522569\ 638953925*c_0101_5^13 + 6712397519720049927633288028069/17049717381\ 51840856546317975*c_0101_5^11 - 8477912434422060878484625652962/170\ 4971738151840856546317975*c_0101_5^9 - 6887826466961312542190660979896/5114915214455522569638953925*c_0101\ _5^7 - 222392846109093542378615914952/5114915214455522569638953925*\ c_0101_5^5 + 417751663530883708308019890644/51149152144555225696389\ 53925*c_0101_5^3 - 2674646049359990868286282537/5114915214455522569\ 638953925*c_0101_5, c_0011_0 - 1, c_0011_1 + 3011051902680408434767428/568323912717280285515439325*c_0101\ _5^28 - 69632007491945762377679238/568323912717280285515439325*c_01\ 01_5^26 + 23146452144626435317708549/22732956508691211420617573*c_0\ 101_5^24 - 669635989826836038117365502/113664782543456057103087865*\ c_0101_5^22 + 331245873002746265139330973/1033316204940509610028071\ 5*c_0101_5^20 - 42549552562548451131112666887/568323912717280285515\ 439325*c_0101_5^18 + 21985643451920943867732593617/5683239127172802\ 85515439325*c_0101_5^16 + 4074718716353374606521143094/516658102470\ 25480501403575*c_0101_5^14 - 49424115000391589890216572463/56832391\ 2717280285515439325*c_0101_5^12 - 13276291108630693402767021317/568\ 323912717280285515439325*c_0101_5^10 + 32867130711224923981985223366/568323912717280285515439325*c_0101_5^\ 8 - 3341823294126109259409867649/568323912717280285515439325*c_0101\ _5^6 - 5922523408855924205855949338/568323912717280285515439325*c_0\ 101_5^4 - 1062472619111957525896769914/568323912717280285515439325*\ c_0101_5^2 + 562898645669374322859709922/56832391271728028551543932\ 5, c_0011_4 + 12204859852082790360589228/51665810247025480501403575*c_0101\ _5^28 - 293027742539249428331739713/51665810247025480501403575*c_01\ 01_5^26 + 104116640675062219732980509/2066632409881019220056143*c_0\ 101_5^24 - 3168614968359748510672915427/10333162049405096100280715*\ c_0101_5^22 + 17541598875577912962633667828/10333162049405096100280\ 715*c_0101_5^20 - 249460055989426139918828369037/516658102470254805\ 01403575*c_0101_5^18 + 306802290729974507019851759842/5166581024702\ 5480501403575*c_0101_5^16 - 102972376614297682236227846941/51665810\ 247025480501403575*c_0101_5^14 - 62517796001946408888628838913/5166\ 5810247025480501403575*c_0101_5^12 + 14331608262035788711800582008/51665810247025480501403575*c_0101_5^1\ 0 + 23743437604584264140931150316/51665810247025480501403575*c_0101\ _5^8 - 2117212440760263961610930299/51665810247025480501403575*c_01\ 01_5^6 - 2145848791558396691804947788/51665810247025480501403575*c_\ 0101_5^4 - 137281439465994700309909964/51665810247025480501403575*c\ _0101_5^2 + 91378795677940224268979047/51665810247025480501403575, c_0011_6 + 18963369952031061389371379/568323912717280285515439325*c_010\ 1_5^28 - 444384113888769149839591009/568323912717280285515439325*c_\ 0101_5^26 + 151265879141794643526917220/22732956508691211420617573*\ c_0101_5^24 - 4454656047495632960158513456/113664782543456057103087\ 865*c_0101_5^22 + 2217838037450233894385342229/10333162049405096100\ 280715*c_0101_5^20 - 308378550677820831446966903416/568323912717280\ 285515439325*c_0101_5^18 + 249012783923817617051557558356/568323912\ 717280285515439325*c_0101_5^16 + 11498549253968344297847951767/5166\ 5810247025480501403575*c_0101_5^14 - 212799419623210674886409391659/568323912717280285515439325*c_0101_5\ ^12 + 6582464980649173111551481219/568323912717280285515439325*c_01\ 01_5^10 + 18750314647176524394452817388/568323912717280285515439325\ *c_0101_5^8 + 17225212170811462361625840768/56832391271728028551543\ 9325*c_0101_5^6 + 375509222933810730379885066/568323912717280285515\ 439325*c_0101_5^4 - 567995373901708129219518352/5683239127172802855\ 15439325*c_0101_5^2 - 735115392565003954147914104/56832391271728028\ 5515439325, c_0101_0 + 123087827654992636879447639/568323912717280285515439325*c_01\ 01_5^29 - 2918487023280616908297417794/568323912717280285515439325*\ c_0101_5^27 + 1015289141947854633456706367/227329565086912114206175\ 73*c_0101_5^25 - 30456013024622793903187944221/11366478254345605710\ 3087865*c_0101_5^23 + 15272477977196095294263476734/103331620494050\ 96100280715*c_0101_5^21 - 2271366903972980627147435978431/568323912\ 717280285515439325*c_0101_5^19 + 2451956640642132249475719926571/56\ 8323912717280285515439325*c_0101_5^17 - 41294999312725304427071626253/51665810247025480501403575*c_0101_5^1\ 5 - 458030739351225075751908898569/568323912717280285515439325*c_01\ 01_5^13 - 257213681905510711413778977571/56832391271728028551543932\ 5*c_0101_5^11 + 192034907675614328038193947933/56832391271728028551\ 5439325*c_0101_5^9 + 87645239716483869337702933488/5683239127172802\ 85515439325*c_0101_5^7 + 7218095026605877544472815206/5683239127172\ 80285515439325*c_0101_5^5 - 9632360577632857676681000957/5683239127\ 17280285515439325*c_0101_5^3 - 2107870679938402782300691414/5683239\ 12717280285515439325*c_0101_5, c_0101_2 + 1621716504237193903479538/568323912717280285515439325*c_0101\ _5^29 - 26125699570836423273237898/568323912717280285515439325*c_01\ 01_5^27 + 1904206509817866476563965/22732956508691211420617573*c_01\ 01_5^25 + 79125365903480049005231833/113664782543456057103087865*c_\ 0101_5^23 - 51110743046050577443960777/10333162049405096100280715*c\ _0101_5^21 + 45364955832417586141342722698/568323912717280285515439\ 325*c_0101_5^19 - 145683242441411097160611035493/568323912717280285\ 515439325*c_0101_5^17 + 6495113321409129562764319349/51665810247025\ 480501403575*c_0101_5^15 + 225154983673469950825406805527/568323912\ 717280285515439325*c_0101_5^13 - 219931581936898826872971174482/568\ 323912717280285515439325*c_0101_5^11 - 45911037348481271973227603314/568323912717280285515439325*c_0101_5^\ 9 + 57083033232023557959984804971/568323912717280285515439325*c_010\ 1_5^7 + 20984385219726908263644828527/568323912717280285515439325*c\ _0101_5^5 - 4995569719042039454171486694/56832391271728028551543932\ 5*c_0101_5^3 - 2075141091363843192579253163/56832391271728028551543\ 9325*c_0101_5, c_0101_5^30 - 24*c_0101_5^28 + 213*c_0101_5^26 - 1295*c_0101_5^24 + 7165*c_0101_5^22 - 20319*c_0101_5^20 + 24651*c_0101_5^18 - 7514*c_0101_5^16 - 5630*c_0101_5^14 + 774*c_0101_5^12 + 2289*c_0101_5^10 - 49*c_0101_5^8 - 247*c_0101_5^6 - 50*c_0101_5^4 + 13*c_0101_5^2 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB