-*- M2 -*-
Title: Comprehensive (or Parametrized) Groebner bases
Description: Given an ideal in a polynomial ring k[a,b,c...][x,y,z...],
where we think of a,b,c... as "parameters", find a set of generators
that is a GB under every specialization of a,b,c... to elements of k.
Use the technique to compute flattening stratifications
=============================================================================
Proposed by: Adam Boocher
Potential Advisor: David Eisenbud
Project assigned to: Adam Boocher
Current status: In progress
=============================================================================
Progress log: Boocher noticed that there had been
an implementation in Risa/Asir, though its web
site is now dead. DE wrote to Takayama. Meantime, Boocher is working
on the project.