fieker-DuValspielwiese
Last change
on this file since 73248d was
75f460,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
format
|
-
Property mode set to
100644
|
File size:
1012 bytes
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | LIB "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; |
---|
13 | kill 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; |
---|
22 | kill 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; |
---|
42 | kill 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; |
---|
56 | kill w; |
---|
57 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.