Commit 094cef99 authored by Sylvain Soliman's avatar Sylvain Soliman

Bugfix derivative of quotient

parent 961f5b4b
......@@ -37,7 +37,7 @@ derivate_raw(A * B, Variable, A * Bprime + Aprime * B) :-
derivate_raw(A, Variable, Aprime),
derivate_raw(B, Variable, Bprime).
derivate_raw(A / B, Variable, (A * Bprime - Aprime * B) / (A ^ 2)) :-
derivate_raw(A / B, Variable, (Aprime * B - A * Bprime) / (B ^ 2)) :-
!,
derivate_raw(A, Variable, Aprime),
derivate_raw(B, Variable, Bprime).
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment