Re: [open-axiom-devel] axiom.sty
A system for computer algebra and symbolic mathematics
Brought to you by:
dos-reis
From: Gabriel D. R. <gd...@cs...> - 2007-09-27 13:01:01
|
On Thu, 27 Sep 2007, Ralf Hemmecke wrote: | > | reason is simply that it is not very clear, what it actually means. LaTeX | > | is | > | about tagging and I think it would be wiser to avoid [[...]] and rather | > | introduce certain LaTeX commands that better tag the meaning of "blah". | > | For | > | example I use \adtype{SetSpecies} and \adname[SetSpecies]{structures} to | > | print | > | (hyperlinked) "SetSpecies" and "structures". | > | > That is close to the syntax used for hyerpdoc on in the documentation of | > algebra files, so I would support reusing that syntax or extending it | > to support hyperlinks. | | Hmm, I have to look more closely into the hypertex syntax. As far as I know | hypertex, it is very much like TeX and undocumented. To be honest, I would | rather like to move the hypertex syntax into a more LaTeX looking syntax and | clean-up there a bit as well. But I am not so sure whether I am so much in | favour of HyperDoc. It's functionality is OK, but it looks old. I would rather | aim at something that will run in a web browser. Unfortunately, all my | abilities are currently to produce only static pages. But maybe that is not so | important if I just propose some LaTeX-like syntax to achieve the | functionality. When I refer to hyperdoc in the previous message, it is more about the TeX/LaTeX syntax as in (aggrcat.spad) ++ A collection is a homogeneous aggregate which can built from ++ list of members. The operation used to build the aggregate is ++ generically named \spadfun{construct}. However, each collection ++ provides its own special function with the same name as the ++ data type, except with an initial lower case letter, e.g. ++ \spadfun{list} for \spadtype{List}, I'm not proposing to use the "++" comment, just the typesetting commands. The hyperdoc GUI is not being considered here. -- Gaby |