Source Code ring

Jan Burse, created Nov 01. 2018

1 Predikate reduced/3

2 Predikate gen_red/3

3 Predikate quorem/4

4 Predikate gen_div/4

5 Predikate sys_poly_div/4

6 Predikate sys_poly_head/2

7 Predikate sys_poly_factor/2

8 Predikate sys_poly_comb/4

9 Predikate sys_same_comb/5

10 Predikate sys_coeff_comb/4

11 Predikate sys_poly_reduced/3

12 Predikate sys_poly_reduced2/4

13 Predikate sys_poly_sign/2

14 Predikate gauss/ordered:hipow/3

15 Predikate groebner/variable:hipow/3

16 Predikate groebner/polynom:hipow/3

17 Predikate gauss/ordered:degree/2

18 Predikate groebner/variable:degree/2

19 Predikate groebner/polynom:degree/2

20 Predikate gauss/vector:randpoly/2

Comments