|
5.1.57 interred
Syntax:
interred ( ideal_expression )
interred ( module_expression )
Type:
- the same as the input type
Purpose:
- interreduces a set of polynomials/vectors.
-
-
-
in the case of a global ordering (polynomial ring) and
option(redSB); :
does not divide m for all monomials m of
-
in the case of a local or mixed ordering (localization of polynomial ring) and
option(redSB); :
if
then
Example:
See
ideal;
module;
std.
|