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

Reply via email to