source:
git/Tst/Manual/moduloSlim.tst
@
6fb723
| Last change on this file since 6fb723 was 894057, checked in by , 13 years ago | |
|---|---|
|
|
| File size: 660 bytes | |
| Line | |
|---|---|
| 1 | LIB "tst.lib"; tst_init(); |
| 2 | LIB "nctools.lib"; |
| 3 | LIB "ncalg.lib"; |
| 4 | ring r; // first classical example for modulo |
| 5 | ideal h1=x,y,z; ideal h2=x; |
| 6 | module m=moduloSlim(h1,h2); |
| 7 | print(m); |
| 8 | // now, a noncommutative example |
| 9 | def A = makeUsl2(); setring A; // this algebra is U(sl_2) |
| 10 | ideal H2 = e2,f2,h2-1; H2 = twostd(H2); |
| 11 | print(matrix(H2)); // print H2 in a compact form |
| 12 | ideal H1 = std(e); |
| 13 | ideal T = moduloSlim(H1,H2); |
| 14 | T = std( NF(std(H2+T),H2) ); |
| 15 | T; |
| 16 | // now, a matrix example: |
| 17 | ring r2 = 0,(x,d), (dp); |
| 18 | def R = nc_algebra(1,1); setring R; |
| 19 | matrix M[2][2] = d, 0, 0, d*(x*d); |
| 20 | matrix P[2][1] = (8x+7)*d+9x, (x2+1)*d + 5*x; |
| 21 | module X = moduloSlim(P,M); |
| 22 | print(X); |
| 23 | tst_status(1);$ |
Note: See TracBrowser
for help on using the repository browser.
