spielwiese
Last change
on this file since 76ce4e6 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:
685 bytes
|
Line | |
---|
1 | LIB "tst.lib"; tst_init(); |
---|
2 | ring r=(0,Q),(x,y,z),Dp; |
---|
3 | minpoly=Q^2-Q+1; |
---|
4 | matrix C[3][3]; matrix D[3][3]; |
---|
5 | C[1,2]=Q2; C[1,3]=1/Q2; C[2,3]=Q2; |
---|
6 | D[1,2]=-Q*z; D[1,3]=1/Q*y; D[2,3]=-Q*x; |
---|
7 | def R=nc_algebra(C,D); setring R; R; |
---|
8 | // this is a quantum deformation of U(so_3), |
---|
9 | // where Q is a 6th root of unity |
---|
10 | poly p=Q^4*x2+y2+Q^4*z2+Q*(1-Q^4)*x*y*z; |
---|
11 | // p is the central element of the algebra |
---|
12 | p=p^3; // any power of a central element is central |
---|
13 | poly q=(x+Q*y+Q^2*z)^4; |
---|
14 | // take q to be some big noncentral element |
---|
15 | size(q); // check how many monomials are in big polynomial q |
---|
16 | bracket(p,q); // check p*q=q*p |
---|
17 | // a more common behaviour of the bracket follows: |
---|
18 | bracket(x+Q*y+Q^2*z,z); |
---|
19 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.