Source Code polynom

Jan Burse, created Nov 01. 2018

1 Predikate -/2

2 Predikate +/3

3 Predikate -/3

4 Predikate */3

5 Predikate //3

6 Predikate ^/3

7 Predikate sys_poly_split/3

8 Predikate sys_coeff_split/3

9 Predikate sys_poly_neg/2

10 Predikate sys_poly_add/3

11 Predikate sys_poly_sub/3

12 Predikate sys_poly_mul/3

13 Predikate sys_poly_scale/4

14 Predikate sys_make_coeff/4

15 Predikate sys_make_poly/3

16 Predikate misc/residue:sys_printable_value/2

17 Predikate sys_pretty_poly/3

18 Predikate sys_pretty_expr/2

19 Predikate sys_make_power/3

20 Predikate sys_make_mul/3

21 Predikate sys_has_sign/1

22 Predikate sys_make_neg/2

23 Predikate sys_make_add/3

24 Predikate sys_melt_expr/2

25 Predikate sys_melt_list/2

26 Predikate groebner/generic:is/2

27 Predikate groebner/generic:is_abnormal/1

Comments