# Questions tagged [groebner-bases]

The tag has no usage guidance.

82 questions
Filter by
Sorted by
Tagged with
53 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) ...
86 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
117 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 ...
55 views

### Solving a large system of equations when a large subset factors

I have a large (~1000 equations) overdetermined system of degree 3 polynomials with ~140 variables. I would like to find a complete solution set for this system, however, the Gröbner basis seems to be ...
48 views

### Is the multivariate polynomial division always not unique?

Given an integer $n\geq 2,$ a monomial order $<,$ a multivariate polynomial $f\in k[x_1,\dots,x_n]$ and a list $F=(f_1,\dots,f_n)$ of multivariate polynomials there are quotients $q_1,\dots,q_n$ ...
169 views

179 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 ...
423 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 ...
166 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 ...
199 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 ...
223 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
195 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 ...
845 views