Re: [Axiom-developer] OpenMath

[Bertfried Fauser]

On Thu, 13 May 2004, root wrote:

Dear Tim,

> Editors are like wives, you usually only have one and it is very
> hard to change.

Am I allowed to put this into my "quotations" box? ;-))

> It is possible to use the TeXmacs sources to get 90% of the work
> done and change the presentation to be more notebook-like. It seems,
> based on my limited discussions, that the key issues are the folding
> paradigm and the notebook-to-pamphlet data compatibility (i.e. changing
> the notebook changes the pamphlet and vice-versa).

This woudl amount to post two ToDo points to challenge teh TeXmacs
developers

* Add a folding mechanism which allows to fold and unfold in several
document hirarchies like paragraphs, secions, chapters

* Add an export filter which produces pamphelt files from TeXmacs
documents

I think at least the first should be possible for them, since all
applications would benefit from such a feature, the second, hmmm..

> Bill Page's wiki might be an interesting alternative path. I tried to
> write a webpage that "folds" but my javascript isn't up to the task.
> And I'm still pondering how to get the wiki pages back into the
> booklet/pamphlet/tex format. Ideally you could change the book in the
> wiki and have it reflected in the pdf.

The latex+wiki is really beyond everything I was intended to belive!!
However, it looks odd, if renered text (included as image) and usual text
(rendered by the html engine/browser) are mixed. Moreover, it is a bit of
cheating involved. The creator of such a page has to deal with bootom down
LaTeX and wiki(html) formating issues. This is fare away from being a
wysiwyg application.
        Really challenging would be a web site where you can drag and drop
elements arrond (among them there may be AXIOM_INPUT elements and
AXIOM_OUTPUT elemenst) without going into the details of formating.
However, this seems to be a remote thing to think of.

So the pragmatical question:

What is the present AXIOM comunity and would it enlarge (gramatically) if
a GUI (other than TeXmacs) would be awailable?

ciao
BF.

% PD Dr Bertfried Fauser
%       Institution: Max Planck Institut for Mathematics Leipzig 
<http://www.mis.mpg.de>
%       Privat Docent: University of Konstanz, Physics Dept 
<http://www.uni-konstanz.de>
% contact |->    URL : http://clifford.physik.uni-konstanz.de/~fauser/
%             E-Mail : address@hidden (address@hidden)
%              Phone : Leipzig +49 341 9959 735  Konstanz +49 7531 693491