|
D.4.5.4 elim1
Procedure from library elim.lib (see elim_lib).
- Usage:
- elim1(id,arg); id ideal/module, arg can be either an intvec v or a
product p of variables (type poly)
- Return:
- ideal/module obtained from id by eliminating either the variables
with indices appearing in v or the variables appearing in p
- Method:
- elim1 calls eliminate but in a ring with ordering dp (resp. ls)
if the first var not to be eliminated belongs to a -p (resp. -s)
ordering.
- Note:
- no special monomial ordering is required.
This proc uses 'execute' or calls a procedure using 'execute'.
Example:
See also:
elim;
eliminate.
|