Re: [Axiom-developer] CAS for the masses

[Martin Rubey]

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)

generatingSeries()$B

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

Martin