D.4.7 elim_lib

Library:

elim.lib

Purpose:

Elimination, Saturation and Blowing up

Procedures:

D.4.7.1 blowup0		create presentation of blownup ring of ideal j
D.4.7.2 elimRing		create ring with block ordering for elimating vars in p
D.4.7.3 elim		variables .. eliminated from id (ideal/module)
D.4.7.4 elim1		variables .. eliminated from id (different algorithm)
D.4.7.5 elim2		variables .. eliminated from id (different algorithm)
D.4.7.6 nselect		select generators not containing variables given by v
D.4.7.7 sat		saturated quotient of ideal/module id by ideal j
D.4.7.8 sat_with_exp		saturated quotient of ideal/module id by ideal j with exponent
D.4.7.9 select		select generators containing all variables given by v
D.4.7.10 select1		select generators containing one variable given by v