Source Code deriv

Jan Burse, created May 26. 2019

1 Predikate ordered:deriv/3

2 Predikate variable:deriv/3

3 Predikate polynom:deriv/3

4 Predikate sys_poly_deriv/2

5 Predikate sys_coeff_deriv/3

6 Predikate fraction:deriv/3

7 Predikate ordered:integ/3

8 Predikate variable:integ/3

9 Predikate polynom:integ/3

10 Predikate sys_poly_integ/2

11 Predikate sys_coeff_integ/3

Comments