[Om] Problems with the MathML CDGroup
Clare So
clare at scl.csd.uwo.ca
Wed Nov 2 17:38:40 CET 2005
Dear OpenMathers,
It seems like the openmath.org server is misconfigured or down again.
I am now living closer to the openmath.org server than a few months ago.
Should I make a trip to the site of the server? :) Bill and I had been
working on a local copy of the OpenMath website. Before the server is
up again, I hesitate to make any further comments on the OpenMath-MathML
issues.
Clare
(from London UK)
* W Naylor <wn at cs.bath.ac.uk> [2005-11-01 03:16] wrote:
>
> Hi all,
>
> at the end of last week Clare So (ORCCA - University of Western Ontario)
> was visiting The University of Bath. She has been involved in a project
> with the objective of translating between OpenMath and MathML. She has
> come across various problems in this work so we had a meeting on Thursday
> & Friday to discuss them. Many of the problems are on the MathML side and
> as such can be circumvented by using semantics or csymbol elements. I did
> identify a few omissions on the OpenMath side however. These are the
> following:
>
> 1/ The MathMLtypes CD is missing symbols for the 'multiset' and
> 'matrix_row' types,
> 2/ The suchthat and map constructors (from set1) have no analogues in
> multiset.
> 3/ The suchthat operator in list1 is ambiguous, it gives no order on the
> items in the list to be returned (this of course does not matter for
> sets). I would suggest a new definition which had a signature:
>
> suchthat
> S (The set containing the elements)
> o: (S x S) -> Boolean (an ordering on S)
> p: S -> Boolean (the selector predicate)
>
> it seems that MathML has an 'order' attribute in place of the ordering
> function I'm suggesting. This has 2 possible values, numeric or
> lexicographic (which it must be said has a range of interpretations!)
>
> hopefully these CDs can be ammended,
>
> all the best,
>
> Bill
>
> -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
> -
> - Dr. W.A. Naylor
> -
> - http://www.cs.bath.ac.uk/~wn
> - http://orcca.on.ca/~bill
> -
> - work tel: +44 1225 386183
> -
> -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
>
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om
More information about the Om
mailing list