source: git/Tst/Short/fglm1_s.tst @ 010b3f

spielwiese
Last change on this file since 010b3f was 341696, checked in by Hans Schönemann <hannes@…>, 14 years ago
Adding Id property to all files git-svn-id: file:///usr/local/Singular/svn/trunk@12231 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.6 KB
Line 
1// $Id$
2
3//
4// fglm_s.tst - short tests for fglm and stdfglm
5//              fglm: reco1, omdi, cyclic5 in char 32003 and 0
6//           stdfglm: caprasse in char 32003 and 0
7//
8
9
10LIB "tst.lib";
11tst_init();
12tst_ignore("CVS: $Id$");
13
14option(redSB);
15
16// =================
17// reco1, char 32003
18ring r=32003,(x,y), dp;
19ideal i= jacob(x5+y11+xy9+x3y9);
20ideal is=std(i);
21ring s=32003,(x,y), lp;
22fglm(r,is);
23kill r,s;
24
25// =============
26// reco1, char 0
27ring r=0,(x,y), dp;
28ideal i= jacob(x5+y11+xy9+x3y9);
29ideal is=std(i);
30ring s=0,(x,y), lp;
31fglm(r,is);
32kill r,s;
33
34// ===============================================
35// omdi, char 32003, with permutation of variables
36ring r=32003,(a,b,c,u,v,w,x,y,z), dp;
37ideal i=a+c+v+2x-1, ab+cu+2vw+2xy+2xz-2/3, ab2+cu2+2vw2+2xy2+2xz2-2/5, ab3+cu3+2vw3+2xy3+2xz3-2/7, ab4+cu4+2vw4+2xy4+2xz4-2/9, vw2+2xyz-1/9, vw4+2xy2z2-1/25, vw3+xyz2+xy2z-1/15, vw4+xyz3+xy3z-1/21;
38ideal is=std(i);
39ring s=32003,(u,v,w,x,y,z,a,b,c), lp;
40fglm(r,is);
41kill r,s;
42
43// ============
44// omdi, char 0
45ring r=0,(a,b,c,u,v,w,x,y,z), dp;
46ideal i=a+c+v+2x-1, ab+cu+2vw+2xy+2xz-2/3, ab2+cu2+2vw2+2xy2+2xz2-2/5, ab3+cu3+2vw3+2xy3+2xz3-2/7, ab4+cu4+2vw4+2xy4+2xz4-2/9, vw2+2xyz-1/9, vw4+2xy2z2-1/25, vw3+xyz2+xy2z-1/15, vw4+xyz3+xy3z-1/21;
47ideal is=std(i);
48ring s=0,(a,b,c,u,v,w,x,y,z), lp;
49fglm(r,is);
50kill r,s;
51
52// ==========================================================
53// cyclic5, char 32003, with permutation of variables, Dp->lp
54ring r=32003,(a,b,c,d,e), Dp;
55ideal i=a+b+c+d+e, ab+bc+cd+ae+de, abc+bcd+abe+ade+cde, abcd+abce+abde+acde+bcde, abcde-1;
56ideal is=std(i);
57ring s=32003,(b,d,e,c,a), lp;
58fglm(r, is);
59kill r,s;
60
61// ===============
62// cyclic5, char 0
63ring r=0,(a,b,c,d,e), dp;
64ideal i=a+b+c+d+e, ab+bc+cd+ae+de, abc+bcd+abe+ade+cde, abcd+abce+abde+acde+bcde, abcde-1;
65ideal is=std(i);
66ring s=0,(a,b,c,d,e), lp;
67fglm(r, is);
68kill r,s;
69
70// =======================
71// cyclic5, char 0, Dp->dp
72ring r=0,(a,b,c,d,e), Dp;
73ideal i=a+b+c+d+e, ab+bc+cd+ae+de, abc+bcd+abe+ade+cde, abcd+abce+abde+acde+bcde, abcde-1;
74ideal is=std(i);
75ring s=0,(a,b,c,d,e), dp;
76fglm(r, is);
77kill r,s;
78
79// =======================================
80// caprasse, char 32003, lp, using stdfglm
81ring r=32003,(x,y,z,t), dp;
82ideal i= y2z+2xyt-2x-z, -x3z+4xy2z+4x2yt+2y3t+4x2-10y2+4xz-10yt+2, 2yzt+xt2-x-2z, -xz3+4yz2t+4xzt2+2yt3+4xz+4z2-10yt-10t2+2;
83stdfglm(i);
84kill r;
85
86// ===================================
87// caprasse, char 0, lp, using stdfglm
88ring r=0,(x,y,z,t), dp;
89ideal i= y2z+2xyt-2x-z, -x3z+4xy2z+4x2yt+2y3t+4x2-10y2+4xz-10yt+2, 2yzt+xt2-x-2z, -xz3+4yz2t+4xzt2+2yt3+4xz+4z2-10yt-10t2+2;
90stdfglm(i);
91kill r;
92
93tst_status(1);$
Note: See TracBrowser for help on using the repository browser.