1 #ifndef SATURATION_H_INCLUDED 2 #define SATURATION_H_INCLUDED 3 4 #include "polynomial.h" 5 6 7 PolynomialSet nonHomogeneousSaturation(PolynomialSet const &s);//Computes (I:x_1..x_n^\infty), returns marked Groebner basis 8 9 // Not implemented: 10 //PolynomialSet colonIdeal(PolynomialSet const &ideal, polynomial f);// Computes a Gr\"obner basis for (I:f). The input set "ideal" does not have to be a Gr\"obner basis 11 12 13 PolynomialSet idealIntersection(PolynomialSet const &a, PolynomialSet const &b);//Computes the intersection of two ideals in the same polynomial ring 14 15 16 #endif 17