|
7.3.5 eliminate (plural)
Syntax:
eliminate ( ideal_expression, product_of_ring_variables)
eliminate ( module_expression, product_of_ring_variables)
Type:
- the same as the type of the first argument
Purpose:
- eliminates variables occurring as factors of the second argument from an
ideal (resp. a submodule of a free module), by intersecting it
(resp. each component of the submodule) with the subring not containing these variables.
Note:
eliminate neither needs a special ordering on the basering nor a Groebner basis as input.
Moreover, eliminate does not work in non-commutative quotients.
Remark:
- in a non-commutative algebra, not every subset of a set of variables generates
a proper subalgebra. But if it is so, there may be cases, when no elimination is possible.
In these situations error messages will be reported.
Example:
See
ideal (plural);
module (plural);
std (plural).
|