source: git/Tst/Buch/Example_1_9_34.tst @ 8b0fbb

spielwiese
Last change on this file since 8b0fbb was a7efa79, checked in by Hans Schönemann <hannes@…>, 17 years ago
*hannes: new book version git-svn-id: file:///usr/local/Singular/svn/trunk@10182 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 617 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4================================ example 1.9.34 ============================
5
6LIB "gkdim.lib";
7LIB "ncalg.lib";
8def A = makeUsl(2); // set up U(sl_2)
9setring A;
10ideal I  = e2,f;
11ideal LI = std(I);
12GKdim(LI);
13ideal TI = twostd(I);
14GKdim(TI);
15ideal Z = 4*e*f + h^2 - 4*h;
16Z = std(Z);
17GKdim(Z);
18ring B = 0,(a),dp;
19def  C = A + B;
20setring C;
21ideal I = e^3, f^3, h^3-4*h, 4*e*f+h^2-2*h - a;
22I = std(I);
23GKdim(I);
24ideal J = eliminate(I,e*f*h);
25GKdim(J);
26setring A;
27resolution F = nres(LI,0); // we computed it before
28GKdim(F[1]); // this is LI itself
29GKdim(F[2]);
30GKdim(F[3]);
31
32tst_status(1);$
33
Note: See TracBrowser for help on using the repository browser.