On Tuesday, September 20, 2005 8:20 AM Martin Rubey wrote: > ... > )abb domain DEXPR DistributedExpression > DistributedExpression(R: Join(Ring, OrderedSet)): Exports == > Implementation where > > EXPRR ==> Expression R > > Exports == FunctionSpace R > > Implementation == EXPRR add > > Rep := EXPRR > ...
which provides a brilliant implementation of an extended Expression domain that displays in distributed form. I think this wonderfully demonstrates both the power of the Axiom language as well as the power of collaborative development! :) I have created a page on the Axiom wiki that demonstrates Martin's idea. http://wiki.axiom-developer.org/SandBoxDistributedExpression I also provided a simple coercion from types of Expression to DistributedExpression. Comments, improvements and extensions to the code would be greatly appreciated! Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
