Top
Back: minres (plural)
Forward: mres (plural)
FastBack: Data types (plural)
FastForward: Mathematical background (plural)
Up: Functions (plural)
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.3.12 modulo (plural)

Syntax:
modulo ( ideal_expression, ideal_expression )
modulo ( module_expression, module_expression )
Type:
module
Purpose:
modulo(h1,h2) represents $h_1/(h_1 \cap h_2) \cong (h_1+h_2)/h_2$, where $h_1$ and $h_2$are considered as submodules of the same free module $R^s$(s=1 for ideals).
Let $H_1$ (resp. $H_2$) be the matrix of size $l \times k$ (resp. $l \times m$), having the generators of $h_1$ (resp. $h_2$)as columns.
Then $h_1/(h_1 \cap h_2) \cong R^k / ker(\overline{H_1})$, where $\overline{H_1}: R^k \rightarrow R^s/Im(H_2)=R^s/h_2$ is the induced map.
modulo(h1,h2) returns generators of the kernel of this induced map.
Example:
 
LIB "ncalg.lib";
def A = makeUsl2();
setring A; // this algebra is U(sl_2)
option(redSB);
option(redTail);
ideal I = e2,f2,h2-1;
I = twostd(I);
print(matrix(I)); // print I in a compact form
==> h2-1,fh-f,eh+e,f2,2ef-h-1,e2
ideal E = std(e);
ideal T = modulo(E,I);
T = NF(std(I+T),I);
T = std(T);
T;
==> T[1]=h-1
==> T[2]=e
See also syz (plural).


Top Back: minres (plural) Forward: mres (plural) FastBack: Data types (plural) FastForward: Mathematical background (plural) Up: Functions (plural) Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.