interface.md

@def title = "Groebner.jl — Interface" @def hasmath = true @def hascode = true

Interface

Exported functions

using Groebner # hide

{{doc groebner groebner fn}}

{{doc groebner_with_change_matrix groebner_with_change_matrix fn}}

{{doc isgroebner isgroebner fn}}

{{doc normalform normalform fn}}

{{doc kbase kbase fn}}

Monomial orderings

A list of all monomial orderings supported by Groebner.jl. An ordering can be set by passing it with the keyword argument ordering. See below for some examples.

\note{Some frontends, for example, AbstractAlgebra.jl, may not support weighted/product/matrix orderings from Groebner.jl. In such cases, the basis is computed in the ordering requested by user, but the terms of polynomials in the output are ordered w.r.t. some other ordering that is supported by the frontend.}

{{doc Lex}}

{{doc DegLex}}

{{doc DegRevLex DegRevLex st}}

{{doc InputOrdering InputOrdering st}}

{{doc WeightedOrdering WeightedOrdering st}}

{{doc ProductOrdering ProductOrdering str}}

{{doc MatrixOrdering MatrixOrdering st}}

Learn and Apply

using Groebner # hide

{{doc groebner_learn groebner_learn fn}}

{{doc groebner_apply! groebner_apply! fn}}