[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Bug: using exp as a symbol in ** (was: System error: C
From: |
William Sit |
Subject: |
[Axiom-developer] Bug: using exp as a symbol in ** (was: System error: Cannot take first of an empty list |
Date: |
Sun, 16 Jan 2005 12:08:49 -0500 |
The error apparently comes from EXPR where the implementation is
x**y == exp(y * log(x))
so exp^log(x) is computed as
exp(log(x) * log(exp))
which should be ok, but then the system handles log exp and tries to simplify it
to the identity map, and not finding the argument.
William
---
>
> 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)
>