1 | // File: finvar_l.tst |
---|
2 | // Long tests for finvar.lib |
---|
3 | |
---|
4 | LIB "tst.lib"; |
---|
5 | tst_init(); |
---|
6 | LIB "finvar.lib"; |
---|
7 | |
---|
8 | ring R1=0,(u,v,w,x,y,z),dp; |
---|
9 | matrix A[6][6]; |
---|
10 | A[1,2]=1; |
---|
11 | A[2,3]=1; |
---|
12 | A[3,1]=1; |
---|
13 | A[4,5]=1; |
---|
14 | A[5,6]=1; |
---|
15 | A[6,4]=1; |
---|
16 | matrix B[6][6]; |
---|
17 | B[1,2]=1; |
---|
18 | B[2,1]=1; |
---|
19 | B[3,3]=1; |
---|
20 | B[4,5]=1; |
---|
21 | B[5,4]=1; |
---|
22 | B[6,6]=1; |
---|
23 | list L=invariant_ring(A,B,intvec(0,0,1)); |
---|
24 | L; |
---|
25 | |
---|
26 | ring R2=29,(x,y,z),dp; |
---|
27 | number e=7; |
---|
28 | number i=12; |
---|
29 | number s=6; |
---|
30 | number a=(e^5-e^2)/(i*s); |
---|
31 | number b=(e^3-e^4)/(i*s); |
---|
32 | number c=(e^6-e)/(i*s); |
---|
33 | matrix A[3][3]=a,b,c,b,c,a,c,a,b; |
---|
34 | matrix B[3][3]=e,0,0,0,e^4,0,0,0,e^2; |
---|
35 | list L=primary_invariants(A,B,intvec(1,0,1)); |
---|
36 | L; |
---|
37 | matrix S=secondary_no_molien(L[1..size(L)],1); |
---|
38 | S; |
---|
39 | |
---|
40 | ring R3=2,(w,x,y,z),dp; |
---|
41 | matrix A[4][4]=0,1,0,0,-1,0,0,0,0,0,0,-1,0,0,1,0; |
---|
42 | matrix B[4][4]=0,0,1,0,0,0,0,-1,-1,0,0,0,0,1,0,0; |
---|
43 | list L=invariant_ring(A,B,intvec(0,0,1)); |
---|
44 | L; |
---|
45 | |
---|
46 | ring R4=11,(x,y),dp; |
---|
47 | matrix A[2][2]=4^3,0,0,4^2; |
---|
48 | number f=4+4^4-4^2-4^3; |
---|
49 | matrix D[2][2]=4^4-4,4^2-4^3,4^2-4^3,4-4^4; |
---|
50 | D=(1/f)*D; |
---|
51 | list L=invariant_ring(A,D,intvec(0,0,1)); |
---|
52 | L; |
---|
53 | |
---|
54 | tst_status(1);$ |
---|