From 22efe687c40c2c121eb25e392c14b1efcf2520d0 Mon Sep 17 00:00:00 2001 From: Rafael Mohr Date: Fri, 4 Oct 2024 14:25:34 +0200 Subject: [PATCH] doc files --- docs/make.jl | 3 ++- docs/src/groebner-bases.md | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/make.jl b/docs/make.jl index ab996ee..e255ff5 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -21,7 +21,8 @@ makedocs( "types.md", "Algorithms" => ["groebner-bases.md", "normal-forms.md", - "solvers.md"], + "solvers.md", + "decomposition.md"], "Examples" => "katsura.md" ] ) diff --git a/docs/src/groebner-bases.md b/docs/src/groebner-bases.md index 74a51f4..08e6ee4 100644 --- a/docs/src/groebner-bases.md +++ b/docs/src/groebner-bases.md @@ -65,5 +65,5 @@ for this call: To compute signature Gröbner bases use ```@docs - sig_groebner_basis(sys::Vector{T}; info_level::Int = 0, degbound::Int = 0) where {T <: MPolyRingElem} + sig_groebner_basis(sys::Vector{T}; info_level::Int = 0, degbound::Int = 0, mod_ord::Symbol=:POT) where {T <: MPolyRingElem} ```