Maxima Function
poly_ideal_intersection (polylist1, polylist2, varlist)
poly_ideal_intersection returns the intersection of two ideals.
poly_ideal_intersection