source: git/Tst/Old/m12ex.tst @ e706ff

spielwiese
Last change on this file since e706ff was 882ae9c, checked in by Olaf Bachmann <obachman@…>, 24 years ago
* added file to tests git-svn-id: file:///usr/local/Singular/svn/trunk@3868 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 944 bytes
Line 
1  LIB "matrix.lib"; LIB "sing.lib";
2  int n = 4;
3  int m = 3;
4  int N = n*(n+1)/2;           // will become number of variables
5  ring R = 32003,x(1..N),dp;
6  matrix X = symmat(n);        // proc from matrix.lib
7                               // creates the symmetric generic nxn matrix
8  print(X);
9  ideal J = minor(X,m);
10  J=std(J);
11  // Kaehler differentials D_k(R)
12  // of R=k[x1..xn]/J:
13  module D = J*freemodule(N)+transpose(jacob(J));
14  ncols(D);
15  nrows(D);
16  //
17  // Note: D is a submodule with 110 generators of a free module
18  // of rank 10 over a polynomial ring in 10 variables.
19  // Compute a full resolution of D with sres.
20  // This takes about 17 sec on a Mac PB 520c and 2 sec an a HP 735
21  module sD = std(D);
22  list Dres = sres(sD,0);                // the full resolution
23  intmat B = betti(Dres);
24  print(B,"betti");
25  N-ncols(B)+1;                          // the desired depth
26  killall();
27LIB "tst.lib";tst_status(1);$
Note: See TracBrowser for help on using the repository browser.