[Axiom-developer] [#24 System error: Cannot take first of an empty list] (new)

[anonymous]

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?
>>  >
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden