% pentG.in 
% first example from paper given by grobner basis.
% first line R: 5 specifies ring with 5 variables a,b,c,d,e.
R: 5
G: {? a^2*c-b^2*e, ? a^2*d-b*e^2, ? b*d-c*e}