fieker-DuValspielwiese
Last change
on this file since 29fc843 was
19609c,
checked in by Christian Eder, 12 years ago
|
1. adds documentation for sba
2. adds tests for sba
|
-
Property mode set to
100644
|
File size:
791 bytes
|
Line | |
---|
1 | // $Id$ |
---|
2 | |
---|
3 | // sba_s.tst -- long tests for sba |
---|
4 | // uses rcyclic examples from ISSAC'98 paper |
---|
5 | |
---|
6 | LIB "tst.lib"; |
---|
7 | tst_init(); |
---|
8 | |
---|
9 | LIB"poly.lib"; |
---|
10 | |
---|
11 | proc katsuran(int z) |
---|
12 | { |
---|
13 | int n = z; |
---|
14 | ring R = 32003,(x(0..(n))),dp; |
---|
15 | ideal i = katsura(n); |
---|
16 | string bench = "KATSURA-"+string(n); |
---|
17 | export(R); |
---|
18 | export(i); |
---|
19 | return(bench); |
---|
20 | } |
---|
21 | |
---|
22 | proc katsuranh(int z) |
---|
23 | { |
---|
24 | int n = z; |
---|
25 | ring R = 32003,(x(0..(n)),h),dp; |
---|
26 | ideal i = homog(katsura(n),h); |
---|
27 | string bench = "KATSURA-"+string(n)+"-H"; |
---|
28 | export(R); |
---|
29 | export(i); |
---|
30 | return(bench); |
---|
31 | } |
---|
32 | |
---|
33 | string bench = katsuran(11); |
---|
34 | sprintf(bench); |
---|
35 | ideal f; |
---|
36 | f = sba(i,1,0); |
---|
37 | f = sba(i,1,1); |
---|
38 | killall; |
---|
39 | string bench = katsuranh(11); |
---|
40 | sprintf(bench); |
---|
41 | ideal f; |
---|
42 | f = sba(i,1,0); |
---|
43 | f = sba(i,1,1); |
---|
44 | killall; |
---|
45 | |
---|
46 | tst_status(1);$ |
---|
47 | LIB "poly.lib"; |
---|
48 | killall(); |
---|
49 | killall("proc"); |
---|
50 | exit; |
---|
Note: See
TracBrowser
for help on using the repository browser.