Posts by uxor@mastodon.xyz
(DIR) Post #AP5tkDlpm0P0hts5jc by uxor@mastodon.xyz
2022-10-30T13:23:17Z
0 likes, 0 repeats
@dada arduino c'est rigolo! vraiment facile à prendre en main, prend y du plaisir !
(DIR) Post #AQAh0G3U7CqI3J1Z8y by uxor@mastodon.xyz
2022-12-01T18:22:23Z
0 likes, 0 repeats
@Vierkantor "Zorn's Lemma? This isn't a lemma and it is not from me!"Max Zorn
(DIR) Post #AVZHBTXGxAANxpWulk by uxor@mastodon.xyz
2020-04-08T06:39:38Z
2 likes, 3 repeats
#mathematics #maths I've found these two identities while working on an examination about Fourier Series. Do you think the same formula is true when replacing the number in red by 4? If not what should be the result ?
(DIR) Post #AVZHBUY1BsMD6Qt1ZQ by uxor@mastodon.xyz
2020-04-08T09:12:08Z
0 likes, 0 repeats
#mathematics #maths when I want to check such identities I try some computer algebra system like #wxmaxima . the software often give a closed form more complicated than mine, so I compare numerical values and strange things can happend ...
(DIR) Post #AVZHBVHOTAeZNA7GIS by uxor@mastodon.xyz
2020-04-28T12:27:48Z
1 likes, 0 repeats
#mathematics #maths #maxima #wxmaxima I made a #bugreport on the simplify_sum bug I discovered 3 weeks ago. I don't know if the problem comes from the Zeilberger/Gosper algorithm or a lack of knowledge on some special functions ....https://sourceforge.net/p/maxima/bugs/3630/
(DIR) Post #AVZHBbEQL7qJpglyV6 by uxor@mastodon.xyz
2020-04-08T09:25:39Z
0 likes, 0 repeats
#mathematics #maths for those who think that the problem comes from #wxmaxima only you can check that #sage do the same computations . But the question is why ? is the simplification false or is the numerical value of erf function at complex value i wrong?
(DIR) Post #AVZHBfqrAAxiA2mixc by uxor@mastodon.xyz
2020-04-08T09:32:27Z
0 likes, 0 repeats
#mathematics #maths I also tried #wolframalpha webapp , the closed form for the series is even more complicated , but the numerical value looks compatible with my result !
(DIR) Post #AVZHBid8pcm2mNOJV2 by uxor@mastodon.xyz
2020-04-08T09:42:41Z
0 likes, 0 repeats
#mathematics #maths there was a last way to check where does the problem comes from : compute the numerical value of closed form given by #wxmaxima and #sage using #wolframalpha ... so there is a bug in simplify_sum used by #maxima and #sage !
(DIR) Post #AVaKGSpvTS86GRHkVU by uxor@mastodon.xyz
2023-05-12T10:47:13Z
2 likes, 0 repeats
@ai I don't think so. I proved the formulas above using the Dirichlet theorem applied to the Fourier series expansion of the 2*pi periodic function :f(x)= cos(x) for x in [0,pi[ f(x)=0 for x in [-pi,0[my post was about the bug appearing when I want to verify the formula with in maxima (and also with #sagemath) see http://rouxph.blogspot.com/2020/04/calcul-de-series-et-bug-dans-wxmaxima.html
(DIR) Post #AVaKGUqhzVwaVRfP0K by uxor@mastodon.xyz
2023-05-12T11:04:05Z
2 likes, 0 repeats
@ai so for the sum of k/(4k^2-1)* sin(k*pi/4) you should take x=pi/8 and apply th Dirichlet Theorem to f, then you'll getS= pi*cos(pi/8)/8= pi*sqrt(2-sqrt(2))/16 instead of pi*sqrt(4)/16. A funny fact is that even #wolframalpha can find this closed form for this series .... #mathematics
(DIR) Post #AVacqiWYQL22WBf1fc by uxor@mastodon.xyz
2023-05-12T20:19:28Z
1 likes, 0 repeats
@ai @Hyolobrika @jeffcliff waouh beautiful, looks harder than using the Fourier series expansion but it works ! Do not apologies, I'm happy that this post finally interested someone ;-) the bug report on sourceforge is still open but no one seems to work on this subject https://sourceforge.net/p/maxima/bugs/3630/I recently found another bug of the same type, again with a Fourier series expansion. I will post it soon ...
(DIR) Post #AVadIVgNlHfancVhhY by uxor@mastodon.xyz
2020-01-10T20:51:04Z
1 likes, 0 repeats
Happy BirthDay Donald Knuth and thank you for #TeX #LaTeX #maths
(DIR) Post #AVeQ8cnbvT2RCfgfOC by uxor@mastodon.xyz
2023-05-14T12:01:37Z
2 likes, 1 repeats
@ai @Hyolobrika @jeffcliff here is another example where #maxima and #sagemath fail to simplify a summation . Wolframalpha.com also fails to find the pi/16 value but gives different closed forms and a numerical value compatible with pi/16sum(1.0*sin(n*pi/3)^3*cos(n*pi/3)/n,n,1,Infinity)### sage false result S= 2.4150948914066888 ## exact value S_exact= 1/16*pi = 0.19634954084936207## partial sum agree with exact valueS_num= 0.11348739774386768*sqrt(3) = 0.1965659389111564#mathematics
(DIR) Post #AVeQ8kV7I6zx5d60fo by uxor@mastodon.xyz
2023-05-14T12:02:00Z
2 likes, 0 repeats
@ai @Hyolobrika @jeffcliff you can check it with with sage and the following source code :var("n")S=sum(sin(n*pi/3)^3*cos(n*pi/3)/n,n,1,Infinity);print("sum(1.0*sin(n*pi/3)^3*cos(n*pi/3)/n,n,1,Infinity)")print("S=",float(S))S_exact=pi/16print("S_exact=",S_exact,"=",float(S_exact))S_num=sum(1.0*sin(n*pi/3)^3*cos(n*pi/3)/n,n,1,1000);print("S_num=",S_num,"=",float(S_num))
(DIR) Post #AVeTd5Kai1LgFAKUxU by uxor@mastodon.xyz
2023-05-14T16:58:11Z
1 likes, 0 repeats
@jeffcliff @Hyolobrika @ai I've added the informations on the original report (bug 3630) and reported on maxima mailing list.
(DIR) Post #AVeg6xLc9f2lcXonqa by uxor@mastodon.xyz
2023-05-14T18:25:59Z
2 likes, 0 repeats
@ai @Hyolobrika @jeffcliff such computation relies on the Gosper's algorithm wihich can solve any summations of hypergeometric terms. Gosper worked himself on Macsyma during the seventees !https://en.wikipedia.org/wiki/Gosper%27s_algorithm?wprov=sfla1 https://en.wikipedia.org/wiki/Gosper%27s_algorithm?wprov=sfla1
(DIR) Post #AXQVzHMasHRvMgt4CW by uxor@mastodon.xyz
2023-07-06T19:02:53Z
0 likes, 0 repeats
@TheKinrar merci pour le travail. On peut faire un (petit) don pour le fonctionnement de l'instance?
(DIR) Post #AYhGISpSWUxKG4y08m by uxor@mastodon.xyz
2023-08-13T18:49:07Z
0 likes, 0 repeats
@dada Si tu veux être éco responsable:ville ➡️Citroën AMILongue distance ➡️train 😂
(DIR) Post #Aatbi0T8PutDypS5YW by uxor@mastodon.xyz
2023-10-18T13:29:06Z
0 likes, 0 repeats
#meteo image radar du joli système dépressionnaire qui a traversé la #Bretagne aujourd'hui🌧️ 🌬️
(DIR) Post #B1JMhdcmgUvHdBCAJE by uxor@mastodon.xyz
2025-12-16T09:05:38Z
0 likes, 0 repeats
@cy try something like :x=[-10:0.01:10];sig1=(2/pi)*atan(exp(2*(x+5)));sig2=(2/pi)*atan(exp(2*(x-5)));plot(x,sig1-sig2)you can adjust constants 2 and 5 to change the shape.