ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 24 Nov 2018 15:08:46 +0100Finding the Groebner Basis of the following Ring. Is it possible? How could I make it work with multivariate polynomials?https://ask.sagemath.org/question/44409/finding-the-groebner-basis-of-the-following-ring-is-it-possible-how-could-i-make-it-work-with-multivariate-polynomials/ Hey guys,
I am trying to compute the groebner basis of a polynomial system that looks like this:
e = 48;
F.<r> = GF(2)[];
for p in F.polynomials(e):
if p.is_irreducible():
break;
R.<x> = PolynomialRing(GF(2),name="x").quotient(p)
I = Ideal([R.random_element(),R.random_element(),R.random_element(),R.random_element(),R.random_element(),R.random_element()])
print I.groebner_basis()
However I get an error: 'Ideal_pid' object has no attribute 'groebner_basis'
I am new to Sagemath so sorry if I misunderstand something. Also, how can I possibly make R to become a multivariate system by following the same structure, using an irreducible polynomial from GF(2) as presented in this code.
Thanks guys :)LujminaSat, 24 Nov 2018 15:08:46 +0100https://ask.sagemath.org/question/44409/