|
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?
>> >
------------------------------------------------------------
... --kratt6, Thu, 20 Dec 2007 02:21:45 -0800
Status: open => duplicate
see #23
... --kratt6, Fri, 28 Dec 2007 14:58:22 -0800
Category: Axiom Mathematics => Axiom Library
|