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