source: git/Tst/Manual/dim_BR_PLURAL_BR.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: 437 bytes
Line 
1LIB "tst.lib"; tst_init();
2  ring r=0,(x,y,Dx,Dy),dp;
3  matrix M[4][4]; M[1,3]=1;M[2,4]=1;
4  def R = nc_algebra(1,M); // 2nd Weyl algebra
5  setring R;
6  dim(std(0)); // the GK dimension of the ring itself
7  ideal I=x*Dy^2-2*y*Dy^2+2*Dy, Dx^3+3*Dy^2;
8  dim(std(I)); // the GK dimension of the module R/I
9  module T = (x*Dx -2)*gen(1), Dx^3*gen(1), (y*Dy +3)*gen(2);
10  dim(std(T)); // the GK dimension of the module  R^2/T
11tst_status(1);$
Note: See TracBrowser for help on using the repository browser.