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