[Om] Problems with the MathML CDGroup

[Paul Libbrecht]

Clare,

I'll once again offer:
	http://openmath.activemath.org/
as a mirror.
It got updated at least for the news and work on mirroring completely  
is not finished yet... unfortunately. Eindhoven also joined the boat  
and, I think, should be able to have such a mirror as well...

paul



Le 2 nov. 05, à 17:38, Clare So a écrit :

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