* Changed implementation of Ideals to use existential-quantified sized vector.
* Implemented the algorithms to calculate elimination ideals.
* Implemented the algorithms to calculate quotient and saturation ideals.