source: git/Tst/Short/hnoether_s.tst @ fe969a

spielwiese
Last change on this file since fe969a was 935bf64, checked in by Hans Schönemann <hannes@…>, 17 years ago
*hannes: hne id git-svn-id: file:///usr/local/Singular/svn/trunk@10205 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 3.3 KB
Line 
1// File: hnoether_s.tst
2// Short tests for hnoether lib
3LIB "tst.lib";
4tst_init();
5LIB "hnoether.lib";
6// ------------ test of develop: -------------------
7ring r=0,(x,y),ds;
8develop(x2+y2);
9develop(x2+y+y2);
10develop((x2+y3)*(x2+y3+xy2));
11poly p_1 = y2+x3;
12poly p_2 = p_1^2 + x5y;
13poly p_3 = p_2^2 + x^10 *p_1;
14param(develop(p_1));
15param(develop(p_3));
16develop(p_3,-1);
17develop(p_3,4);
18poly heme=xy8+y8+x4y6+4x3y6+2x5y5+6x6y4+4x8y3+x10y2+4x9y2+2x11y+x12;
19list Hne=develop(heme);
20print(Hne[1]);
21kill r;
22ring r=2,(x,y,t),ds;
23poly f=y2+x7y+x9+x8;
24param(develop(f));
25kill r;
26// ------------ test of hnexpansion: -------------------
27ring r=0,(x,y),dp;
28hnexpansion(x6-y4);
29hnexpansion((y-x2+x3)*(y-x2-x3));
30hnexpansion((x7-2x4y2+xy4-1y5)*(x7-4x4y2+4xy4-1y5));
31
32ring F2=2,(x,y,t),ds;
33def L=hnexpansion(y2+x7y+x9+x8);
34param(L);
35kill L,F2;
36
37//--------------- examples with change to ring extension
38ring R=32003,(x,y),dp;
39def L=hnexpansion(x6+y4);
40def HNring = L[1]; setring HNring;  displayHNE(hne);
41kill L,HNring;
42
43//--------------- example with more than one ring change
44ring F3=3,(x,y),dp;
45poly f=(x3-xy2+y3)*(x2+y2)*(x4-x3y+xy3+y4);
46list L=hnexpansion(f);
47def HNring = L[1]; setring HNring;  displayHNE(hne);
48map T; int i;
49for (i=1; i<=size(hne); i++)
50{
51 T=basering,param(hne[i]);
52 T(f);
53}
54kill hne,HNring,F3,L;
55
56// ------------ test of extdevelop: -------------------
57setring r;
58list Hne=develop(x2+y3+y4-y5,-1);
59extdevelop(Hne,2);
60extdevelop(Hne,4);
61extdevelop(Hne,10);
62kill Hne;
63// ------------ test of essdevelop:  ------------------
64setring R;
65list L=essdevelop(x6+y4);
66L[2];  // number of conjugated branches
67def HNring = L[1]; setring HNring;  displayHNE(hne);
68kill hne,L,HNring;
69setring r;
70// ------------ test of param: ------------------------
71param(develop(x2+y3));
72param(develop(y2+x3+x4));
73param(develop(y2+x3+x4),0);
74// ------------ test of displayHNE: -------------------
75example displayHNE;
76// ----------------------------------------------------------------------------
77// ------- test of invariants, displayInvariants, intersection, stripHNE,   ---
78// ---- puiseux2generators, multiplicities, newtonpoly, is_irred, HNdevelop ---
79example invariants;
80example displayInvariants;
81list L=hnexpansion((x2-y3)*(x2+y3));
82intersection(L[1],L[2]);
83kill L;
84example stripHNE;
85puiseux2generators(intvec(3,7,15,31,63,127),intvec(2,2,2,2,2,2));
86setring r;
87multsequence(develop(x5+y7));
88example newtonpoly;
89example is_irred;
90is_irred((x2+y3)*(x2+y3+xy2));
91// ------- test of getnm, T_Transform, T1_Transform, T2_Transform, koeff, -----
92// ------------  redleit, squarefree, allsquarefree, referencepoly   ----------
93example getnm;
94T_Transform(y2+x3,1,2);
95T1_Transform(y-x2+x3,1,2);
96T2_Transform(y2+x3,-1,3,2,y2+x3);
97example referencepoly;
98koeff(x2+2xy+3xy2-x2y-2y3,1,2);
99example redleit;
100example squarefree;
101example allsquarefree;
102
103// --------------- additions: -----------------------------
104example further_hn_proc;
105example leit;
106example testreducible;
107example T_Transform;
108example T1_Transform;
109example T2_Transform;
110example koeff;
111example multiplicities;
112example puiseux2generators;
113example intersection;
114example multsequence;
115example displayMultsequence;
116example separateHNE;
117example charPoly;
118example find_in_list;
119example get_last_divisor;
120example extdevelop;
121example factorfirst;
122example factorlist;
123example develop;
124example param;
125example hnexpansion;
126example delta;
127example is_NND;
128tst_status(1);$
Note: See TracBrowser for help on using the repository browser.