The groebner-bases tag has no wiki summary.

**0**

votes

**1**answer

125 views

### Computing toric ideals via saturation and Groebner bases of toric ideals

About a month ago I asked this question on math.stackexchange and unfortunately there was no response. Perhaps someone here knows the answer.
Let $A \in \mathbb{Z}^{m \times n}$ be a matrix of full ...

**7**

votes

**2**answers

425 views

### Dimension of a homogeneous polynomial system

Let $m\geq4$ be an even integer, $V\subset\mathbb{C}^{m-1}$ be the solution set of the following polynomial equations:
\begin{cases}
...

**4**

votes

**1**answer

104 views

### Algorithm to detect if an element of a (commutative) ring is in a subring?

For rings finitely-generated over a field, the theory of Groebner bases gives us quite an efficient algorithm for determining whether an element of the ring is in a given ideal of the ring.
Is there ...

**-1**

votes

**1**answer

56 views

### How to recover the ideal from grobner basis of kernel of ann(x)

M -> ann(x)
i can find the grobner basis of kernel of ann(x) and need the final step to recover this basis to ideal
as i know, eliminate is not for all cases, what is the general practice to treat ...

**5**

votes

**3**answers

282 views

### Groebner bases for power series rings (reference request)

Hello,
Could you help me with a reference to elementary properties of Groebner bases in rings of formal power series over a field? I am especially interested in generic initial ideals.
Thank you in ...

**7**

votes

**2**answers

253 views

### Solving the Field Membership Problem using Grobner Bases

Is there an easy way to determine whether a set of elements in a field generates the whole field or only a subfield?
Specifically, I have a subfield of $k(x,y)$ described in terms of a canonical set ...

**5**

votes

**0**answers

243 views

### Testing isomorphism of finitely generated algebras

Let $A=\mathbf{Q}[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over the rational numbers. Let $B=\mathbf{Q}[f_1,\ldots,f_r]$ and
$C=\mathbf{Q}[g_1,\ldots,g_s]$ be two finitely generated ...

**4**

votes

**1**answer

318 views

### Reasonable implementation of finding Gröbner bases over non-field coefficient rings

Gröbner bases are usually considered in the ring of polynomials over a field. However, there are useful definitions and algorithms for Gröbner bases over other coefficient rings; see, for instance, ...

**8**

votes

**2**answers

272 views

### Monomial orderings in noncommutative setting

An ordering of monomials in the free associative algebra $k\langle x_1,\ldots,x_n\rangle$ is called a monomial ordering (EDIT: it seems that an equally common term used in this context is "term ...

**3**

votes

**0**answers

187 views

### Bounding the degrees in a Bézout relation for integer polynomials

Let $A$ and $B$ be two polynomials in $\mathbf Z[X]$ which generate $\mathbf Z[X]$, that is assume that there exist polynomials $U$ and $V$ in $\mathbf Z[X]$ such that
$$
A \cdot U + B \cdot V=1.
$$
...

**2**

votes

**1**answer

232 views

### What does the d-slice of a weighted polynomial algebra look like?

This question comes from the explicit construction of a smooth projective model of a hyperelliptic curve. Nevertheless it is fully elementary and, to me, more interesting than hyperelliptic curves.
...

**6**

votes

**1**answer

348 views

### Can we make Buchberger's algorithm faster for a given ideal if we are allowed to vary the monomial order?

Suppose we have a finite set of generators for an ideal $I \subset R := \Bbbk[x_1,\dotsc, x_n]$, where $\Bbbk$ is a field. If we choose a monomial ordering, then Buchberger's algorithm allows us to ...

**2**

votes

**1**answer

836 views

### Existence of a real-valued solution to system of multivariate polynomial equations

Given a system of multivariate, polynomial equations, is there a way to determine if it has a solution in a given field (for instance the set of all reals). I don't care what the solution is, I just ...

**5**

votes

**1**answer

525 views

### PBW theorem over a Q-algebra, without freeness or flatness

Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-Lie algebra, which is not necessarily free as a $k$-module. Let $S\left(L\right)$ denote the symmetric algebra of $L$ (over $k$), constructed ...

**2**

votes

**2**answers

438 views

### Nonstandard monomial orders?

Are there any articles/books/examples where a non-standard monomial order is used?
What are the applications of these monomial orders? In particular, uses in groebner bases and variable elimination.
...

**2**

votes

**2**answers

1k views

### Numerical solution for a system of multivariate polynomial equations

Hi all,
I have a system of 6th-order polynomial equations in 4 variables $q_1, q_2, q_3, q_4$ (i.e. polynomials with all the terms such as $q_1^6, q_2^6, q_2^4 q_3^2$):
$P_k(q_1, q_2, q_3, q_4) = 0$ ...

**3**

votes

**1**answer

341 views

### Is the first part of Eisenbud's Proposition 15.15's proof o.k?

In the chapter on Gröbner bases from Eisenbud's "Commutative Algebra" the following statement appears as Proposition 15.15 (page 344):
Let $F$ be a free $S$ module with basis and monomial order ...

**3**

votes

**4**answers

836 views

### Systems of polynomial equations

Hi all,
I'm an engineer assigned to determine some parameters of a manipulator (ie., calibration). It has a number of parameters, but after some manipulations of its dynamic equations, I can have the ...

**5**

votes

**2**answers

537 views

### Differential ideal membership problem

We know that in the ordinary algebra ideal case, the ideal membership problem can be solved by the Grobner Base theory, then, is there a counterpart theory in the differential ideal case?
To be ...

**4**

votes

**4**answers

349 views

### Lower bounds on the degrees of representatives of $u^n$ as $n \to \infty$

Let $k$ be an algebraically closed field and $A$ a finitely generated $k$-algebra, together with a specified surjective morphism $\phi \colon k[x_1, \dotsc, x_n] \to A$. For $f \in A$, define ...

**1**

vote

**1**answer

253 views

### Any implemented algorithm to compute the closure of an affine variety in a product of projective spaces?

Let $I$ be an ideal of $k[x_1, \ldots, x_m, y_1, \ldots, y_n]$, $k$ being a field. Does any of the computer algebra systems implement any algorithm to calculate the generators of the ...