Ideal Extension and Contraction

Roman Pearce

Ideal extension and contraction is a standard technique for reducing
ideal computations to the zero-dimensional case.  I will briefly explain
the technique and its role in the Polynomial Ideals package.
I will demo the package which is now more or less complete.