|
|
|
last edited 16 years ago by kratt6 |
Edit detail for #24 System error: Cannot take first of an empty list revision 1 of 3
| 1 2 3 | ||
|
Editor:
Time: 2007/11/17 22:15:17 GMT-8 |
||
| Note: | ||
changed: - WS> Simpler: (1) ->> exp^3 WS> 3 WS> (1) exp WS> Type: Polynomial Integer (2) ->> a^log(x) WS> log(x) WS> (2) a WS> Type: Expression Integer (3) ->> exp^log(x) WS> >> System error: WS> Cannot take first of an empty list WS> protected-symbol-warn called with (NIL) WS> William WS> ---- WS> Martin Rubey wrote: >> >> Of course it's a bug. Please file it! >> >> Martin >> >> Vladimir Bondarenko writes: >> > Hello all, >> > >> > Any comments on the following stuff? >> > >> > >> > ....................................................... >> > -- behavior type # 1 >> > ....................................................... >> > >> > -> integrate(%i^log(z), z) >> > >> > log(%i)log(z) >> > z %e >> > ----------------- >> > log(%i) + 1 >> > >> > -> integrate(f^log(z), z) >> > >> > log(f)log(z) >> > z %e >> > ---------------- >> > log(f) + 1 >> > >> > -> integrate(sin^log(z), z) >> > >> > log(sin)log(z) >> > z %e >> > ------------------ >> > log(sin) + 1 >> > >> > -> integrate(tan^log(z), z) >> > >> > log(tan)log(z) >> > z %e >> > ------------------ >> > log(tan) + 1 >> > >> > -> integrate(sqrt^log(z), z) >> > >> > log(sqrt)log(z) >> > z %e >> > ------------------- >> > log(sqrt) + 1 >> > >> > -> integrate(atan^log(z), z) >> > >> > log(atan)log(z) >> > z %e >> > ------------------- >> > log(atan) + 1 >> > >> > -> integrate(asinh^log(z), z) >> > >> > log(asinh)log(z) >> > z %e >> > -------------------- >> > log(asinh) + 1 >> > ....................................................... >> > >> > >> > BUT >> > >> > >> > ....................................................... >> > -- behavior type # 2 >> > ....................................................... >> > >> > -> integrate(exp^log(z), z) >> > >> > >> System error: >> > Cannot take first of an empty list >> > >> > -> integrate(log^log(z), z) >> > >> > >> System error: >> > Cannot take first of an empty list >> > >> > ....................................................... >> > >> > >> > Should this be considered as a bug or a feature? >> >
WS> Simpler: (1) ->> exp^3 WS> 3 WS> (1) exp WS> Type: Polynomial Integer (2) ->> a^log(x) WS> log(x) WS> (2) a WS> Type: Expression Integer (3) ->> exp^log(x) WS> >> System error: WS> Cannot take first of an empty list WS> protected-symbol-warn called with (NIL) WS> William WS> ---- WS> Martin Rubey wrote: >> >> Of course it's a bug. Please file it! >> >> Martin >> >> Vladimir Bondarenko writes: >> > Hello all, >> > >> > Any comments on the following stuff? >> > >> > >> > ....................................................... >> > -- behavior type # 1 >> > ....................................................... >> > >> > -> integrate(%i^log(z), z) >> > >> > log(%i)log(z) >> > z %e >> > ----------------- >> > log(%i) + 1 >> > >> > -> integrate(f^log(z), z) >> > >> > log(f)log(z) >> > z %e >> > ---------------- >> > log(f) + 1 >> > >> > -> integrate(sin^log(z), z) >> > >> > log(sin)log(z) >> > z %e >> > ------------------ >> > log(sin) + 1 >> > >> > -> integrate(tan^log(z), z) >> > >> > log(tan)log(z) >> > z %e >> > ------------------ >> > log(tan) + 1 >> > >> > -> integrate(sqrt^log(z), z) >> > >> > log(sqrt)log(z) >> > z %e >> > ------------------- >> > log(sqrt) + 1 >> > >> > -> integrate(atan^log(z), z) >> > >> > log(atan)log(z) >> > z %e >> > ------------------- >> > log(atan) + 1 >> > >> > -> integrate(asinh^log(z), z) >> > >> > log(asinh)log(z) >> > z %e >> > -------------------- >> > log(asinh) + 1 >> > ....................................................... >> > >> > >> > BUT >> > >> > >> > ....................................................... >> > -- behavior type # 2 >> > ....................................................... >> > >> > -> integrate(exp^log(z), z) >> > >> > >> System error: >> > Cannot take first of an empty list >> > >> > -> integrate(log^log(z), z) >> > >> > >> System error: >> > Cannot take first of an empty list >> > >> > ....................................................... >> > >> > >> > Should this be considered as a bug or a feature? >> >