Home Online Manual
Top
Back: makedistinguished
Forward: blowup0
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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 select  select generators containing all variables given by v
D.4.7.9 select1  select generators containing one variable given by v