Gröbner bases over fields with valuations
From MaRDI portal
(Redirected from Gröbner bases over fields with valuations)
Abstract: Let K be a field with a valuation and let S be the polynomial ring S:= K[x_1,..., x_n]. We discuss the extension of Groebner theory to ideals in S, taking the valuations of coefficients into account, and describe the Buchberger algorithm in this context. In addition we discuss some implementation and complexity issues. The main motivation comes from tropical geometry, as tropical varieties can be defined using these Groebner bases, but we also give examples showing that the resulting Groebner bases can be substantially smaller than traditional Groebner bases. In the case K = Q with the p-adic valuation the algorithms have been implemented in a Macaulay 2 package.
Recommendations
- Grobner bases over a dual valuation domain
- Gröbner bases applied to finitely generated field extensions
- Properties of Gröbner basis over a Noetherian valuation ring
- Gröbner bases for ideals in univariate polynomial rings over valuation rings
- scientific article; zbMATH DE number 4112737
- Gröbner bases over Tate algebras
- Gröbner bases in orders of algebraic number fields.
- Semi-ring based Gröbner-Shirshov bases over a Noetherian valuation ring
- Valuation bases for generalized algebraic series fields
- Gröbner bases with coefficients in rings
Cites work
- A Singular Introduction to Commutative Algebra
- Comprehensive Gröbner bases
- Computing Gröbner fans and tropical varieties in \texttt{Gfan}
- scientific article; zbMATH DE number 3649988 (Why is no real title available?)
- scientific article; zbMATH DE number 3900153 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 6437647 (Why is no real title available?)
- Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
- Inequalities. A journey into linear analysis
- Mustafin varieties
- Nonarchimedean geometry, tropicalization, and metrics on curves
- The Structure of Polynomial Ideals and Gröbner Bases
- Using Algebraic Geometry
Cited in
(20)- Computing tropical points and tropical links
- Detecting tropical defects of polynomial equations
- Tropical differential Gröbner bases
- The gfanlib interface in Singular and its applications
- Computing tropical varieties over fields with valuation
- On affine tropical F5 algorithms
- The degree of a tropical basis
- Grobner bases over a dual valuation domain
- Reversely well-ordered valuations on rational function fields in two variables
- Gröbner bases over Tate algebras
- Computing tropical varieties over fields with valuation using classical standard basis techniques
- Universal Analytic Gröbner Bases and Tropical Geometry
- Some improvements for the algorithm of Gröbner bases over dual valuation domain
- Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians
- Computing Gröbner bases on the Weyl algebras over fields with valuations
- Valuation extensions of algebras defined by monic Gröbner bases.
- Fine multidegrees, universal Gröbner bases, and matrix Schubert varieties
- Valuation bases for generalized algebraic series fields
- Geometric interpretation of valuated term (pre)orders
- Value monoids of zero-dimensional valuations of rank 1
This page was built for publication: Gröbner bases over fields with valuations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4683176)
