Bonjour,

Sois un peu plus précise..

Pourquoi tu ne définis pas P au moment voulu ? P:=X^2+2X+3; par exemple.

je dois en fait coder une application u de R[X]->R[X] définie pour tout polynôme PR[X]

u(P)(X)=X*P'(X^2+1)-P'(X)w

sans le w dsl

je te propose quelque chose :
assume(P,polynom)
et ensuite tu codes l'application comme si de rien n'était (fait juste attention pour les dérivés un polynôme étant une expression pour maple), cela dit je ne pense pas que ce soit absolument nécessaire d'introduire un assume.