fieker-DuValspielwiese
|
Last change
on this file since 052b6f2 was
891438c,
checked in by Gerhard Pfister <pfister@…>, 23 years ago
|
|
*GP: initial release
git-svn-id: file:///usr/local/Singular/svn/trunk@5579 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
|
File size:
600 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | ring R = 32003,(x,y,z),dp; |
|---|
| 5 | ideal I = x2+y2-z5, z-x-y2; |
|---|
| 6 | qring Q = groebner(I); |
|---|
| 7 | Q; |
|---|
| 8 | |
|---|
| 9 | poly f = z2 + y2; |
|---|
| 10 | poly g = z2+2x-2z-3z5+3x2+6y2; |
|---|
| 11 | reduce(f-g,std(0)); |
|---|
| 12 | |
|---|
| 13 | setring R; |
|---|
| 14 | poly f = z2 + y2; |
|---|
| 15 | poly g = z2 + 2x - 2z - 3z5 + 3x2 + 6y2; |
|---|
| 16 | reduce(f-g,groebner(I)); |
|---|
| 17 | |
|---|
| 18 | setring Q; |
|---|
| 19 | ideal q = quotient(0,f); |
|---|
| 20 | q = reduce(q,std(0)); |
|---|
| 21 | size(q); |
|---|
| 22 | kill R; |
|---|
| 23 | kill Q; |
|---|
| 24 | |
|---|
| 25 | ring R=(0,x),(y,z),dp; |
|---|
| 26 | ideal I=-z5+y2+(x2),-y2+z+(-x); |
|---|
| 27 | I=std(I);qring Q=I; |
|---|
| 28 | poly p=lift(z,1)[1,1]; |
|---|
| 29 | p; |
|---|
| 30 | reduce(p*z,std(0)); |
|---|
| 31 | |
|---|
| 32 | ring R1=(0,x),(z,y),lp; |
|---|
| 33 | ideal I=imap(R,I); |
|---|
| 34 | I=std(I); |
|---|
| 35 | I; |
|---|
| 36 | |
|---|
| 37 | factorize(I[1]); |
|---|
| 38 | |
|---|
| 39 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
