Converting subalgebra bases with the Sagbi walk

DOI10.1016/J.JSC.2013.10.001MaRDI QIDQ2437294zbMATH OpenOpenAlexFDO

Authors Junaid Alam Khan

Publication date 3 March 2014

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0911.4773

zbMATH Keywords

monomial orderingSagbi basisGröbner fan

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Software, source code, etc. for problems pertaining to commutative algebra (13-04)

Abstract: We present an algorithm which converts a given Sagbi basis of a polynomial $K$-subalgebra $mathcalA$ to a Sagbi basis of $mathcalA$ in a polynomial ring with respect to another term ordering, under the assumption that subalgebra $mathcalA$ admits a finite Sagbi basis with respect to all term ordering. The Sagbi walk method converts a Sagbi basis by partitioning the computations following a path in the Sagbi Fan. The algorithms have been implemented as a library for the computer algebra system SINGULAR cite{GPS1}.

Recommendations

• A randomized variant of the Gröbner Walk
• scientific article; zbMATH DE number 4196114
• Subalgebra analogue to Standard basis for ideal
• Converting bases with the Gröbner walk
• SAGBI and SAGBI-Gröbner bases over principal ideal domains

Cites work

• scientific article; zbMATH DE number 4132298 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 4196114 (Why is no real title available?)
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Computing Gröbner fans
• Converting bases with the Gröbner walk
• On the theory of graded structures
• SINGULAR
• The Gröbner fan and Gröbner walk for modules
• The Gröbner fan of an ideal
• The generic Gröbner walk

Cited in

(1)

• On canonical bases of a formal 𝕂-algebra

Describes a project that uses

Uses Software

• swalk.lib
• SINGULAR

This page was built for publication: Converting subalgebra bases with the Sagbi walk

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2437294)