### 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

User manual for Singular version 4.4.1, 2025, generated by texi2html.