I must say that I'm impressed with this.

>> There is a technology called d3.js that looks especially interesting: 
>> https://github.com/mbostock/d3/wiki/Gallery and I have spent a little 
>> time looking at it. It is data driven so Axiom can feed it data just 
>> like it does for the current graphics. A websocket connection would 
>> allow two-way interaction with Axiom. 
>Leaving aside technicalities I think that
>http://www.math.wm.edu/~leemis/chart/UDR/UDR.html
>is an illustration of an effective way to organize some mathematical 
>structures/relationships.  So far as I can see there is no reason calls 
>(or code) couldn't be automatically generated from an illustration like 
>this.  The background explanations (obtained by clicking) could be 
>expanded or linked to code.  IMHO it's not complete but an excellent 
>start for people trying to model statistical data.  For instance draging 
>and dropping particular distributions into an "analyser" for 
>comparisons, etc..., is a logical extension.
>Of course the missing ingredient is an abstraction direction allowing 
>focusing on particular properties; say different ranges, data types, and 
>so forth.  But those ideas are rendered obvious once the "style" is visible.

I'd like to develop a similar diagram for Axiom categories listing all of
the axioms that underpin each category. The links would go to the section
of the book for that category. I already have an SVG graph of the categories,
domains, and packages on the Axiom website.

Tim

_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to