PolyGroebner F¶

F: GcdDomain

Groebner functions for P F This package is an interface package to the groebner basis package which allows you to compute groebner bases for polynomials in either lexicographic ordering or total degree ordering refined by reverse lex. The input is the ordinary polynomial type which is internally converted to a type with the required ordering. The resulting grobner basis is converted back to ordinary polynomials. The ordering among the variables is controlled by an explicit list of variables which is passed as a second argument. The coefficient domain is allowed to be any gcd domain, but the groebner basis is computed as if the polynomials were over a field.

lexGroebner: (List Polynomial F, List Symbol) -> List Polynomial F: lexGroebner(lp, lv) computes Groebner basis for the list of polynomials lp in lexicographic order. The variables are ordered by their position in the list lv.

totalGroebner: (List Polynomial F, List Symbol) -> List Polynomial F: totalGroebner(lp, lv) computes Groebner basis for the list of polynomials lp with the terms ordered first by total degree and then refined by reverse lexicographic ordering. The variables are ordered by their position in the list lv.