source: git/Tst/Long/finvar2_l.tst @ 887634

spielwiese
Last change on this file since 887634 was 2c0350, checked in by Hans Schönemann <hannes@…>, 15 years ago
*hannes: format git-svn-id: file:///usr/local/Singular/svn/trunk@11290 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1.2 KB
Line 
1// File: finvar2_l.tst
2// Long tests for finvar.lib
3
4LIB "tst.lib";
5tst_init();
6LIB "finvar.lib";
7option(redSB);
8
9
10ring R2=29,(x,y,z),(L(255),lp);
11number e=7;
12number i=12;
13number s=6;
14number a=(e^5-e^2)/(i*s);
15number b=(e^3-e^4)/(i*s);                         
16number c=(e^6-e)/(i*s);                           
17matrix A[3][3]=a,b,c,b,c,a,c,a,b;
18matrix B[3][3]=e,0,0,0,e^4,0,0,0,e^2;
19list L=primary_invariants(A,B,intvec(1,0,1));
20// the following is not unique!
21L;
22tst_status();
23matrix S, IS1 = secondary_and_irreducibles_no_molien(L[1..size(L)],1);
24// the following is not unique!
25S;
26IS1;
27tst_status();
28kill S;
29matrix IS2=irred_secondary_no_molien(L[1..size(L)],1);
30// the following is not unique!
31IS2;
32tst_status();
33list L2 = invariant_ring(A,B,intvec(0,0,1));
34// the following is not unique!
35L2;
36tst_status();
37list L3 = invariant_ring(A,B,intvec(1,0,1));
38// the following is not unique!
39L3;
40tst_status();
41matrix TST2a = groebner(ideal(L[1])+ideal(IS1));
42matrix TST2b = groebner(ideal(L[1])+ideal(IS2));
43kill L,IS1,IS2;
44matrix TST2c = groebner(ideal(L2[1])+ideal(L2[3]));
45matrix TST2d = groebner(ideal(L3[1])+ideal(L3[3]));
46// the following is unique
47TST2a;
48TST2a==TST2b;
49TST2a==TST2c;
50TST2a==TST2d;
51tst_status();
52kill R2;
53
54tst_status(1);$
Note: See TracBrowser for help on using the repository browser.