✦ LIBER ✦

Regular Gröbner Bases

✍ Scribed by Jonas MÅnsson; Patrik Nordbeck

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 366 KB
Volume: 33
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.2001.0500

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we introduce the concept of bi-automaton algebras, generalizing the automaton algebras previously defined by Ufnarovski. A bi-automaton algebra is a quotient of the free algebra, defined by a binomial ideal admitting a Gröbner basis which can be encoded as a regular set; we call such a Gröbner basis regular. We give several examples of bi-automaton algebras, and show how automata connected to regular Gröbner bases can be used to perform reduction.

📜 SIMILAR VOLUMES

Multiplicative Bases, Gröbner Bases, and

Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases

✍ Edward L. Green 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 314 KB

In this paper, we study conditions on algebras with multiplicative bases so that there is a Gröbner basis theory. We introduce right Gröbner bases for a class of modules. We give an elimination theory and intersection theory for right submodules of projective modules in path algebras. Solutions to h

Counting and Gröbner Bases

✍ K. Kalorkoti 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 239 KB

We show how the complexity of counting relates to the well known phenomenon that computing Gröbner bases under a lexicographic order is generally harder than total degree orders. We give simple examples of polynomials for which it is very easy to compute their Gröbner basis using a total degree orde

Reduced Gröbner Bases Under Composition

✍ J. Gutierrez; R.R. San Miguel 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 463 KB

In this paper we contribute with one main result to the interesting problem initiated by Hong (1998, J. Symb. Comput. 25, 643-663) on the behaviour of Gröbner bases under composition of polynomials. Polynomial composition is the operation of replacing the variables of a polynomial with other polynom

Converting Bases with the Gröbner Walk

✍ S. COLLART; M. KALKBRENER; D. MALL 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 299 KB

We present an algorithm which converts a given Gröbner basis of a polynomial ideal I to a Gröbner basis of I with respect to another term order. The conversion is done in several steps following a path in the Gröbner fan of I. Each conversion step is based on the computation of a Gröbner basis of a

Finite Lattices and Lexicographic Gröbne

Finite Lattices and Lexicographic Gröbner Bases

✍ Annetta Aramova; Jürgen Herzog; Takayuki Hibi 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 129 KB

By means of combinatorics on finite distributive lattices, lexicographic quadratic Gröbner bases of certain kinds of subrings of an affine semigroup ring arising from a finite distributive lattice will be studied.

Taylor and Lyubeznik Resolutions via Grö

Taylor and Lyubeznik Resolutions via Gröbner Bases

✍ Werner M. Seiler 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 286 KB

Taylor presented an explicit resolution for arbitrary monomial ideals. Later, Lyubeznik found that a subcomplex already defines a resolution. We show that the Taylor resolution may be obtained by repeated application of the Schreyer Theorem from the theory of Gröbner bases, whereas the Lyubeznik res