# Maple code for computing the reduced lexicographic Groebner basis of the set of polynomial equations eqX.

restart:
with(LinearAlgebra):
with(Groebner):
eqs := [];
vo := [];
mo := ;
B := Basis(eqs, mo):
for i to nops(B) do
    B[i] := evalf[20](B[i]/LeadingCoefficient(B[i], mo));
end do:
B;
fd := open("mapleIO/gb.txt",WRITE):
fprintf(fd,convert(B,string)):
close(fd):
quit;
