source: git/Tst/Manual/centerRed.tst @ 1ebec3

spielwiese
Last change on this file since 1ebec3 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: 500 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB "central.lib";
3ring AA = 0,(x,y,z),dp;
4matrix D[3][3]=0;
5D[1,2]=z;
6def A = nc_algebra(1,D); setring A; // it is a Heisenberg algebra
7// find a basis of the vector space of
8// central elements of degree <= 3:
9ideal VSZ = centerVS(3);
10// There should be 3 degrees of z.
11VSZ;
12inCenter(VSZ); // check the result
13// find "minimal" central elements of degree <= 3
14ideal SAZ = centerRed(3);
15// Only 'z' must be computed
16SAZ;
17inCenter(SAZ); // check the result
18tst_status(1);$
Note: See TracBrowser for help on using the repository browser.