|
D.4.5.5 elim2
Procedure from library elim.lib (see elim_lib).
- Usage:
- elim2(id,v); id ideal/module, v intvec
- Returns:
- ideal/module obtained from id by eliminating variables in v
- Note:
- no special monomial ordering is required, result is a SB with
respect to ordering dp (resp. ls) if the first var not to be
eliminated belongs to a -p (resp. -s) blockordering
This proc uses 'execute' or calls a procedure using 'execute'.
Example:
See also:
elim;
elim1;
eliminate.
|