|
7.7.13.0. moduloSlim
Procedure from library nctools.lib (see nctools_lib).
- Usage:
- moduloSlim(A,B); A,B module/matrix/ideal
- Return:
- module
- Purpose:
- compute
modulo with slimgb as engine
Example:
| LIB "nctools.lib";
LIB "ncalg.lib";
ring r; // first classical example for modulo
ideal h1=x,y,z; ideal h2=x;
module m=moduloSlim(h1,h2);
print(m);
==> 1,0,0, 0,
==> 0,0,z, x,
==> 0,x,-y,0
// now, a noncommutative example
def A = makeUsl2(); setring A; // this algebra is U(sl_2)
ideal H2 = e2,f2,h2-1; H2 = twostd(H2);
print(matrix(H2)); // print H2 in a compact form
==> h2-1,fh-f,eh+e,f2,2ef-h-1,e2
ideal H1 = std(e);
ideal T = moduloSlim(H1,H2);
T = std( NF(std(H2+T),H2) );
T;
==> T[1]=h-1
==> T[2]=e
|
|