1 | LIB "tst.lib"; |
---|
2 | LIB "classify.lib"; |
---|
3 | |
---|
4 | tst_init(); |
---|
5 | tst_ignore("CVS: $Id: classify_l.tst,v 1.3 2000-12-04 13:12:45 Singular Exp $"); |
---|
6 | |
---|
7 | |
---|
8 | "======================================================================"; |
---|
9 | "// running tetst for corank<=2"; |
---|
10 | ring r=0,(x,y),ds; |
---|
11 | poly f; |
---|
12 | map phi=r,y-x^2,x+y; |
---|
13 | |
---|
14 | f=x^4+y2; // A[3] |
---|
15 | classify(phi(f)); |
---|
16 | |
---|
17 | "======================================================================"; |
---|
18 | "// Step 3"; |
---|
19 | f=x2y+y3; // D[6] |
---|
20 | classify(phi(f)); // D[6] // D[4] |
---|
21 | |
---|
22 | f=x2y+y5; // D[6] |
---|
23 | classify(phi(f)); |
---|
24 | |
---|
25 | "======================================================================"; |
---|
26 | "// Step 6-12"; |
---|
27 | f=x3+xy7+y10; // E[18] |
---|
28 | classify(phi(f)); |
---|
29 | |
---|
30 | f=x3+xy5+y8; // E[13] |
---|
31 | classify(phi(f)); |
---|
32 | |
---|
33 | f=x3+xy10+y14; // E[26] |
---|
34 | classify(phi(f)); |
---|
35 | |
---|
36 | f=x3+x2y3+xy7+y9; // J[3,0] |
---|
37 | classify(phi(f)); |
---|
38 | |
---|
39 | f=x3+x2y2+y11; // J[2,5] |
---|
40 | classify(phi(f)); |
---|
41 | |
---|
42 | "======================================================================"; |
---|
43 | "// Step 13"; |
---|
44 | f=x4+x3y+x2y2+xy3; // X[1,0] |
---|
45 | classify(f); |
---|
46 | |
---|
47 | f=x4+y4; // T[4,4,2] |
---|
48 | classify(phi(f)); |
---|
49 | |
---|
50 | f=x4+x3y+x2y2+y6; // X[1,2] |
---|
51 | classify(phi(f)); |
---|
52 | |
---|
53 | //f=x4+2x3y+x2y2+2x2y4+2xy5+y6+y8; // Y[1,2,2] |
---|
54 | "// The next step returns an error message. Y[1,p,q] cannot be recognized"; |
---|
55 | f=x4+2x3y+x2y2+x2y4+x2y7+2xy8+y9+y11; // Y[1,5,2] |
---|
56 | classify(phi(f)); |
---|
57 | |
---|
58 | "======================================================================"; |
---|
59 | "// Step 17-24"; |
---|
60 | f=x3y+xy6+y8; // Z[17] |
---|
61 | classify(phi(f)); |
---|
62 | |
---|
63 | f=x3y+xy8+y12; // Z[24] |
---|
64 | classify(phi(f)); |
---|
65 | |
---|
66 | f=x3y+xy7+y9; // Z[19] |
---|
67 | classify(phi(f)); |
---|
68 | |
---|
69 | f=x3y+x2y5+xy10+y13; // Z[3,0] |
---|
70 | classify(phi(f)); |
---|
71 | |
---|
72 | f=x3y+x2y9+y29; // Z[7,4] |
---|
73 | classify(phi(f)); |
---|
74 | |
---|
75 | "======================================================================"; |
---|
76 | "// Step 25-"; |
---|
77 | f=x4+x2y3+xy4+y5; // W[24], step 27 |
---|
78 | classify(phi(f)); |
---|
79 | |
---|
80 | f=x4+x2y5+xy7+y10; // W[25], step 28 |
---|
81 | classify(phi(f)); |
---|
82 | |
---|
83 | f=x4+x2y7+xy11+y14; // W[3,0], step 30 |
---|
84 | classify(phi(f)); |
---|
85 | |
---|
86 | f=x4+x3y5+x2y9+y26; // W[4,8], step 31 |
---|
87 | classify(f); |
---|
88 | |
---|
89 | f=x4+2x2y5+x2y7+y10+xy10; // W#[2,4], step 32 |
---|
90 | classify(phi(f)); |
---|
91 | |
---|
92 | f=x4+2x2y6+x2y7+y11+xy8; // W[29], step 34 |
---|
93 | classify(phi(f)); |
---|
94 | |
---|
95 | f=x4+x2y8+xy12+y15; // W[42], step 35 |
---|
96 | classify(phi(f)); |
---|
97 | |
---|
98 | f=x4+x3y2+x2y4+xy6; // X[2,0], step 37 |
---|
99 | classify(phi(f)); |
---|
100 | |
---|
101 | f=x4+x3y4+x2y8+y18; // X[4,2], step 38 |
---|
102 | classify(phi(f)); |
---|
103 | |
---|
104 | f=x4+2x3y4+x2y8+x2y10+x2y13+2xy14+y18+y23; // Y[4,2,5], step 39 |
---|
105 | classify(phi(f)); |
---|
106 | |
---|
107 | f=x4+x3y2+x2y7+xy9+xy10+y12; // Z[2,29], step 42, k=2, i=1 |
---|
108 | phi=r,y-x,y+x; |
---|
109 | classify(f); |
---|
110 | |
---|
111 | f=x4+x3y2+x2y9+xy11+xy14+y16; // Z[2,36], step 43, k=2, i=2 |
---|
112 | classify(f); |
---|
113 | |
---|
114 | f=(x+3y3)*(x3+xy18+y26); // Z[3,67], step 44, k=3, i=5 |
---|
115 | classify(f); |
---|
116 | |
---|
117 | f=(x+3y4)*(x3+x2y6+xy13+y18); // Z[4,2,0], step 45, k=4, i=2 |
---|
118 | classify(f); |
---|
119 | |
---|
120 | f=x4+x3y2+x2y7+x2y11+xy13+y18; // Z[2,3,1], step 46, k=2, i=3, p=1 |
---|
121 | classify(phi(f)); |
---|
122 | |
---|
123 | |
---|
124 | kill r; |
---|
125 | |
---|
126 | //////////////////////////////////////////////////////////////////////////////// |
---|
127 | // Corang 3 |
---|
128 | // |
---|
129 | "======================================================================"; |
---|
130 | "// running tetst for corank=3"; |
---|
131 | ring r=0,(x,y,z),ds; |
---|
132 | poly f; |
---|
133 | map phi=r,y-x^2,x+y,y-z; |
---|
134 | |
---|
135 | //f= ; // T[3,3,3], step 51 |
---|
136 | //f= ; // T[3,3,], step 53 |
---|
137 | //f= ; // T[3,,], step 55 |
---|
138 | //f= ; // T[,,], step 57 |
---|
139 | |
---|
140 | //f= ; // Q[], step 60 |
---|
141 | //f= ; // Q[], step 61 |
---|
142 | //f= ; // Q[], step 62 |
---|
143 | //f= ; // Q[,0], step 64 |
---|
144 | //f= ; // Q[,], step 65 |
---|
145 | |
---|
146 | "======================================================================"; |
---|
147 | "// steps 62-81 are not implemented => not tests"; |
---|
148 | |
---|
149 | //f= ; // U[], step 84 |
---|
150 | //f= ; // U[,0], step 86 |
---|
151 | //f= ; // U[,], step 87 |
---|
152 | //f= ; // U[], step 89 |
---|
153 | |
---|
154 | "======================================================================"; |
---|
155 | "// steps 91-96, fix bug in algorythme before implementation"; |
---|
156 | |
---|
157 | //f= ; // V[1,0], step 99 |
---|
158 | //f= ; // V[1,], step 100 |
---|
159 | //f= ; // V#[1,0], step 101 |
---|
160 | //f= ; // V#[1,], step 102 |
---|
161 | |
---|
162 | //classify(f); |
---|
163 | |
---|
164 | "====================================================================="; |
---|
165 | example classify; |
---|
166 | "======================================================================"; |
---|
167 | "// reomving database."; |
---|
168 | int i=system("sh", "/bin/rm -f NFlist.dir NFlist.pag"); |
---|
169 | tst_status(1);$ |
---|