Procedures:
D.4.3.1 blowup0 create presentation of blownup ring of ideal j D.4.3.2 elim variable n..m eliminated from id (ideal/module) D.4.3.3 elim1 p=product of vars to be eliminated from id D.4.3.4 nselect select generators not containing nth [..mth] variable D.4.3.5 sat saturated quotient of ideal/module id by ideal j D.4.3.6 select select generators containing all variables n...m D.4.3.7 select1 select generators containing one variable n...m