Re[2]: [Axiom-developer] System error: Cannot take first of an empty list

[Vladimir Bondarenko]

Perfect!


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?
>>  >
>>  >
>>  > Best,
>>  >
>>  > Vladimir
>>  >
>>  >
>>  >
>>  > _______________________________________________
>>  > Axiom-developer mailing list
>>  > address@hidden
>>  > http://lists.nongnu.org/mailman/listinfo/axiom-developer
>> 
>> _______________________________________________
>> Axiom-developer mailing list
>> address@hidden
>> http://lists.nongnu.org/mailman/listinfo/axiom-developer