ASKSAGE: Sage Q&A Forum - Individual question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sun, 04 Dec 2016 19:38:18 -0600How to get complete list of polynomials in an ideal, if its generating set is given?https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/ I am using sage for working in polynomials in several variables. I want to ask,
1) if generating set of an ideal is given, then is there any command which will give me a complete list of polynomials in that ideal.
2) How to compute addition of two ideals in sage?Sat, 03 Dec 2016 04:58:49 -0600https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/Answer by slelievre for <p>I am using sage for working in polynomials in several variables. I want to ask,
1) if generating set of an ideal is given, then is there any command which will give me a complete list of polynomials in that ideal.
2) How to compute addition of two ideals in sage?</p>
https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/?answer=35891#post-id-35891(1) In general, an ideal is infinite, so it would not make sense to give a complete list.
Do you have a particular setting in mind where ideals are finite?
(2) To add ideals, just use the plus sign.
Example.
sage: R.<x, y, z> = QQ[]
sage: G = R.ideal(x^2)
sage: H = R.ideal([y^2, z*z])
sage: J = G + H
sage: J
Ideal (x^2, y^2, z^2) of Multivariate Polynomial Ring in x, y, z over Rational Field
Sat, 03 Dec 2016 05:36:29 -0600https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/?answer=35891#post-id-35891Comment by Nilesh for <p>(1) In general, an ideal is infinite, so it would not make sense to give a complete list.</p>
<p>Do you have a particular setting in mind where ideals are finite?</p>
<p>(2) To add ideals, just use the plus sign.</p>
<p>Example.</p>
<pre><code>sage: R.<x, y, z> = QQ[]
sage: G = R.ideal(x^2)
sage: H = R.ideal([y^2, z*z])
sage: J = G + H
sage: J
Ideal (x^2, y^2, z^2) of Multivariate Polynomial Ring in x, y, z over Rational Field
</code></pre>
https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/?comment=35915#post-id-35915Sir, if I work in a polynomial ring over a finite field with 2 elements in 35 variables, and find out reduced Grobner basis of that ideal, then will it be an ideal having finite generating set?(I think it has to be, by Hilbert basis theorem), I am unable to get that generating set.Sun, 04 Dec 2016 19:38:18 -0600https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/?comment=35915#post-id-35915Comment by slelievre for <p>(1) In general, an ideal is infinite, so it would not make sense to give a complete list.</p>
<p>Do you have a particular setting in mind where ideals are finite?</p>
<p>(2) To add ideals, just use the plus sign.</p>
<p>Example.</p>
<pre><code>sage: R.<x, y, z> = QQ[]
sage: G = R.ideal(x^2)
sage: H = R.ideal([y^2, z*z])
sage: J = G + H
sage: J
Ideal (x^2, y^2, z^2) of Multivariate Polynomial Ring in x, y, z over Rational Field
</code></pre>
https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/?comment=35896#post-id-35896@Nilesh -- still, an ideal would contain polynomials of arbitrary degree.Sat, 03 Dec 2016 07:56:43 -0600https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/?comment=35896#post-id-35896Comment by Nilesh for <p>(1) In general, an ideal is infinite, so it would not make sense to give a complete list.</p>
<p>Do you have a particular setting in mind where ideals are finite?</p>
<p>(2) To add ideals, just use the plus sign.</p>
<p>Example.</p>
<pre><code>sage: R.<x, y, z> = QQ[]
sage: G = R.ideal(x^2)
sage: H = R.ideal([y^2, z*z])
sage: J = G + H
sage: J
Ideal (x^2, y^2, z^2) of Multivariate Polynomial Ring in x, y, z over Rational Field
</code></pre>
https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/?comment=35893#post-id-35893I am thinking for an ideal in a polynomial ring in n variables over finite field with 2 elementsSat, 03 Dec 2016 07:19:18 -0600https://ask.sagemath.org/question/35888/how-to-get-complete-list-of-polynomials-in-an-ideal-if-its-generating-set-is-given/?comment=35893#post-id-35893