Re: A question about Axiom capabilities

Eugene Surowitz <[email protected]> Mon, 08 Apr 2013 10:49:41 -0400
Newsgroups gmane.comp.mathematics.axiom.user
Message-ID <[email protected]>
Doing it by hand is highly prone to errors and more importantly omissions.

I've experimenting with some code on the Axiom interpreter code as a guinea pig,
before running through all the text of Axiom, to generate a full tokenary.
The text walker starts with output from the tar-ball and busts all text
into tokens, which can be tunable to sub-language.

Or putting it another way: Where is "integrate" everywhere?

Cheers, Gene


On 4/6/2013 4:52 PM, u1204 wrote:
>> Is there a way I could help in a pan-Axiom sort of way? For instance,
>> would it be any help if I went through these categories and drew a
>> diagram of their relationships? I realise diagrams like:
>> http://www.axiom-developer.org/axiom-website/bookvol10.2full.html
>> tend to quickly become unwieldy. But if the diagram was limited to pure
>> algebras and split into operator and algebra categories, perhaps it
>> might be more manageable?
>
> The graph is very large. All of the information to create the graph
> exists in static files (the algebra Makefile and the bookvol10* files).
>
> It would be useful to be able to create portions of the graph
> dynamically. Some of the functionality exists in the API domain
> (ApplicationProgramInterface), such as getAncestors and getDomains.
> Any other functionality is just as easy to add. I'd be happy to help.
>
> In addition, it would be useful to be able to graph some information
> related to functions. Where are all of the "integrate" functions and
> how are they related? Or to know about a domain by showing the locally
> defined functions and the tree of parents whose functions it inherits.
>
>>From a given domain it would be useful to create portions of the graph
> of a given distance around the domain. So you could ask for a small
> graph of categories and make the limit distance of 3. If the output
> was in some standard format (e.g. dot files, html, etc.) it could be
> used as input to graph drawing programs.
>
> This is a reasonably straightforward problem and would get you more
> familiar with Axiom's hierarchy as well as writing code.
>
> Some of this functionality can be embedded into latex documents which
> would make them much more useful. Currently the big graph contains
> links to the source code in the books. There are mini-graphs in the
> books but the links are not (yet) part of the graphs. It would be
> useful to click on the pictures in the book and move to, say, a
> parent category's source code.
>
> Tim Daly
>
> _______________________________________________
> Axiom-mail mailing list
> [email protected]
> https://lists.nongnu.org/mailman/listinfo/axiom-mail
>
>