source: git/Tst/Short/fglmquot1_s.tst @ 29fc843

spielwiese
Last change on this file since 29fc843 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: 809 bytes
Line 
1// $Id$
2
3//
4// fglmquot1_s.tst - short tests for fglmquot command
5//
6
7
8LIB "tst.lib";
9tst_init();
10tst_ignore("CVS: $Id$");
11
12option(redSB);
13
14// start with the easy cases
15ring r=0,(x,y,z),lp;
16ideal i=x2,y2,z2; i=std(i);
17fglmquot(i,0);
18fglmquot(i,1);
19fglmquot(i,x);
20// check if it is tested whether the polynomial is reduced
21fglmquot(i,x2);
22
23// now a real world ex
24kill r;
25ring r=0,(x5,x4,x3,x2,x1),lp;
26poly  f1= x1^2 + x1 + x2 + x3 + x4 + x5 - 2*x1 - 4;
27poly  f2= x2^2 + x1 + x2 + x3 + x4 + x5 - 2*x2 - 4;
28poly  f3= x3^2 + x1 + x2 + x3 + x4 + x5 - 2*x3 - 4;
29poly  f4= x4^2 + x1 + x2 + x3 + x4 + x5 - 2*x4 - 4;
30poly  f5= x5^2 + x1 + x2 + x3 + x4 + x5 - 2*x5 - 4;
31ideal i=f1,f2,f3,f4,f5;
32ideal j=stdfglm(i);
33poly q=4*x1^6-12*x1^5-4*x1^4+44*x1^3-48*x1^2+16*x1;
34ideal j1=fglmquot(j,q);
35j1;
36kill r;
37
38tst_status(1);$
Note: See TracBrowser for help on using the repository browser.