fieker-DuValspielwiese
Last change
on this file since c9733f 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.