W3C home > Mailing lists > Public > www-math@w3.org > April 2011

Re: cs String Literal

From: Fraser Goffin <goffinf@gmail.com>
Date: Mon, 25 Apr 2011 23:10:27 +0100
Message-ID: <BANLkTi=GJGdU8uUbUFj2EtNMQJpRHVMQug@mail.gmail.com>
To: David Carlisle <davidc@nag.co.uk>
Cc: www-math@w3.org
Thanks David. I realise that the posted fragment was not complete but
usefully it was sufficient for you to understand my intent. Is <set>
the correct containing construct here do you think or are there other
possibilities ?

Christoph mentioned using <cs> with bound variables, could either of
you elaborate please (I will read the spec as well, it just that real
experience explanation is often clearer) ?

Look forward to an amended XSD.



On 25/04/2011, David Carlisle <davidc@nag.co.uk> wrote:
> On 22/04/2011 16:33, Fraser Goffin wrote:
>> I noted that there is a<cs>
>> element which looks like it can be used to contain string literals,
>> but when I attempt to use it, it will not validate against the mathml3
>> XSD.
> The fragment that you posted looks valid to me, but condition isn't
> allowed at the top level it is just intended to constrain other
> constructors, so it will fail to validate unless included into some more
> terms. Did you really get a validation error from the cs?
> .....
> Ouch yes you did, the file below validates against the relaxng and dtd
> but not against the xsd. Sorry that would be a bug, will report back
> with a fix asap (probably not today, it's a bit late) The XSD is mainly
> made by trang converting the relaxng schema to XSD, but the relax is
> preprocessed a bit first to make it simple enough for the conversion.
> I need to check where it went wrong.
> David
> <math xmlns="http://www.w3.org/1998/Math/MathML" >
> <set>
> <condition>
>      <apply>
>          <eq/>
>          <ci>PolicyNumber</ci>
>          <cs>abc123</cs>
>      </apply>
> </condition>
> </set>
> </math>
Received on Monday, 25 April 2011 22:10:54 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:43 UTC