Dans Maxima, comment vérifier si une série converge?

Question

Je voudrais créer une fonction qui retourne vrai si une série diverge à l'infini.

Malheureusement, il semble que Maxima génère une erreur si une série diverge. J'ai chargé le simplify_sum paquet et j'espérais que simplify_sum(sum(1/n,n,1,inf)) retournerait inf, mais il retourne

sum: sum is divergent. 
#0: simplify_sum(expr='sum(1/n,n,1,inf)) 
-- an error. To debug this try: debugmode(true); 

Comment puis-je vérifier si une série diverge à l'infini?

Answer 1

J'ai réalisé que cela ne peut pas être fait car c'est un problème indécidable.