fieker-DuValspielwiese
Last change
on this file since 1427f62 was
897e2e,
checked in by Hans Schoenemann <hannes@…>, 8 years ago
|
test for tr. #774
|
-
Property mode set to
100644
|
File size:
572 bytes
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | // checking for overflow in std/interred/groebner |
---|
5 | option(redSB); |
---|
6 | |
---|
7 | ring r1=(0),(a,b,c,d),(lp(4),C); |
---|
8 | ideal I=c-d1024, |
---|
9 | b-c16, |
---|
10 | bd1024-c17, |
---|
11 | a-b16, |
---|
12 | ad1024-c257, |
---|
13 | ac16-b17; |
---|
14 | std(I); |
---|
15 | interred(I); |
---|
16 | groebner(I); |
---|
17 | |
---|
18 | ring r2=(0),(a,b,c,d),(lp(4),C); |
---|
19 | ideal I=c-d1024, |
---|
20 | b-c16, |
---|
21 | a-b16; |
---|
22 | std(I); |
---|
23 | interred(I); |
---|
24 | groebner(I); |
---|
25 | |
---|
26 | ring r3=0,(b,c,d),lp; |
---|
27 | ideal I=b-c^64,c-d^1024; |
---|
28 | std(I); |
---|
29 | interred(I); |
---|
30 | groebner(I); |
---|
31 | |
---|
32 | ring r4=(0),(a,b,c,d),(lp(4),C,L(262144)); |
---|
33 | ideal I=c-d1024, |
---|
34 | b-c16, |
---|
35 | bd1024-c17, |
---|
36 | a-b16, |
---|
37 | ad1024-c257, |
---|
38 | ac16-b17; |
---|
39 | std(I); |
---|
40 | interred(I); |
---|
41 | groebner(I); |
---|
42 | |
---|
43 | tst_status(1); $; |
---|
44 | |
---|
Note: See
TracBrowser
for help on using the repository browser.