Converting subalgebra bases with the Sagbi walk

DOI10.1016/J.JSC.2013.10.001zbMATH Open1282.13049arXiv0911.4773OpenAlexW2053918863MaRDI QIDQ2437294FDOQ2437294

Junaid Alam Khan

Publication date: 3 March 2014

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

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}.

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

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

zbMATH Keywords

monomial orderingSagbi basis[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+fan&go=Go Gr��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)

Cites Work

• SINGULAR
• Computing Gröbner fans
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Title not available (Why is that?)
• The generic Gröbner walk
• The Gröbner fan of an ideal
• Converting bases with the Gröbner walk
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the theory of graded structures
• The Gröbner fan and Gröbner walk for modules

Cited In (1)

• On canonical bases of a formal 𝕂-algebra

Uses Software

• SINGULAR
• swalk.lib

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)