Quellcode ring

Jan Burse, erstellt 01. Nov 2018

1 Prädikat reduced/3

2 Prädikat gen_red/3

3 Prädikat quorem/4

4 Prädikat gen_div/4

5 Prädikat sys_poly_div/4

6 Prädikat sys_poly_head/2

7 Prädikat sys_poly_factor/2

8 Prädikat sys_poly_comb/4

9 Prädikat sys_same_comb/5

10 Prädikat sys_coeff_comb/4

11 Prädikat sys_poly_reduced/3

12 Prädikat sys_poly_reduced2/4

13 Prädikat sys_poly_sign/2

14 Prädikat gauss/ordered:hipow/3

15 Prädikat groebner/variable:hipow/3

16 Prädikat groebner/polynom:hipow/3

17 Prädikat gauss/ordered:degree/2

18 Prädikat groebner/variable:degree/2

19 Prädikat groebner/polynom:degree/2

20 Prädikat gauss/vector:randpoly/2

Kommentare