On 02/02/2008 10:13 AM, Martin Rubey wrote: > As I'm trying to understand the structure of the algebra a little better, I'd > like to have a tool as described below. Ideally written in SPAD or Aldor, but > everything else is also good.
> input: a list of categories > > output: the graph describing the relationships inbetween. Ideally, also a > picture as in the axiom book. > Does something like that exist already? My first suggestion would have been aldor -fasy -lalgebra -laldor filename.as (that also works on the .ao instead of the .as file). However, that is of course not really a solution since one must start the compiler. Aldor does not have reflection, so something like you wrote for Axiom&Co is impossiple in Aldor. Ralf ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel