base reducedBase reducedBase <<reducedBase>> prunes redundant elements in the Grobner basis <<base>> and returns <<reducedBase>>. Ex. [(x^2+1). (x+1). (x^3).] reducedBase ---> [(x+1).]