Back to Forum | View unanswered posts | View active topics
 
|
Page 1 of 1
|
[ 3 posts ] |
|
| Author |
Message |
|
Dmitry
|
Post subject: how to check that an ideal is a monomial ideal?  Posted: Tue Jan 19, 2010 10:34 am |
|
Joined: Mon Jun 29, 2009 1:51 pm
Posts: 20
|
|
Dear Users,
is there a way to check in Singular that an ideal in a polynomial ring (say in two variables) has a monomial basis?
Maybe even to see this basis explicitly?
(My knowledge of Groebner bases is infinitesimal, sorry if the question is stupid.)
|
|
| Top |
|
 |
|
greuel
|
Post subject: Re: how to check that an ideal is a monomial ideal? Posted: Tue Jan 19, 2010 3:18 pm |
|
Joined: Mon Aug 29, 2005 9:22 am
Posts: 41
Location: Kaiserslautern, Germany
|
|
If an ideal I is generated by monomials then these monomials are a GB of I with respect to any monomial ordering. Since the reduced GB of an ideal is unique (only depending on the ordering), I is a monomial ideal iff the reduced GB of I w.r.t. any monomial ordering consists of monomials.
|
|
| Top |
|
|
|
Dmitry
|
Post subject: Re: how to check that an ideal is a monomial ideal? Posted: Tue Jan 19, 2010 7:30 pm |
|
Joined: Mon Jun 29, 2009 1:51 pm
Posts: 20
|
Thanks, it works! 
|
|
| Top |
|
|
|
|
Page 1 of 1
|
[ 3 posts ] |
|
|
You can post new topics in this forum
You can reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum
|
|
It is currently Fri May 13, 2022 11:06 am
|
|
Login
Register
Forum FAQ
Forum Search
