Re: [Axiom-developer] Of possible interest to Axiom

[Doug Stewart]

root wrote:
> > > > > 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
>
>   
Thanks and wow!!!!
This system you have developed (literate programming is WOW!!!) is 
excellent!

Doug