source: git/Tst/Short/invar.tst @ 107aac

spielwiese
Last change on this file since 107aac was e84f553, checked in by Olaf Bachmann <obachman@…>, 24 years ago
* GMG's changes git-svn-id: file:///usr/local/Singular/svn/trunk@4010 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1023 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4LIB "ainvar.lib";
5
6  ring rw=0,(x(1..5)),dp;
7  matrix m[5][1];
8  m[3,1]=x(1);
9  m[4,1]=x(2);
10  m[5,1]=1+x(1)*x(4)+x(2)*x(3);
11  ideal in=invariantRing(m,x(3),x(1),0);
12  in;
13kill rw;
14  ring rf=0,(x(1..7)),dp;
15  matrix m[7][1];
16  m[4,1]=x(1)^3;
17  m[5,1]=x(2)^3;
18  m[6,1]=x(3)^3;
19  m[7,1]=(x(1)*x(2)*x(3))^2;
20  ideal in=invariantRing(m,x(4),x(1),6);
21  in;
22kill rf;
23  ring rd=0,(x(1..5)),dp;
24  matrix m[5][1];
25  m[3,1]=x(1);
26  m[4,1]=x(2);
27  m[5,1]=1+x(1)*x(4)^2;
28  ideal in=invariantRing(m,x(3),x(1),0);
29  in;
30 
31  actionIsProper(m);
32 
33  //computes the relations between the invariants
34  int z=size(in);
35  ideal null;
36  ring r1=0,(y(1..z)),dp;
37  setring rd;
38  map phi=r1,in;
39  setring r1; 
40  ideal ker=preimage(rd,phi,null);
41  ker;
42kill rd,r1;
43  int n=5;
44 
45  ring w=0,(x(1..n)),wp(1..n);
46 
47  // definition of the vectorfield m=sum m[i]*d/dx(i)
48  matrix m[n][1];
49  int i;
50  for (i=1;i<=n-1;i=i+1)
51  {
52    m[i+1,1]=x(i);
53  }
54  ideal in=invariantRing(m,x(2),x(1),0);
55  in;
56kill w;
57tst_status(1);$
Note: See TracBrowser for help on using the repository browser.