Le forum de XCAS

Bonsoir

partfrac(1/(1+x^4)) et factor(1+x^4) ne donnent rien. Avec un petit c devant c'est bien mais difficile de revenir ensuite dans R.

c'est normal parce que factor et partfrac factorisent sur le corps des coefficients. Pour factor, on peut préciser une extension algébrique en 2ème argument, mais pas pour partfrac.

Mais partfrac(1/((x^2-sqrt(2)*x+1)*(x^2+sqrt(2)*x+1))) renvoie 1/(x^4+1) aussi

F:=diff(integrate(f,x),x) renvoie quelque chose d'assez compliqué

partfrac(F) renvoie 1/(x^4+1)

oui, parce que la fraction est d'abord normalisee. Il faudra peut-etre que j'ajoute une option comme pour factor. Actuellement la seule solution est d'appliquer Bezout a la main en nommant chacun des facteurs.
eq:=factor(x^4+1,sqrt(2)); a,b:=abcuv(eq[1],eq[2],1); pf:=a/eq[2]+b/eq[1];
on verifie avec normal(pf)

Waouh, rusé.....
Merci !

Je suis tombé sur le même problème.

parisse a écrit :Il faudra peut-etre que j'ajoute une option comme pour factor.

C'est trop facile de demander des choses, mais effectivement on aurait aime une option pour partfrac/cpartfrac.

A.