{{{id=1|
P.<x1,x2,x3,x4,x5,x6,x7,x8,x9> = PolynomialRing(GF(2), 9, order ='lex'); P
///
Multivariate Polynomial Ring in x1, x2, x3, x4, x5, x6, x7, x8, x9 over Finite Field of size 2
}}}

{{{id=2|
a=1; 
g=0; 
print "a =", a; 
print "g =", g;
///
a = 1
g = 0
}}}

{{{id=3|
I = ideal(x1+x4*x5+x4, x1+x2, x1+x3, x4+(g+1), x5+x6*x7+x6+x7+1, x6+x3*x8, x6+x7+x8+x9+x8*x9+x6*x8+x6*x9+x6*x8*x9, x8+a*(g+1)*x2, x9+(g+1)*(a+x8+a*x8)); I
///
Ideal (x1 + x4*x5 + x4, x1 + x2, x1 + x3, x4 + 1, x5 + x6*x7 + x6 + x7 + 1, x3*x8 + x6, x6*x8*x9 + x6*x8 + x6*x9 + x6 + x7 + x8*x9 + x8 + x9, x2 + x8, x9 + 1) of Multivariate Polynomial Ring in x1, x2, x3, x4, x5, x6, x7, x8, x9 over Finite Field of size 2
}}}

{{{id=4|
B = I.groebner_basis(); B
///
[x1 + 1, x2 + 1, x3 + 1, x4 + 1, x5, x6 + 1, x7 + 1, x8 + 1, x9 + 1]
}}}

{{{id=5|

///
}}}