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