[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] hyperlinked algebra

From: Martin Rubey
Subject: Re: [Axiom-developer] hyperlinked algebra
Date: 09 Dec 2005 23:59:30 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

> Well if I could easily get access to parents/siblings/children from the .asy
> file in a some more attractive way for me, that would make me happy and would
> probably be the dead of current hyperdoc, since then hyperdoc(-similar) pages
> could be created in the following way
> .pamphlet (with aldordoc-like +++ descriptions) -->
> .ao file                                        -->
> Having then extract the .ao again   -->
> .asy  (with +++ comments)                       -->
> .tex (with the +++ comments like in ALLPROSE)   -->
> latex/pdflatex/htlatex that .tex files to get an API
> descriptions in dvi/pdf/html form.

For the Spad files, this is rather easy and was described by Tim in a recent
email. Would this be good enough for you? In fact, asq does most of it already:

asq -doc PI

However, to replace hyperdoc, you would have to have one dvi file for each
operation and each constructor, which would probably be a burden for the
harddisk. I think that the proper format for the hyperdoc replacement is a
database of html chunks. 

Still, for a proof of concept, it might make a lot of sense to do it first via
the few thousend dvi files.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]