[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Nested functions in SPAD
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Nested functions in SPAD |
Date: |
07 Oct 2006 21:20:44 +0200 |
Waldek Hebisch <address@hidden> writes:
| 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.
Very interesting -- it worked for me. Presumably, the other one works
for Ralf.
| I will try to produce a self contained example for issue tracker.
Definitely.
-- Gaby