Changeset ae0188 in git
 Timestamp:
 Jul 7, 2015, 11:40:24 AM (8 years ago)
 Branches:
 (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
 Children:
 a3cc8cd70b17cd2ed9977b0fa133d5c0ff42850c
 Parents:
 109e3852c9d0639f602e39af1b0a257f9a8ca393
 Location:
 Tst
 Files:

 3 edited
Legend:
 Unmodified
 Added
 Removed

Tst/Long/stdZtests.tst
r109e385 rae0188 1 1 LIB "tst.lib"; 2 2 3 ring rng = (integer),(x,y,z),(lp(2),lp(1),C); 4 int trial = 0; 5 system("random", 1181381080); 3 ring rng = (integer),(x,y,z),(lp(2),lp(1),C); 6 4 ideal I = 124*x^2+99*x*y,58*x*y+31*y+120*z,65*x^2*z+54*y^2*z+58*y*z+95*y; 7 5 ideal J = 52*x*y^3*z+102*y^2,4*x*y^2*z+19*y^3*z103*y30; 8 9 10 11 12 13 6 ideal gI = std(I); 7 ideal ggI = std(gI); 8 size(gI);size(ggI); 9 ideal gJ = std(J); 10 ideal ggJ = std(gJ); 11 size(gJ);size(ggJ); 14 12 15 13 tst_status(1); 
Tst/New/stdZtests.tst
r109e385 rae0188 21 21 22 22 ring rng = (integer),(x,y,z),(ls(3),C); 23 int trial = 3;24 //option(redSB);25 system("random", 820791554);26 ideal I = 1+7yz3,4x+2xz+14x2,910z2+8xz;27 23 ideal J = 2xz3+x2yz,3z2xy3xy2; 28 // ideal gI = std(I);29 // ideal ggI = std(gI);30 24 ideal gJ = std(J); 31 25 "Zweite:"; 32 26 ideal ggJ = std(gJ); 33 //ASSUME(0, 0== size( std(reduce (I,gI ) )) );34 //ASSUME(0, 0== size( std(reduce (J,gJ ) )) );35 //idealsEqual(gI,ggI );36 27 gJ;ggJ; 37 28 … … 39 30 40 31 //Github Adi #32 41 42 option(redSB);43 32 44 33 ring rng = (integer),(x,y,z),dp; … … 54 43 55 44 ring rng = (integer),(x,y,z),(dp(3),C); 56 int trial = 0;57 system("random", 912758297);58 45 ideal I = 27*x+25*z,46*x*z+35*x,21*x42; 59 ideal gI = std(I); 60 ideal ggI = std(gI); 61 46 ideal gI = std(I); 47 ideal ggI = std(gI); 62 48 reduce (I,gI ); 63 49 … … 99 85 100 86 ring rng = (integer),(x,y,z),(dp(3),C); 101 int trial = 0;102 system("random", 784341798);103 87 ideal I = 49*y^2+40*z^2+17,34*z^23,25*y*z28*z; 104 105 88 ideal gI = std(I); 89 ideal ggI = std(gI); 106 90 gI; 107 91 ggI; … … 110 94 111 95 ring rng = (0),(x,y,z),(ls(3),C); 112 113 system("random", 157161605);114 96 ideal I = 115 97 (68/23)*z(142/133)*y*z(64/37)*x*y+(65/71)*x*y*z^2+(1/3)*x^2*y*z,(2/7)*x*y*z(61/91)*x*y^2*z; … … 141 123 142 124 ring rng = (integer),(x,y,z),(ls(3),C); 143 int trial = 3;144 system("random", 820791554);145 125 ideal I = 1+7*y*z^3,4*x+2*x*z+14*x^2,910*z^2+8*x*z; 146 126 ideal J = 14*x*z^3+5*x^2*y*z,15*z7*x*y+12*x*y*z^211*x*y^2; 147 148 149 150 127 ideal gI = std(I); 128 ideal ggI = std(gI); 129 ideal gJ = std(J); 130 ideal ggJ = std(gJ); 151 131 0== size( std(reduce (I,gI ) ) ); 152 132 0== size( std(reduce (J,gJ ) ) ); … … 163 143 option("redTail"); 164 144 option(redSB); 165 system("random", 1022116625);166 145 ideal I = 14*y*z^2+7*x11*x*y,15*x*y,8*y^2*z^2+5*x*y*z,5*y*z^215*y^2*z+8*x^2*z^2+3*x^2*y^2; 167 146 ideal gI = std(I); … … 172 151 173 152 //Github Adi #40 174 option(redSB); 175 176 ring rng = (integer),(x,y,z),(ls(3),C); 177 int trial = 3; 178 system("random", 158291770); 153 154 ring rng = (integer),(x,y,z),(ls(3),C); 179 155 ideal I = 10*x*y*z,12*z^28*y14*x*z+14*x^2*y*z,7*y^4+4*x^2+9*x^2*y; 180 156 ideal J = 1+7*y^3*z,15+14*x+14*x*y*z,15*z+7*x10*x*z+5*x*y^2; 181 157 ideal gI = std(I); 182 158 183 ring rng = (integer),(x,y,z),(ls(3),C); 184 intvec op = 67108866,16787537; 185 option() ; 186 //options: intStrategy redefine loadLib usage prompt 187 option(set, op) ; 188 int trial = 53; 189 system("random", 1792192072); 190 ideal I = 7*x*z+3*x*z^2x^2,4*z+6*z^2+2*y; 191 ideal J = 55*z^2+3*y^2*z; 192 ideal gI = std(I); 159 ring rng = (integer),(x,y,z),(ls(3),C); 160 ideal I = 7*x*z+3*x*z^2x^2,4*z+6*z^2+2*y; 161 ideal J = 55*z^2+3*y^2*z; 162 ideal gI = std(I); 193 163 194 164 … … 202 172 203 173 204 205 206 174 //Github Adi #20 175 207 176 ring rng = (integer),(xw,xq,xk),(lp(2),lp(1),C); 208 177 ideal I = 4*xk+10; … … 211 180 212 181 213 214 215 216 217 218 182 //Github Adi #42 183 219 184 ring rng = (integer),(x,y,z),(dp(1),dp(2),C); 220 intvec op = 100663296,16787537;221 option() ;222 option(set, op) ;223 int trial = 0;224 system("random", 1310165262);225 185 ideal I = 20*x*z+7*y^2; 226 186 ideal J = 6*x*y+20*z+6,5*x16*y11,8*x*y+2*y^2; 227 228 229 230 187 ideal gI = std(I); 188 ideal ggI = std(gI); 189 ideal gJ = std(J); 190 ideal ggJ = std(gJ); 231 191 std(reduce (I,gI ) ); 232 192 std(reduce (J,gJ ) ); … … 238 198 239 199 //Github Adi #38 240 ring rng = (integer),(x(1),x(3),x(4),x(5)),(dp(4),C); 200 201 ring rng = (integer),(x(1),x(3),x(4),x(5)),(dp(4),C); 241 202 ideal Q = x(4)^2x(3)*x(5), 242 203 x(3)*x(4)x(5), 243 204 x(3)^2x(4), 244 205 x(1)^2121*x(5)^211*x(5)1; 245 246 206 Q = std(Q); 247 Q;248 207 qring qr = Q; 249 250 ideal a = x(5)2; 251 ideal j = 6,x(5)2,x(4)+2,x(3)2,x(1)+3; 252 ideal aJJ = quotient(a*j,j); // ? 253 aJJ; 254 std(aJJ); 255 aJJ; 256 257 option(redSB); 208 ideal a = x(5)2; 209 ideal j = 6,x(5)2,x(4)+2,x(3)2,x(1)+3; 210 ideal aJJ = quotient(a*j,j); // ? 211 aJJ; 212 std(aJJ); 213 aJJ; 258 214 259 215 //segfaults 260 261 262 //# segfaults263 264 216 //ok mit neue posinL11Ring 265 217 266 218 ring rng = (integer),(x(1),x(2),x(3)),(ls(3),C); 267 short = 0 ;268 minpoly = 0;269 intvec op = 67108864,16787537;270 option(set, op) ;271 option() ;272 // option() ;//options: intStrategy redefine loadLib usage prompt warn273 int trial = 96;274 system("random", 970755877);275 219 ideal I = 3*x(1)10*x(1)*x(3); 276 220 ideal J = 9*x(2)+9*x(1)*x(2),3*x(2)*x(3)^2+10*x(1)*x(3)^2+10*x(1)^2*x(2); 277 278 279 280 221 ideal gI = std(I); 222 ideal ggI = std(gI); 223 ideal gJ = std(J); 224 ideal ggJ = std(gJ); 281 225 282 226 283 227 //ok now 228 284 229 ring rng = (integer),(x(1),x(2)),(ls(2),C); 285 short = 0 ;286 minpoly = 0;287 intvec op = 67108864,16787537;288 option(set, op) ;289 option() ;290 // option() ;//options: intStrategy redefine loadLib usage prompt warn291 int trial = 4;292 system("random", 960625435);293 230 ideal I = 41*x(1)10*x(1)^3*x(2),22*x(2)^212*x(1)^3; 294 231 ideal J = 14,35*x(1)*x(2)+12*x(1)*x(2)^3; 295 296 297 232 ideal gI = std(I); 233 ideal ggI = std(gI); 234 ideal gJ = std(J); 298 235 299 236 //ok now 300 237 301 238 ring rng = (integer),(x(1),x(2)),(ls(2),C); 302 short = 0 ;303 minpoly = 0;304 intvec op = 67108864,16787537;305 option(set, op) ;306 option() ;307 // option() ;//options: intStrategy redefine loadLib usage prompt warn308 int trial = 29;309 system("random", 550741380);310 239 ideal I = 2224*x(1)^3,4*x(1)*x(2)^219*x(1)^2*x(2); 311 240 ideal J = 16*x(1)*x(2),1231*x(1)43*x(1)*x(2); 312 313 314 315 316 //in the new posinL11Ring works smooth, in the o pther one takes forever241 ideal gI = std(I); 242 ideal ggI = std(gI); 243 ideal gJ = std(J); 244 245 //in the new posinL11Ring works smooth, in the other one takes forever 317 246 318 247 ring rng = (integer),(x(1),x(2)),(ls(2),C); 319 short = 0 ;320 minpoly = 0;321 intvec op = 67108864,16787537;322 option(set, op) ;323 option() ;324 // option() ;//options: intStrategy redefine loadLib usage prompt warn325 int trial = 15;326 system("random", 1976068534);327 248 ideal I = 11*x(2),3*x(2)^2+8*x(1)*x(2)+3*x(1)*x(2)^2+12*x(1)^3,8*x(1)*x(2)^215*x(1)^3; 328 249 ideal J = 2*x(1)11*x(1)^2+10*x(1)^2*x(2),13*x(1)*x(2)10*x(1)^3; 329 250 ideal gI = std(I); 330 251 331 252 //ok now 332 253 333 254 ring rng = (integer),(x(1),x(2)),(ls(2),C); 334 short = 0 ;335 minpoly = 0;336 intvec op = 67108864,16787537;337 option(set, op) ;338 option() ;339 // option() ;//options: intStrategy redefine loadLib usage prompt warn340 int trial = 68;341 system("random", 1702067426);342 255 ideal I = 10,15*x(1)*x(2)+8*x(1)*x(2)^2; 343 256 ideal J = 2*x(1)^2*x(2),3+2*x(1)*x(2); 344 ideal gI = std(I); 345 257 ideal gI = std(I); 346 258 347 259 //ok now 348 260 349 261 ring rng = (integer),(x(1)),(ls(1),C); 350 short = 0 ;351 minpoly = 0;352 intvec op = 67108864,16787537;353 option(set, op) ;354 option() ;355 // option() ;//options: intStrategy redefine loadLib usage prompt warn356 int trial = 65;357 system("random", 907801360);358 262 ideal I = 12+2*x(1)^2; 359 263 ideal J = 6*x(1)^2+11*x(1)^4,15; 360 ideal gI = std(I); 361 ideal ggI = std(gI); 362 ideal gJ = std(J); 363 364 264 ideal gI = std(I); 265 ideal ggI = std(gI); 266 ideal gJ = std(J); 365 267 366 268 //Github Adi #47 … … 372 274 reduce(x,std(2*x)); 373 275 374 375 376 276 //Github Adi #46 377 277 378 278 ring rng = integer,x,ds; 379 short = 0 ;380 279 ideal J = 7, 315*x^2, 6+18*xx^2; 381 280 ideal gJ = std(J); … … 459 358 460 359 ring rng = integer,x,lp; 461 short = 0 ;462 360 option(noredSB) ; 463 361 option(noredTail) ; 
Tst/New/std_integer5.tst
r109e385 rae0188 9 9 11y4z66y3z; 10 10 11 12 11 ideal stdIJ = std(IJ); 12 stdIJ; 13 13 ideal stdstdIJ = std(stdIJ); 14 14 stdstdIJ; 15 15 16 16 tst_status(1);$
Note: See TracChangeset
for help on using the changeset viewer.