1% ***** Simple test 1 *****
2vars := {x, y, z};
3
4
5vars := {x,y,z}
6
7polys := {x,z};
8
9
10polys := {x,z}
11
12bibasis(polys, vars, degrevlex, t);
13
14
15{x,z}
16
17
18
19% ***** Simple test 2 *****
20vars := {x, y, z};
21
22
23vars := {x,y,z}
24
25polys := {x,z};
26
27
28polys := {x,z}
29
30bibasis(polys, vars, degrevlex, nil);
31
32
33{x,z,y*z}
34
35
36
37% ***** Simple test 3 *****
38vars := {x, y};
39
40
41vars := {x,y}
42
43polys := {x*y+x+1};
44
45
46polys := {x*y + x + 1}
47
48bibasis(polys, vars, degrevlex, t);
49
50
51{x + 1,y}
52
53
54
55% ***** Simple test 4 *****
56vars := {x0, x1, x2, x3, x4};
57
58
59vars := {x0,
60
61         x1,
62
63         x2,
64
65         x3,
66
67         x4}
68
69polys := {x0*x3+x1*x2, x2*x4+x0};
70
71
72polys := {x0*x3 + x1*x2,x0 + x2*x4}
73
74bibasis(polys, vars, degrevlex, t);
75
76
77{x0*(x1 + x3),
78
79 x0*(x2 + 1),
80
81 x1*x2 + x0*x3,
82
83 x0*(x4 + 1),
84
85 x2*x4 + x0}
86
87
88
89% ***** Simple test 5 *****
90vars := {x0, x1, x2, x3, x4};
91
92
93vars := {x0,
94
95         x1,
96
97         x2,
98
99         x3,
100
101         x4}
102
103polys := {x0*x3+x1*x2, x2*x4+x0};
104
105
106polys := {x0*x3 + x1*x2,x0 + x2*x4}
107
108bibasis(polys, vars, deglex, t);
109
110
111{x1*x2*(x3 + 1),
112
113 x1*(x0 + x2),
114
115 x0*(x2 + 1),
116
117 x0*x3 + x1*x2,
118
119 x0*(x4 + 1),
120
121 x2*x4 + x0}
122
123
124
125% ***** Simple test 6 *****
126vars := {x0, x1, x2, x3, x4};
127
128
129vars := {x0,
130
131         x1,
132
133         x2,
134
135         x3,
136
137         x4}
138
139polys := {x0*x3+x1*x2, x2*x4+x0};
140
141
142polys := {x0*x3 + x1*x2,x0 + x2*x4}
143
144bibasis(polys, vars, lex, t);
145
146
147{x0 + x2*x4,x2*(x1 + x3*x4)}
148
149
150
151% ***** life 4 *****
152vars := {x0, x1, x2, x3, x4};
153
154
155vars := {x0,
156
157         x1,
158
159         x2,
160
161         x3,
162
163         x4}
164
165polys := {x4+x0*x1+x0*x2+x1*x2+x0*x1*x2+x0*x3+x1*x3+x2*x3+x0*x1*x2*x3};
166
167
168polys :=
169
170{x0*x1*x2*x3 + x0*x1*x2 + x0*x1 + x0*x2 + x0*x3 + x1*x2 + x1*x3 + x2*x3 + x4}
171
172bibasis(polys, vars, degrevlex, t);
173
174
175{x0*x1*x2 + x0*x1 + x0*x2 + x1*x2 + x0*x4 + x1*x4 + x2*x4 + x4,
176
177 x0*x1*x3 + x0*x2 + x1*x2 + x2*x3 + x0*x4 + x1*x4 + x3*x4,
178
179 x0*x2*x3 + x0*x1 + x1*x2 + x1*x3 + x0*x4 + x2*x4 + x3*x4,
180
181 x1*x2*x3 + x0*x1 + x0*x2 + x0*x3 + x1*x4 + x2*x4 + x3*x4,
182
183 x0*x1*x4 + x0*x2 + x1*x2 + x0*x4 + x1*x4 + x2*x4 + x4,
184
185 x0*x2*x4 + x0*x1 + x1*x2 + x0*x4 + x1*x4 + x2*x4 + x4,
186
187 x1*x2*x4 + x0*x1 + x0*x2 + x0*x4 + x1*x4 + x2*x4 + x4,
188
189 x0*x3*x4 + x1*x3 + x2*x3 + x0*x4 + x1*x4 + x2*x4,
190
191 x1*x3*x4 + x0*x3 + x2*x3 + x0*x4 + x1*x4 + x2*x4,
192
193 x2*x3*x4 + x0*x3 + x1*x3 + x0*x4 + x1*x4 + x2*x4}
194
195
196
197end$
198
199Tested on x86_64-pc-windows CSL
200Time (counter 1): 0 ms
201
202End of Lisp run after 0.00+0.04 seconds
203real 0.18
204user 0.01
205sys 0.04
206