Commit f35655a1 authored by Sylvain Soliman's avatar Sylvain Soliman

added a test for derivation of quotient

parent 094cef99
...@@ -15,4 +15,7 @@ test('dx/dt(cos(sqrt(x))) = - 0.5 / sqrt(x) * sin(sqrt(x))', ...@@ -15,4 +15,7 @@ test('dx/dt(cos(sqrt(x))) = - 0.5 / sqrt(x) * sin(sqrt(x))',
[true(E == - (1 / sqrt(x) / 2 * sin(sqrt(x))))]) :- [true(E == - (1 / sqrt(x) / 2 * sin(sqrt(x))))]) :-
derivate(cos(sqrt(x)), x, E). derivate(cos(sqrt(x)), x, E).
test('derivate quotient', [true(E == -1*x / y^2)]) :-
derivate(x/y, y, E).
:- end_tests(formal_derivation). :- end_tests(formal_derivation).
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