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

[William Sit]

Simpler:

(1) -> exp^3

           3
   (1)  exp
                                   Type: Polynomial Integer
(2) -> a^log(x)

         log(x)
   (2)  a
                                   Type: Expression Integer
(3) -> exp^log(x)

   >> System error:
   Cannot take first of an empty list

protected-symbol-warn called with (NIL)

William
----

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

-- 
William Sit
Department of Mathematics....Email: address@hidden
City College of New York................Tel: 212-650-5179
Convent Ave at West 138th Street........Fax: 212-862-0004
New York, NY 10031..Axiom, A Scientific Computation Sytem
USA............... http://www.nongnu.org/axiom/index.html