axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [AxiomProblems]


From: Bill Page
Subject: [Axiom-developer] [AxiomProblems]
Date: Mon, 17 Jan 2005 19:48:28 -0600

??changed:
-- DynamicFunctionDomains
- DynamicFunctionDomains::

    functions with signatures like (a,b,B(a))->(C(a,b))

- MutualRecursion::

    Odd(0)=false, Odd(n)=Even(n-1)
    Even(0)=true, Even(n)=Odd(n-1);


--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden




reply via email to

[Prev in Thread] Current Thread [Next in Thread]