share/algebra/charsets/test.run

   1 Maxima 5.35.1 http://maxima.sourceforge.net
   2 using Lisp SBCL 1.1.14.debian
   3 Distributed under the GNU Public License. See the file COPYING.
   4 Dedicated to the memory of William Schelter.
   5 The function bug_report() provides bug reporting information.
   6 (%i1) load("charsets.mac");
   7
   8 ; file: /home/michel/Documents/pro/charsets/maxima_charsets/charsets_set.lisp
   9 ; in: DEFUN $CHARSETS_UNORDEREDP
  10 ;     (DEFUN MAXIMA::$CHARSETS_UNORDEREDP (MAXIMA::A MAXIMA::B) T)
  11 ;
  12 ; caught STYLE-WARNING:
  13 ;   The variable A is defined but never used.
  14 ;
  15 ; caught STYLE-WARNING:
  16 ;   The variable B is defined but never used.
  17 ;
  18 ; compilation unit finished
  19 ;   caught 2 STYLE-WARNING conditions
  20 (%o1)                            charsets.mac
  21 (%i2) load("test.mac");
  22 (%o2)                              test.mac
  23 (%i3) charsets_test();
  24 Executing test number  1
  25 Test 1 input:
  26 charsets_charset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  27                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4])$
  28 Test 1 expected output:
  29 [[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),
  30   x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2]]$
  31 CharSets_Test: 1 Good
  32 Executing test number  2
  33 Test 2 input:
  34 charsets_charset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  35                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],basset)$
  36 Test 2 expected output:
  37 [[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),
  38   x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2]]$
  39 CharSets_Test: 2 Good
  40 Executing test number  3
  41 Test 3 input:
  42 charsets_charset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  43                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],wbasset)$
  44 Test 3 expected output:
  45 [[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
  46   x1*x4+x3-x1*x2]]$
  47 CharSets_Test: 3 Good
  48 Executing test number  4
  49 Test 4 input:
  50 charsets_charset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  51                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],qbasset)$
  52 Test 4 expected output:
  53 [[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
  54   x1*x4+x3-x1*x2]]$
  55 CharSets_Test: 4 Good
  56 Executing test number  5
  57 Test 5 input:
  58 charsets_charset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  59                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],charsetn)$
  60 Test 5 expected output:
  61 [[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),
  62   x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2]]$
  63 CharSets_Test: 5 Good
  64 Executing test number  6
  65 Test 6 input:
  66 charsets_charset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  67                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],wcharsetn)$
  68 Test 6 expected output:
  69 [[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
  70   x1*x4+x3-x1*x2]]$
  71 CharSets_Test: 6 Good
  72 Executing test number  7
  73 Test 7 input:
  74 charsets_charset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  75                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],qcharsetn)$
  76 Test 7 expected output:
  77 [[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
  78   x1*x4+x3-x1*x2]]$
  79 CharSets_Test: 7 Good
  80 Executing test number  8
  81 Test 8 input:
  82 charsets_charset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  83                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],triset)$
  84 Test 8 expected output:
  85 [[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
  86   x1*x4+x3-x1*x2]]$
  87 CharSets_Test: 8 Good
  88 Executing test number  9
  89 Test 9 input:
  90 charsets_charset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  91                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],trisetc)$
  92 Test 9 expected output:
  93 [[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),
  94   x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2]]$
  95 CharSets_Test: 9 Good
  96 Executing test number  10
  97 Test 10 input:
  98 charsets_mcharset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
  99                    x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4])$
 100 Test 10 expected output:
 101 [[[x1],
 102   [2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,
 103    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2]]]$
 104 CharSets_Test: 10 Good
 105 Executing test number  11
 106 Test 11 input:
 107 charsets_mcharset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 108                    x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],basset)$
 109 Test 11 expected output:
 110 [[[x1],
 111   [2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,
 112    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2]]]$
 113 CharSets_Test: 11 Good
 114 Executing test number  12
 115 Test 12 input:
 116 charsets_mcharset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 117                    x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],wbasset)$
 118 Test 12 expected output:
 119 [[[x1],
 120   [2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
 121    x1*x4+x3-x1*x2]]]$
 122 CharSets_Test: 12 Good
 123 Executing test number  13
 124 Test 13 input:
 125 charsets_mcharset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 126                    x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],qbasset)$
 127 Test 13 expected output:
 128 [[[x1],
 129   [2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
 130    x1*x4+x3-x1*x2]]]$
 131 CharSets_Test: 13 Good
 132 Executing test number  14
 133 Test 14 input:
 134 charsets_mcharset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 135                    x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],charsetn)$
 136 Test 14 expected output:
 137 [[[x1],
 138   [2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,
 139    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2]]]$
 140 CharSets_Test: 14 Good
 141 Executing test number  15
 142 Test 15 input:
 143 charsets_mcharset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 144                    x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],wcharsetn)$
 145 Test 15 expected output:
 146 [[[x1],
 147   [2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
 148    x1*x4+x3-x1*x2]]]$
 149 CharSets_Test: 15 Good
 150 Executing test number  16
 151 Test 16 input:
 152 charsets_mcharset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 153                    x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],qcharsetn)$
 154 Test 16 expected output:
 155 [[[x1],
 156   [2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
 157    x1*x4+x3-x1*x2]]]$
 158 CharSets_Test: 16 Good
 159 Executing test number  17
 160 Test 17 input:
 161 charsets_mcharset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 162                    x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],triset)$
 163 Test 17 expected output:
 164 [[[x1],
 165   [2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
 166    x1*x4+x3-x1*x2]]]$
 167 CharSets_Test: 17 Good
 168 Executing test number  18
 169 Test 18 input:
 170 charsets_mcharset([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 171                    x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],trisetc)$
 172 Test 18 expected output:
 173 [[[x1],
 174   [2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,
 175    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2]]]$
 176 CharSets_Test: 18 Good
 177 Executing test number  19
 178 Test 19 input:
 179 charsets_iniset([12*b^3+6*b^2+b-1,
 180                  (4*b^2-1)*(11664*c2^3+67392*b^2*c2^2+58320*b*c2^2-17712*c2^2
 181                                       -50544*b^2*c2-58320*b*c2+23328*c2
 182                                       +17496*b^2+29484*b-6156)
 183                   -11],[b,c2])$
 184 Test 19 expected output:
 185 [[2*b-1,2*b+1]]$
 186 CharSets_Test: 19 Good
 187 Executing test number  20
 188 Test 20 input:
 189 charsets_remset([-11664*c2^3-67392*b^2*c2^2-58320*b*c2^2+17712*c2^2
 190                             +50544*b^2*c2+58320*b*c2-23328*c2+12*b^3-17490*b^2
 191                             -29483*b+6155,
 192                  (11664*c2^3+67392*b^2*c2^2+58320*b*c2^2-17712*c2^2
 193                             -50544*b^2*c2-58320*b*c2+23328*c2+17496*b^2
 194                             +29484*b-6156)
 195                   ^2,
 196                  2*(11664*c2^3+67392*b^2*c2^2+58320*b*c2^2-17712*c2^2
 197                               -50544*b^2*c2-58320*b*c2+23328*c2+17496*b^2
 198                               +29484*b-6156)
 199                   -b^2],
 200                 [12*b^3+6*b^2+b-1,
 201                  11664*c2^3+67392*b^2*c2^2+58320*b*c2^2-17712*c2^2
 202                            -50544*b^2*c2-58320*b*c2+23328*c2+17496*b^2+29484*b
 203                            -6156],[b,c2])$
 204 Test 20 expected output:
 205 [[b^2]]$
 206 CharSets_Test: 20 Good
 207 Executing test number  21
 208 Test 21 input:
 209 charsets_charser([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 210                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4])$
 211 Test 21 expected output:
 212 [[[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),
 213    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2],
 214   [x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],[x1+1,x2,x3^2-1,x4-x3]]]$
 215 CharSets_Test: 21 Good
 216 Executing test number  22
 217 Test 22 input:
 218 charsets_charser([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 219                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],basset)$
 220 Test 22 expected output:
 221 [[[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),
 222    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2],
 223   [x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],[x1+1,x2,x3^2-1,x4-x3]]]$
 224 CharSets_Test: 22 Good
 225 Executing test number  24
 226 Test 24 input:
 227 charsets_charser([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 228                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],charsetn)$
 229 Test 24 expected output:
 230 [[[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),
 231    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2],
 232   [x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],[x1+1,x2,x3^2-1,x4-x3]]]$
 233 CharSets_Test: 24 Good
 234 Executing test number  26
 235 Test 26 input:
 236 charsets_charser([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 237                   x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],trisetc)$
 238 Test 26 expected output:
 239 [[[x1*(2*x1*x2^2+2*x2^2-2*x1*x2+x1+1),
 240    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2],
 241   [x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],[x1+1,x2,x3^2-1,x4-x3]]]$
 242 CharSets_Test: 26 Good
 243 Executing test number  27
 244 Test 27 input:
 245 charsets_mcs([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 246               x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4])$
 247 Test 27 expected output:
 248 [[[2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,
 249    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2],
 250   [x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],[x1+1,x2,x3^2-1,x4-x3]]]$
 251 CharSets_Test: 27 Good
 252 Executing test number  28
 253 Test 28 input:
 254 charsets_mcs([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 255               x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],basset)$
 256 Test 28 expected output:
 257 [[[2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,
 258    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2],
 259   [x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],[x1+1,x2,x3^2-1,x4-x3]]]$
 260 CharSets_Test: 28 Good
 261 Executing test number  29
 262 Test 29 input:
 263 charsets_mcs([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 264               x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],wbasset)$
 265 Test 29 expected output:
 266 [[[2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
 267    x1*x4+x3-x1*x2],[x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],
 268   [x1+1,x2,x3^2-1,x3*x4-2*x2^2-x1*x2-1]],
 269  [[2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,x3^2-x1*x2*x3+2*x1*x2^2+x1^2*x2+x1,
 270    x1*x4+x3-x1*x2],[x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],
 271   [x1+1,x2,x3^2+x2*x3-2*x2^2+x2-1,x3*x4-2*x2^2-x1*x2-1]]]$
 272 CharSets_Test: 29 Good
 273 Executing test number  30
 274 Test 30 input:
 275 charsets_mcs([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 276               x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],charsetn)$
 277 Test 30 expected output:
 278 [[[2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,
 279    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2],
 280   [x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],[x1+1,x2,x3^2-1,x4-x3]]]$
 281 CharSets_Test: 30 Good
 282 Executing test number  32
 283 Test 32 input:
 284 charsets_mcs([x1*x4^2+x4^2-x1*x2*x4-x2*x4+x1*x2+3*x2,x1*x4+x3-x1*x2,
 285               x3*x4-2*x2^2-x1*x2-1],[x1,x2,x3,x4],trisetc)$
 286 Test 32 expected output:
 287 [[[2*x1*x2^2+2*x2^2-2*x1*x2+x1+1,
 288    x1*x3^2+x3^2-x1^2*x2*x3-x1*x2*x3+x1^3*x2+3*x1^2*x2,x1*x4+x3-x1*x2],
 289   [x1,2*x2^2+1,x3,x4^2-x2*x4+3*x2],[x1+1,x2,x3^2-1,x4-x3]]]$
 290 CharSets_Test: 32 Good
 291 (%o3)                                done
 292 (%i4)
 293
 294