source: git/Tst/Short/primitiv_s.tst @ 54f622b

spielwiese
Last change on this file since 54f622b was 54f622b, checked in by Hans Schönemann <hannes@…>, 19 years ago
*hannes?lossen: new lib, tst git-svn-id: file:///usr/local/Singular/svn/trunk@7828 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1.3 KB
Line 
1// File: primitiv_s.tst
2// Short tests for primitiv lib
3LIB "tst.lib";
4tst_init();
5LIB "primitiv.lib";
6// ------------ test of primitive: -------------------
7printlevel=3;
8ring r=0,x,dp;
9primitive(ideal(x2+1));
10kill r;
11ring r=0,(x,y),dp;
12ideal i=x2-2,y2-3;
13ideal j=primitive(i);
14factorize(j[1]);
15ring r1=(0,a),x,lp;
16map phi=r,x,a;
17string s=string(phi(j)[1]);
18execute("minpoly="+s+";");
19ideal v=phi(j)[1],phi(j)[2]^2-2,phi(j)[3]^2-3;
20v;
21if (size(v)>0)
22  { "ERROR!!! Result of primitive(i) is not a primitive element!"; }
23// else minpoly(a)==0, g_1(a) is squareroot of 2, g_2(a) is squareroot of 3
24// as it should be
25setring r;
26i=x2-3,y2-x;
27primitive(i);
28kill r;
29ring r=3,(x,y,z),dp;
30ideal i=x2+1,y3-y-1,z2+yz-1;
31primitive(i);
32// ------------ test of primitive_extra: -------------
33primitive_extra(i);
34primitive_extra(ideal(i[1],i[2]));
35kill r;
36// ------------ test of splitring: -------------------
37ring r=0,(x,y),ds;
38def R1=splitring(x2-5);
39R1;
40setring R1;
41def R2=splitring(x2-7,a);
42setring R2;
43erg[1]^2;
44R2;
45def RR=splitring(y2+1,a);
46RR;
47kill r,R1,R2,RR;
48ring r=(2003,j),(a,b,c,d),dp;
49minpoly=j2-2;
50def R1=splitring(b3+b2+b-2,list(a,b,c,d,j));
51setring R1;
52erg;
53number(erg[5])^2;
54factorize(b3+b2+b-2);
55def RR=splitring(c2-2j,list(a2+ja,j,erg[5]));
56setring RR;
57erg[3]^2;
58kill R1,r,RR;
59tst_status(1);$
60
Note: See TracBrowser for help on using the repository browser.