Maxima Function
poly_colon_ideal (polylist1, polylist2, varlist)
Returns the reduced Groebner basis of the colon ideal
I(polylist1):I(polylist2)
where polylist1 and polylist2 are two lists of polynomials.