[Om] Problems with the MathML CDGroup

[Arjeh Cohen]

Dear Clare,


To the best of my understanding, we are trying to get the OpenMath site up at various
places now to obtain reachability at all times. Paul Libbregt has been very helpful,
and Mark Spanbroek (Eindhoven) is working on it.

I intend to take up the CDs management when the OM sites are up and running.

The remarks below are helpful,

Best regards, Arjeh

On Wed, Nov 02, 2005 at 11:38:40AM -0500, Clare So wrote:
> 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
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om