commons-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Luc Maisonobe (JIRA)" <>
Subject [jira] Commented: (MATH-237) Implement an OpenMath Phrasebook
Date Sun, 28 Dec 2008 18:59:44 GMT


Luc Maisonobe commented on MATH-237:

I don't understand everything in your proposal.
Could you provide us an example of a binding between one already accepted symbol in the dictionaries
and the matching code in commons-math and most importantly how it would be used by end users

As far as we limit ourselves to a static point of view, I see what this could mean (for example
Phrasebook.getInstance().getValue("matrix") could return both RealMatrixImpl.class and DenseRealMatrix.class).
However, how do we use this once we have it ? The dynamic behaviour may be hard to implement.

Do you want to have a complete interpreter for OpenMath syntax that would be executed after
some automatic translation ? This would be a complete project by itself I think.

> Implement an OpenMath Phrasebook
> --------------------------------
>                 Key: MATH-237
>                 URL:
>             Project: Commons Math
>          Issue Type: New Feature
>            Reporter: Bryce Nordgren
>            Priority: Minor
> The two major XML grammars for mathematical information on the web are OpenMath and MathML.
 Both grammars construct mathematical expressions using the symbols from OpenMath content
dictionaries.  A reference set of stable content dictionaries is maintained by the openmath
society, such that fixed mathematical concepts have a fixed/permanent location within their
"namespace".  This offers a unique opportunity to map the implementations in commons math
to a universal conceptual space such that users of the library can request a "concept" without
necessarily knowing what class implements it.
> A "Phrasebook" is a concept articulated by the OpenMath standard as the item bearing
the responsibility for matching a symbol in the content dictionary with an implementation
on the host system.  Including a "Phrasebook" in commons math would facilitate mapping of
the orthodox OpenMath symbolset to code provided by the library.  
> I would envision this as a registry, with the function of a multimap (unique keys/multiple
values).  Keys would be the fully qualified name of the OpenMath symbol, and values would
be the code to execute.
> Thoughts?

This message is automatically generated by JIRA.
You can reply to this email to add a comment to the issue online.

View raw message