Le forum de XCAS

Avec
f(x):=1/(1+x^2)
s(n,n1,n2):=somme(f(k/n)/n,k=n1..n2)

est-il déraisonnable de demander
simplify(s(p,0,p-1)-s(p,1,p))

(notez bien bien que cette fois je n'écris pas pour un bug )

Pour l'instant ce n'est pas implemente. Mais ca ne doit pas etre trop difficile de rajouter des regles de simplification pour la fonction digamma (notee Psi) du meme genre que pour la factorielle. Plus generallement par contre, je n'ai pas prevu de creer de regle de type Chasles pour les sommes discretes (ni pour les integrales d'ailleurs), je me concentre plutot sur les algorithmes plus calculatoires.