[Om] Problems with the MathML CDGroup

[Mike Dewar]

Hi Clare,

The site looked OK from here when you sent this message, and I checked
from home last night and this morning and it worked as well.  We know
what the problem is and we are implementing the solution but it is a
slow process because we all have day jobs.

Cheers, Mike.

On Wed, Nov 02, 2005 at 07:27:38PM +0100, Arjeh Cohen wrote:
> 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
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om
> 
> ________________________________________________________________________
> 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
> ________________________________________________________________________

________________________________________________________________________
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
________________________________________________________________________