Re: HyperDoc replacement, was: Re: [Axiom-developer] CATS - Computer Algebra Test Suite

[root]

Martin,

I followed that link and found your code. 

I can see where your approach is a more general way to put latex
documentation into a new hyperdoc.

I can see where Arthur's approach makes the equations "live".

We should give some thought to merging the spad code concepts
so the hyperdoc-firefox front end has more choices available to it.
In particular we should probably design a generic "hyper" domain.
And a generic "request/response" protocol so others can use it from
places other than the web browser.

I know we're going to need the output from system commands such as:
  )show Polynomial(Fraction(Integer))
and we'll need to be able to make database calls like asq does.

Also it would be nice to export draw commands for the browser.
The key problem is that currently draw assumes sman. If there
were another version draw that wrote to a file we could invoke
viewalone on the file. Once this works we no longer need sman,
clef, session, hyper, the special sockets, the lisp code to
support sman, or the lisp code to support hyperdoc. Huge pieces
of the system fall away and life is much easier. Nearly all the
non-graphics lisp code disappears from axiom.

It would also be nice to do things like save session history so the
user could construct a web page with input/output or write it to a file.

Tim