|
5.1.85 modulo
Syntax:
modulo ( ideal_expression, ideal_expression )
modulo ( module_expression, module_expression )
Type:
- module
Purpose:
modulo(h1,h2)
where
are considered as submodules of the same free module
(l=1 for ideals). Let
as columns.
Then
where
modulo(h1,h2) returns generators of
the kernel of this induced map.
Note:
- If for at least one of
h1 or h2 the attribute "isHomog" is
set, modulo(h1,h2) also sets the attribute "isHomog"
(if possible, that is, if the weights are compatible).
Example:
See
hom_kernel;
syz.
|