fieker-DuValspielwiese
Last change
on this file since ead697 was
0de6e1,
checked in by Stefan Steidel <steidel@…>, 13 years ago
|
Semicolon was missing.
git-svn-id: file:///usr/local/Singular/svn/trunk@14149 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100755
|
File size:
987 bytes
|
Rev | Line | |
---|
[8d965f] | 1 | LIB "tst.lib"; |
---|
| 2 | tst_init(); |
---|
| 3 | |
---|
[0de6e1] | 4 | LIB "assprimeszerodim.lib"; |
---|
[8d965f] | 5 | |
---|
| 6 | ring R1 = 0,x(1..6),dp; |
---|
| 7 | ideal I = cyclic(6); |
---|
| 8 | assPrimes(I,1); |
---|
| 9 | assPrimes(I,1,4); |
---|
| 10 | assPrimes(I,2); |
---|
| 11 | assPrimes(I,2,4); |
---|
| 12 | assPrimes(I,3); |
---|
| 13 | assPrimes(I,3,4); |
---|
| 14 | |
---|
| 15 | ring R2 = 0,(a,b,c,d,e,f),dp; |
---|
| 16 | ideal I = 2fb+2ec+d2+a2+a, |
---|
| 17 | 2fc+2ed+2ba+b, |
---|
| 18 | 2fd+e2+2ca+c+b2, |
---|
| 19 | 2fe+2da+d+2cb, |
---|
| 20 | f2+2ea+e+2db+c2, |
---|
| 21 | 2fa+f+2eb+2dc; |
---|
| 22 | assPrimes(I,1); |
---|
| 23 | assPrimes(I,1,4); |
---|
| 24 | assPrimes(I,2); |
---|
| 25 | assPrimes(I,3); |
---|
| 26 | |
---|
| 27 | ring R3 = 0,(x,y,z),dp; |
---|
| 28 | ideal I = x2+xy2z-2xy+y4+y2+z2, |
---|
| 29 | -x3y2+xy2z+xyz3-2xy+y4, |
---|
| 30 | -2x2y+xy4+yz4-3; |
---|
| 31 | assPrimes(I,1); |
---|
| 32 | assPrimes(I,2); |
---|
| 33 | assPrimes(I,2,4); |
---|
| 34 | assPrimes(I,3); |
---|
| 35 | |
---|
| 36 | ring R4 = 0,(a,b,c,d,e,f,g,h,k,o),dp; |
---|
| 37 | ideal I = o+1, k4+k, hk, h4+h, gk, gh, g3+h3+k3+1, |
---|
| 38 | fk, f4+f, eh, ef, f3h3+e3k3+e3+f3+h3+k3+1, |
---|
| 39 | e3g+f3g+g, e4+e, dh3+dk3+d, dg, df, de, |
---|
| 40 | d3+e3+f3+1, e2g2+d2h2+c, f2g2+d2k2+b, |
---|
| 41 | f2h2+e2k2+a; |
---|
| 42 | assPrimes(I,1); |
---|
| 43 | assPrimes(I,2); |
---|
| 44 | assPrimes(I,3); |
---|
| 45 | assPrimes(I,3,4); |
---|
| 46 | |
---|
| 47 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.