Ralf Hemmecke <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
