Test Cases autodiff

Jan Burse, created Aug 19. 2019

1 Predikate deriv_neg/2

2 Predikate deriv_add/3

3 Predikate deriv_sub/3

4 Predikate deriv_mul/3

5 Predikate deriv_int_pow/3

6 Predikate deriv_slash/3

7 Predikate integ_neg/2

8 Predikate integ_add/3

9 Predikate integ_sub/3

10 Predikate integ_int_pow/3

Comments