|
5.1.115 quotient
Syntax:
quotient ( ideal_expression, ideal_expression )
quotient ( module_expression, module_expression )
Type:
- ideal
Syntax:
quotient ( module_expression, ideal_expression )
Type:
- module
Purpose:
- computes the ideal quotient, resp. module quotient. Let
R be the
basering, I,J ideals and M a module in
Then
-
quotient(I,J) =
-
quotient(M,J) =
Example:
See
fglmquot;
ideal;
module.
|