help links subscribe changes refresh edit

	IssueTracker
#239 <code>Algebra</code> does not have <code>CharacteristicNonZero</code>, but the book says so ←	↑	→ #240 another 'limit' failure

#24 System error: Cannot take first of an empty list

Edit detail for #24 System error: Cannot take first of an empty list revision 3 of 3

	1 2 3
Editor: kratt6 Time: 2007/12/28 14:58:22 GMT-8
Note:

added:

From kratt6 Fri Dec 28 14:58:22 -0800 2007
From: kratt6
Date: Fri, 28 Dec 2007 14:58:22 -0800
Subject: 
Message-ID: <20071228145822-0800@axiom-wiki.newsynthesis.org>

Category: Axiom Mathematics => Axiom Library

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