# Maple code for computing the reduced Groebner basis of the polynomial system eqs.

restart:
with(LinearAlgebra):
with(Groebner):
eqs := [x**2 + y**2 - 1, x + y];
vo := [x, y];
mo := plex(op(vo));
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;
