From: Frank Yung-Fong Tang <franktang@gmail.com>

Date: Tue, 8 Mar 2005 21:11:57 -0500

Message-ID: <2e4dfd6905030818113d8fd44e@mail.gmail.com>

To: David Carlisle <davidc@nag.co.uk>

Cc: www-math@w3.org, public-qt-comments@w3.org

Date: Tue, 8 Mar 2005 21:11:57 -0500

Message-ID: <2e4dfd6905030818113d8fd44e@mail.gmail.com>

To: David Carlisle <davidc@nag.co.uk>

Cc: www-math@w3.org, public-qt-comments@w3.org

> Neither seems to have any connection with the question in the subject > line. > Sorry, it is a spin off thread without changing the title because the gmail don't let me to do so.... :( On Wed, 9 Mar 2005 00:42:31 GMT, David Carlisle <davidc@nag.co.uk> wrote: > > > > Is XQuery powerful enough to query mathmatic information which markup > > by MathML Content Markup. > > yes although a language designed for querying the xml structure is > clearly not optimal for doing such queries. You'd like to be able to > query modulo many relations that are not explict in the XML, such as > commutativity of certain operators. > > > For example, if someone store two matrix (A - 3x5 and B- 5x4) by using > > MathML Content Markup. Is XQuery power enough to produce the output a > > 3x4 matrics C in MathML Content Markup that C = A x B ? > > Yes it could do that, which might be an interesting exercise, but it > would be easier (and probably more generally useful) if you wrote a > query or xslt to convert them to maple or mathematica (or similar > systems) for which matrix multiplication over mathematical types is a > primitive operation. If your Content mathml matrices are over the > integers coding the rules for a product would be simple enough in > xquery, but if the matrices are over some other number field such as the > complex numbers or a prime field, or just had symbolic entries, you'd > also have to encode the underlying arithmetic in Xquery which would > start to become a pain. > > > How about predicate logic, If I have two element of content E and F > > E use MathML content Markup to express > > { (x) | -2 <= x <=3} > > and > > F use MathML content Markup to express > > { (y) | -4 <= y <=5} > > Is XQuery power enogh to perform a G = E & F > > to express a MathML content markup which express > > { (x, y) | ( -2 <= x <=3) && (-4 <= y <=5)} > > this just involves syntactic re-arrangement of the terms (as you have > demonstrated) so doesn't require any computation and could fairly easily > be done in xquery. > > > > > ? > > David > > ________________________________________________________________________ > This e-mail has been scanned for all viruses by Star. The > service is powered by MessageLabs. For more information on a proactive > anti-virus service working around the clock, around the globe, visit: > http://www.star.net.uk > ________________________________________________________________________ > -- Frank Yung-Fong Tang 譚永鋒 Šýšţém ÅrçĥîţéçţReceived on Wednesday, 9 March 2005 02:12:28 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:27:36 UTC
*