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? Martin ------------------------------------------------------------------------- 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
