source: git/Tst/Long/cyclic-sba_l.tst @ 09f10e

spielwiese
Last change on this file since 09f10e 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: 801 bytes
Line 
1// $Id$
2
3// sba_s.tst -- long tests for sba
4// uses rcyclic examples from ISSAC'98 paper
5
6LIB "tst.lib";
7tst_init();
8
9LIB"poly.lib";
10
11proc 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
22proc 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
33string bench = cyclicn(7);
34sprintf(bench);
35ideal f;
36f = sba(i,1,0);
37f = sba(i,1,1);
38f = sba(i,0,0);
39f = sba(i,0,1);
40killall;
41string bench = cyclicnh(8);
42sprintf(bench);
43ideal f;
44f = sba(i,0,1);
45killall;
46
47tst_status(1);$
48LIB "poly.lib";
49killall();
50killall("proc");
51exit;
Note: See TracBrowser for help on using the repository browser.