[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Of possible interest to Axiom
From: |
root |
Subject: |
Re: [Axiom-developer] Of possible interest to Axiom |
Date: |
Thu, 18 Sep 2008 07:55:01 -0400 |
>>>> 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