On Wed, Dec 24, 2008 at 12:42 AM, William Stein <wst...@gmail.com> wrote:
>
> Hi,
>
> I propose removing the hermes optional spkg from the optional repo,
> and putting it in experimental. Does anybody care about or use that
> spkg? I have no real idea where it came from, who made it, etc., or
> even what it does! See
I don't use this but regarding who made it, please see the below post,
copy+pasted from the old sf.net list (around the time of sage 1.2 or
1.3 I think):
++++++++++++++++++++++++++++++++++++++++++++++++++++
[SAGEdev] Basic mathml logger
didier deshommes
to sage-devel
show details 5/3/06
Hello,
I've written a basic session logger that tries to save everything in
mathml. Most of the tools that do the latex -> mathml conversion
either do an arbitrary subset of the LaTeX language or are non-free.
hermes (http://hermes.roua.org/) manages to be more complete by
semantically analyzing the tex source. So, it could potentially parse
out the whole SAGE documentation.
To generate mathml output in hermes, you need to do:
./seed doc.tex
latex doc.s.tex
./hermes doc.s.dvi > out.lib
xslproc pub.xsl out.lib > out.pub # you'll need to download xlstproc
The latex-> mathml conversion is not perfect yet: hermes chokes up on
\mbox and \rm tags, but the dvi generated by a file containing this
tag contains errors anyway (if you look at the log). I'm guessing that
the latex-> dvi conversion needs to run without any errors...
At the moment, hermes cannot parse the SAGE docs, it doesn't support
some of the fonts that the docs are written in. Hermes has a list of
fonts it supports, but this list can be extended.
Here is the output of a sample session:
http://aida.homelinux.net/sagelog.pub.xml
I've attached the diff against misc/log.py and a patch against a bug
found in hermes/pub.xslt, if you're interested to mess with it.
Cheers,
didier
+++++++++++++++++++++++++++++++++++++++++++++++++++
> http://trac.sagemath.org/sage_trac/ticket/4866
>
> If nobody responds in a few days it'll get deprecated.
>
> William
>
> --
> William Stein
> Associate Professor of Mathematics
> University of Washington
> http://wstein.org
>
> >
>
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
