# Questions tagged [groebner-bases]

The tag has no usage guidance.

92 questions
Filter by
Sorted by
Tagged with
48 views

### Extracting implications in polynomial constraint system from Groebner basis

Given a Groebner basis for a system of polynomial constraints over $\mathbb{Q}$, are there any known methods for extracting the low degree factorable polynomials in the ideal generated by that basis? ...
1 vote
52 views

### Gorenstein property from initial ideal

My question is: If $I$ is a homogenous ideal of $S=K[x_1,\dots,x_n]$ and $in_{<}(I)$ is the initial ideal of $I$, with respect to a term order $<$ on $S$, then $S/I$ is Gorenstein if and only if ...
62 views

157 views

### Are zero dimensional ideals radical?

I have a question about Theorem 3.7.25. of Computational commutative algebra I by M. Kreuzer and L. Robbiano. Let $K$ be a perfect field, $I \subseteq K[x_1, \ldots, x_n]$, be a zero dimensional ...
133 views

### How can Gröbner bases be generalized to differential algebra?

I'm aware of the Rosenfeld-Gröbner algorithm "for computing a regular decomposition of a radical differential ideal generated by a set of polynomial differential equations, ordinary or with ...
160 views

### Compatibility conditions for quadratic equations

In the context of physics, I stumbled over the following problem: I have $N$ equations, all are quadratic in a single scalar, real variable $x$: \begin{eqnarray} 0 &= A_1x^2 + B_1x + C_1 \\ &...
1k views

117 views

### Library/Database of parametric polynomial systems

Could anyone please recommend a known website where I can find a database/library that has systems of polynomial equations with $n$ variables and $m$ parameters? I need some real examples to test my ...
93 views

### Recommendations for distributed calculations of Groebner Bases

There are many computer algebra systems available which can compute a Groebner basis, including: Mathematica Singular Macaulay2 Magma Maple CoCoA However (please correct me if I've missed something) ...
144 views

### Techniques for estimating dimension of algebraic variety without calculating Groebner basis of polynomial constraints?

I have a system of multilinear polynomial constraints that I believe has no solution. Unfortunately, the number of variables and number of constraints is too large to afford direct computation of a ...
1 vote
167 views

### Computer algebra programs that can solve polynomial systems on algebraically closed fields besides MAGMA

I was wondering which computer algebra programs out there can solve polynomial systems on the algebraic closure of $\mathbb{Q}$ analytically and efficiently. So far, I only found MAGMA with its ...
184 views

216 views

### Groebner Bases for submodule over polynomial ring with integer coefficients

It is well-known that there exist Groebner bases for ideals in polynomial ring $\mathbb Q[x]$ which can be found algorithmically Moreover, I don't think it is hard to show that there exist Groebner ...
572 views

### Given a zero-dimensional ideal $(f_1,...,f_n)$, is the ideal $(f_1-\alpha_1,...,f_n-\alpha_n)$ also zero-dimensional?

Suppose you have a zero-dimensional ideal $I=(f_1,...,f_n)$ in a polynomial ring $R=k[x_1,...,x_n]$ over a field $k$, so that $\dim_k(R/I)<\infty$. Take indeterminates $\alpha_1,...,\alpha_n$ and ...
198 views

### Computing the codimension of the variety defined by a system of quadratic forms

Suppose I have an $m \times n$ matrix $L$, where $m \leq n$ and each entry is $L_{i,j}(x_1, ..., x_s)$ which is a linear form over $\mathbb{C}$. Let $\mathbf{y} = (y_1, \ldots, y_n)$. Let us consider ...
282 views

### Can a minimal generating set for an ideal always be made into a Groebner basis?

Let $I\subseteq k[x_0,\ldots,x_n]$ be an ideal, generated by some polynomials $F_1,\ldots,F_r$, all homogeneous and of the same degree. Suppose $r$ is the smallest number of generators that will ...
232 views

### Infinitely many initial ideals for non-Artinian monomial orders?

Consider the polynomial ring $R=\mathbb Z[x_1,\ldots,x_n]$ and an ideal $I\subset R$. Let $<$ be a monomial order, i.e. a total order on the set of monomials in $R$ such that for any monomials $a$, ...
1 vote
245 views

### System of polynomial equations with a known root

I have 5 polynomial equations for 5 variables and I know that the set of roots is finite. All coefficients are integers. Ultimately I'd like to find all roots but finding the Groebner basis is ...