[Top][All Lists]

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

Re: [Axiom-developer] CAS for the masses

From: Martin Rubey
Subject: Re: [Axiom-developer] CAS for the masses
Date: 30 Mar 2007 08:46:25 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Ralf Hemmecke <address@hidden> writes:

> In Aldor-Combinat I even have to use this destructiveness in order to allow
> recursive definitions of combinatorial species a la
> B == X + B*B

In fact, we even create domains from a given string in axiom-combinat! Try

B ==> Interpret([parse "Plus(Self, Times(Self, Self))"], ACINT)


and keep in mind that "Plus(Self, Times(Self, Self))" is a String!


reply via email to

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