spielwiese
Last change
on this file since 3f34dc was
3f34dc,
checked in by Hans Schoenemann <hannes@…>, 5 years ago
|
code cleanup: F5C (and tests for sba)
|
-
Property mode set to
100644
|
File size:
731 bytes
|
Rev | Line | |
---|
[19609c] | 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 cyclicn(int z) |
---|
| 12 | { |
---|
| 13 | int n = z; |
---|
| 14 | ring R = 32003,(x(0..(n-1))),dp; |
---|
| 15 | ideal i = cyclic(n); |
---|
| 16 | string bench = "CYCLIC-"+string(n); |
---|
| 17 | export(R); |
---|
| 18 | export(i); |
---|
| 19 | return(bench); |
---|
| 20 | } |
---|
| 21 | |
---|
| 22 | proc cyclicnh(int z) |
---|
| 23 | { |
---|
| 24 | int n = z; |
---|
| 25 | ring R = 32003,(x(0..(n-1)),h),dp; |
---|
| 26 | ideal i = homog(cyclic(n),h); |
---|
| 27 | string bench = "CYCLIC-"+string(n)+"-H"; |
---|
| 28 | export(R); |
---|
| 29 | export(i); |
---|
| 30 | return(bench); |
---|
| 31 | } |
---|
| 32 | |
---|
| 33 | string bench = cyclicn(7); |
---|
| 34 | sprintf(bench); |
---|
[75f460] | 35 | ideal f; |
---|
[19609c] | 36 | f = sba(i,1,0); |
---|
| 37 | f = sba(i,1,1); |
---|
| 38 | f = sba(i,0,0); |
---|
| 39 | f = sba(i,0,1); |
---|
| 40 | string bench = cyclicnh(8); |
---|
| 41 | sprintf(bench); |
---|
[75f460] | 42 | ideal f; |
---|
[19609c] | 43 | f = sba(i,0,1); |
---|
| 44 | |
---|
| 45 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.