Quellcode ring

Jan Burse, erstellt 03. Jun 2018

1 Prädikat gauss/ring:reduced/3

2 Prädikat gauss/ring:gen_red/3

3 Prädikat gauss/ring:quorem/4

4 Prädikat gauss/ring:gen_div/4

5 Prädikat gauss/ring:sys_poly_div/4

6 Prädikat gauss/ring:sys_poly_head/2

7 Prädikat gauss/ring:sys_poly_factor/2

8 Prädikat gauss/ring:sys_poly_comb/4

9 Prädikat gauss/ring:sys_same_comb/5

10 Prädikat gauss/ring:sys_coeff_comb/4

11 Prädikat gauss/ring:sys_poly_reduced/3

12 Prädikat gauss/ring:sys_poly_reduced2/4

13 Prädikat gauss/ring: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