login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:15:17-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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 




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: