Re: [Axiom-developer] Nested functions in SPAD

[Waldek Hebisch]

Gabriel Dos Reis wrote:
> Try:
>     goodCoef(v, l, s) ==
>       -- if k1 is part of k2 we should not express k1 in terms of k2
>       -- (othewise we would get infinite recursion)
>       -- below we impose a stronger condition: we require
>       -- height(k1) to be maximal
>       h:NonNegativeInteger := 0
>       j:Integer := 0
>       ll := [k for k in l | transcendental?(k)] where
>          transcendental?(k:K):Boolean ==
>             is?(k, "log"::SY) => true
>             is?(k, "exp"::SY) => true
>             is?(k, "tan"::SY) => true
>             is?(k, "atan"::SY) => true
>             false
>       ll
> 

This gives me the same error.  I will try to produce a self contained
example for issue tracker.

-- 
                              Waldek Hebisch
address@hidden