|
7.3.14 modulo (plural)
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
is the induced map given by
modulo(h1,h2) returns generators of
the kernel of this induced map.
Note: If, for at least one of
- the attribute
isHomog is st, then modulo(h1,h2) also sets this attribute (if the weights are compatible).
Example:
See also
syz (plural).
|