spielwiese
|
Last change
on this file since 951db29 was
894057,
checked in by Oleksandr Motsak <motsak@…>, 13 years ago
|
|
ADD: Tests from online manual (res+stat on mamawutz): short ones Tst/Manual/s.lst
|
-
Property mode set to
100644
|
|
File size:
871 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "central.lib"; |
|---|
| 3 | ring AA = 0,(e,f,h),dp; |
|---|
| 4 | matrix D[3][3]=0; |
|---|
| 5 | D[1,2]=-h; D[1,3]=2*e; D[2,3]=-2*f; |
|---|
| 6 | def A = nc_algebra(1,D); // this algebra is U(sl_2) |
|---|
| 7 | setring A; |
|---|
| 8 | // Let us consider the linear map Ad_{e} from A_2 into A. |
|---|
| 9 | // Compute the PBW basis of A_2: |
|---|
| 10 | ideal Basis = PBW_maxDeg( 2 ); Basis; |
|---|
| 11 | // Compute images of basis elements under the linear map Ad_e: |
|---|
| 12 | ideal Image = applyAdF( Basis, e ); Image; |
|---|
| 13 | // Now we have a linear map given by: Basis_i --> Image_i |
|---|
| 14 | // Let's compute its kernel K: |
|---|
| 15 | // 1. compute syzygy module C: |
|---|
| 16 | module C = linearMapKernel( Image ); C; |
|---|
| 17 | // 2. compute corresponding combinations of basis vectors: |
|---|
| 18 | ideal K = linearCombinations(Basis, C); K; |
|---|
| 19 | // Let's check that Ad_e(K) is zero: |
|---|
| 20 | ideal Z = applyAdF( K, e ); Z; |
|---|
| 21 | // Now linearMapKernel will return a single integer 0: |
|---|
| 22 | def CC = linearMapKernel(Z); typeof(CC); CC; |
|---|
| 23 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
