[Axiom-developer] Tectonic shift

[root]

GUI issues are fine but unrelated to my original goal.



I see a tectonic shift in the computational math area (at least
from my limited view of the world).

There is a rising tide of discrete and computational geometry,
indeed a rise of geometric rather than algebraic approaches
that I see.

Axiom does not have any of the computational algebra support
and I've been pondering ways to address this.

Along the way the issue arises about how to handle the graphics.
Currently the graphics does not really support concepts like
infinite tilings. You could do this in a pointwise manner but
shouldn't have to do that.




Additionally I have another area which I see nowhere else
which is visual support for algorithms and data structures.

I want to be able to define an isomorphism between a data structure
and a graph and have that automatically displayed and updated.

For example, a list object and a tree structured graph so that
changges to the list modify the tree picture BUT ALSO changes
to the tree picture modify the list structure in memory. Thus you
would be able to manipulate your program from the graphics.

These abilities would be so much easier to construct if they
were implemented in common lisp and running as axiom programs.




So I'm looking for a lisp package that can draw colored lines
(of which colored points are a subset) in a window. IF I can
get both input and output thru the window I can build the
ideas envisioned above.

t