|
From: | William Sit |
Subject: | Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) |
Date: | Thu, 25 Aug 2016 13:13:31 +0000 |
Hi Tim:
Would it be simpler to only add semantic markups to algorithmic descriptions in papers? Authors can be asked to provide a separate chunk with [Axiom] semantic markups (in essence, a skeleton implementation or pseudo-code of the algorithm involved---skeleton because the data structures of mathematical objects are usually ignored in a math paper). This would avoid having to mess with the latex source (already hard to read sometimes) or to "weave" to remove the semantic markups to recapture the latex: all that is needed would be to ignore the semantic chunk). Put another way, the semantic chunk is a direct (by hand or automatic) translation of the latex version of an algorithm chunk.
Also, what would be the scope of the added semantic macros in LaTeX (like \AD, \INT)? Can their scope be limited only to semantic chunks?
William
William Sit
Professor Emeritus Department of Mathematics The City College of The City University of New York New York, NY 10031
homepage: wsit.ccny.cuny.edu
From: Axiom-developer <axiom-developer-bounces+address@hidden> on behalf of Tim Daly <address@hidden>
Sent: Thursday, August 25, 2016 6:17 AM To: Dan Zwillinger Cc: Richard Fateman; James Davenport; address@hidden; Mike Dewar; axiom-dev; address@hidden Subject: Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX) My initial approach was too heavy-handed and Axiom specific.
It seems the semantic markup task can be viewed as an editor the \int is really integrate
the dx is to be ignored and
the ax+b should read a*x+b
There is an obvious tradeoff of markup vs weaver.
For example. \int might be known to weaver. Or expressions might call an equation rewriter to add {*}
The markup could vary from almost nothing to massive detail
depending on the downstream cleverness.
This initial markup set seems sufficient to handle every task
that requires semantics markup so far. The overhead seems
small and the gain seems large.
Now the only problem is post-processing the latex. Sigh.
There is no such thing as a simple job. Tim
On Tue, Aug 23, 2016 at 7:27 PM, Tim Daly
<address@hidden> wrote:
|
[Prev in Thread] | Current Thread | [Next in Thread] |