Discussion :

[sunlover]

Bonjour,

Dans le cadre d'un projet pour l'université, je dois écrire un prédicat
deriver(F,X,DFDX) qui est vrai quand DFDX est la dérivée simplifiée de F par rapport à la variable X. Je dois aller le plus loin possible dans la simplification.

Je vois bien comment faire pour les cas simples comme, par exemple, deriver(X^4,X,Y) ou simplifier(K/K,1):-K\=0.

Mais pour les cas plus compliqués comme, par exemple, deriver(sin(X^2+8*X-7),X,Res) ou simplifier(3*X^8-X^7+2*X^8,Simpl)... je ne vois pas du tout comment m'y prendre.

Est-ce que quelqu'un peut m'aider ?
Merci d'avance.

[Trap D]

Une possibilité est de passer en écriture préfixée.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
derive([+, X, Y],R) :-
    derive(X, RX),
    derive(Y, RY),
    simplifie([+, RX, RY], R).

Après, pour les simplifications, il faut envisager les cas simples : additions des monomes de même nature, multiplications par 0 et 1 ... avant de passer à la simplification récursive par exemple

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
simplifie([Op, X, Y], R) :-
	  simplifie(X, SX),
	  simplifie(Y, SY),
	  (   (X = SX, Y = SY)-> R = [Op, X, Y]; simplifie([Op, SX, SY], R)).

pour une opération à deux arguments.
Bon courage.