tests/rtest_ask1.mac

   1 /* Test askinteger and asksign
   2  *
   3  * Note:
   4  * This test file is intended to be run with `batch_answers_from_file' to true.
   5  *
   6  * Sample Usage:
   7  *
   8  * maxima --batch-string='batch_answers_from_file:true; batch("tests/rtest_ask1.mac", test);'
   9  *
  10  * Note that setting `batch_answers_from_file' to true is not needed when `batch(...,test)'
  11  * is executed via the `batch-string' command-line option. It is needed if the test is done
  12  * from within a Maxima session.
  13  */
  14
  15 (kill(all),0);
  16 0$
  17
  18 /*
  19 (?trace(?\$asksign),0);
  20 0$
  21 */
  22
  23 /* commit 3137b946 tried to fix *LOCAL-SIGNS* craziness,
  24  * but screwed up in its own way. Fixed for good this time?
  25  * Nicked from mailing list circa 2013-08-28
  26  */
  27
  28 integrate(sin(omega*t)*exp(-s*t),t,0,inf); p;
  29 omega/(s^2+omega^2);
  30
  31 [asksign (foo), sign (foo), sign (foo)]; p;
  32 [pos, pos, pos];
  33
  34 [asksign (foo), sign (foo), sign (foo)]; n;
  35 [neg, neg, neg];
  36
  37 [asksign (foo), sign (foo), sign (foo)]; z;
  38 [zero, zero, zero];
  39
  40 limit((exp(a*x)-1)/(exp(a*x)+1),x,inf); p;
  41 1;
  42
  43 limit((exp(a*x)-1)/(exp(a*x)+1),x,inf); n;
  44 -1;
  45
  46 limit((exp(a*x)-1)/(exp(a*x)+1),x,inf); z;
  47 0;
  48
  49 /* mailing list 2017-11-25: "bug in Laplace transform"
  50  * root cause is asksign(-a^2) forgot the minus sign,
  51  * so include some cases to handle that and then the Laplace transform.
  52  */
  53
  54 asksign (a^2); z;
  55 zero;
  56
  57 asksign (a^2); nz;
  58 pos;
  59
  60 asksign (a^3); p;
  61 pos;
  62
  63 asksign (a^3); n;
  64 neg;
  65
  66 asksign (a^3);z;
  67 zero;
  68
  69 asksign (-a^2);z;
  70 zero;
  71
  72 asksign (-a^2);nz;
  73 neg;
  74
  75 asksign (-a^3);p;
  76 neg;
  77
  78 asksign (-a^3);n;
  79 pos;
  80
  81 asksign (-a^3);z;
  82 zero;
  83
  84 asksign (a^4);z;
  85 zero;
  86
  87 asksign (a^4);nz;
  88 pos;
  89
  90 asksign (a^5);p;
  91 pos;
  92
  93 asksign (a^5);n;
  94 neg;
  95
  96 asksign (a^5);z;
  97 zero;
  98
  99 asksign (-a^4);z;
 100 zero;
 101
 102 asksign (-a^4);nz;
 103 neg;
 104
 105 asksign (-a^5);p;
 106 neg;
 107
 108 asksign (-a^5);n;
 109 pos;
 110
 111 asksign (-a^5);z;
 112 zero;
 113
 114 asksign (a*b^2);p;
 115 pos;
 116
 117 asksign (a*b^2);n;
 118 neg;
 119
 120 asksign (a*b^2);z;
 121 zero;
 122
 123 asksign (a*b^3);p;
 124 pos;
 125
 126 asksign (a*b^3);n;
 127 neg;
 128
 129 asksign (a*b^3);z;
 130 zero;
 131
 132 asksign (-a*b^2);p;
 133 neg;
 134
 135 asksign (-a*b^2);n;
 136 pos;
 137
 138 asksign (-a*b^2);z;
 139 zero;
 140
 141 asksign (-a*b^3);p;
 142 neg;
 143
 144 asksign (-a*b^3);n;
 145 pos;
 146
 147 asksign (-a*b^3);z;
 148 zero;
 149
 150 asksign (a*b^4);p;
 151 pos;
 152
 153 asksign (a*b^4);n;
 154 neg;
 155
 156 asksign (a*b^4);z;
 157 zero;
 158
 159 asksign (-a*b^4);p;
 160 neg;
 161
 162 asksign (-a*b^4);n;
 163 pos;
 164
 165 asksign (-a*b^4);z;
 166 zero;
 167
 168 asksign (a^2*b^2);z;
 169 zero;
 170
 171 asksign (a^2*b^2);nz;
 172 pos;
 173
 174 asksign (a^2*b^3);p;
 175 pos;
 176
 177 asksign (a^2*b^3);n;
 178 neg;
 179
 180 asksign (a^2*b^3);z;
 181 zero;
 182
 183 asksign (-a^2*b^2);z;
 184 zero;
 185
 186 asksign (-a^2*b^2);nz;
 187 neg;
 188
 189 asksign (-a^2*b^3);p;
 190 neg;
 191
 192 asksign (-a^2*b^3);n;
 193 pos;
 194
 195 asksign (-a^2*b^3);z;
 196 zero;
 197
 198 asksign (a^2*b^4);z;
 199 zero;
 200
 201 asksign (a^2*b^4);nz;
 202 pos;
 203
 204 asksign (a^2*b^5);p;
 205 pos;
 206
 207 asksign (a^2*b^5);n;
 208 neg;
 209
 210 asksign (a^2*b^5);z;
 211 zero;
 212
 213 asksign (-a^2*b^4);z;
 214 zero;
 215
 216 asksign (-a^2*b^4);nz;
 217 neg;
 218
 219 asksign (-a^2*b^5);p;
 220 neg;
 221
 222 asksign (-a^2*b^5);n;
 223 pos;
 224
 225 asksign (-a^2*b^5);z;
 226 zero;
 227
 228 /* here's the Laplace transform that exposed the bug */
 229
 230 laplace (delta (t - x^2), t, s);z;
 231 1;
 232
 233 laplace (delta (t - x^2), t, s);nz;
 234 exp(-s*x^2);