spielwiese
|
Last change
on this file since a915285 was
935f52,
checked in by Hans Schönemann <hannes@…>, 18 years ago
|
|
*hannes: bug_43
git-svn-id: file:///usr/local/Singular/svn/trunk@9419 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
|
File size:
788 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | // error in groebner: std with hilb in strage orderings |
|---|
| 4 | ring r = 0,(x1,x2),(a(1),dp); |
|---|
| 5 | number a = 200; |
|---|
| 6 | number b = 400; |
|---|
| 7 | number c = 200; |
|---|
| 8 | number d = 800; |
|---|
| 9 | number e = 800; |
|---|
| 10 | number f = 200; |
|---|
| 11 | number g = 2; |
|---|
| 12 | number h = 6; |
|---|
| 13 | number i = 3; |
|---|
| 14 | number j = 5; |
|---|
| 15 | number A = a/c; |
|---|
| 16 | number B = b/c; |
|---|
| 17 | number D = d/f; |
|---|
| 18 | number E = e/f; |
|---|
| 19 | number G = g/j; |
|---|
| 20 | number H = h/j; |
|---|
| 21 | number I = i/j; |
|---|
| 22 | poly p1 = A + B*x1 + x1^2; |
|---|
| 23 | poly p2 = D + E*x2 + x2^2; |
|---|
| 24 | poly p3 = G + H*x1 + I*x2 + x1*x2; |
|---|
| 25 | poly q1 = p1 - p2; |
|---|
| 26 | poly q2 = -p2 + p3^2; |
|---|
| 27 | option(prot); |
|---|
| 28 | option(mem); |
|---|
| 29 | ideal eq = q1,q2; |
|---|
| 30 | eq = interred(eq); |
|---|
| 31 | ideal jeq = groebner(eq); |
|---|
| 32 | jeq; |
|---|
| 33 | std(eq); |
|---|
| 34 | slimgb(eq); |
|---|
| 35 | // returns one generator |
|---|
| 36 | // jeq[1]=20*x1*x2^2+64*x1*x2+48*x1-25*x2^4-160*x2^3-335*x2^2-236*x2-12 |
|---|
| 37 | // instead of 3 (which gives e.g. std or slimgb) |
|---|
| 38 | |
|---|
| 39 | |
|---|
| 40 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
