elim.lib
Elimination, Saturation and Blowing up
Procedures:
D.4.2.1 blowup0 create presentation of blownup ring of ideal j D.4.2.2 elim variable n..m eliminated from id (ideal/module) D.4.2.3 elim1 p=product of vars to be eliminated from id D.4.2.4 nselect select generators not containing n-th [..m-th] variable D.4.2.5 sat saturated quotient of ideal/module id by ideal j D.4.2.6 select select generators containing all variables n...m D.4.2.7 select1 select generators containing one variable n...m