>>>> The latest documentation work is creating a full graph of the Axiom >>>> algebra as part of the bookvol10* buildout. This could be useful in >>>> guiding your work in building a CLOS version. >>>> >>> I have been watching your progress and bookvol10 is looking very good. >>> >>> It should be fairly easy to write a lisp package which traverses the >>> in-memory >>> algebra lattice in various ways and produces graphviz output. We could >>> graph >>> the entier hierarchy, or just a "local view" of a domain and, say, its >>> direct >>> supersignatures. Or a who-calls graph for a particular function, etc. This >>> would happen dynamically at runtime. >>> >> >> Look at <http://daly.axiom-developer.org/bookvol10.2.pdf> which is the >> latest incarnation I'm testing. >> >> The key innovation here is that I've figured out how to connect the >> graphviz graph directly to the PDF files. So once I put up the next >> version of the system you should be able to look at the graphviz category >> graph, click on a box, and go directly to the page in the PDF. Try: >> >> <http://daly.axiom-developer.org/bookvol10.2.pdf#nameddest=SETCAT> >> >> or >> >> <http://daly.axiom-developer.org/bookvol10.2.pdf#nameddest=SetCategory> >> >> I've also figured out some more tricks to use Axiom to dynamically >> generate information but I haven't had time to code them yet. >> >> The literate documentation is getting more interesting. >> >> Tim
>I find this project VERY interesting, but I don't know enough about the >terminology used to get the complete picture. For example I read the >first paragraph and was lost. > >" >In general, we use several colors in the graph images. The lightblue >color indi- >cates a category that is in the direct inheritance path. The green >(#00EE00) >color indicates a category or domain used in the exports. The seagreen (a >dark green, indicates a category or domain which is used but does not corre- >spond to the signature of an existing category. The system can infer >that this >subsumption node matches the category. A yellow color indicates a >domain. > >" >Where am I to find out exactly what you mean by: >category >domain >exports >signature >subsumption node >etc. > >I have vague idea of what they mean but I think I should know these >precisely if I am to learn this system. You need to look at bookvol0, the Jenks and Sutor book at <http://axiom-developer.org/axiom-website/documentation.html> Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
