[Om] Signatures for "factorof" and "matrixrow"

[Arjeh Cohen]

Dear  Glòria Casanellas,

Thanks for two improvements!

I hope/trust that David Carlisle or Paul Libbrecht will take care of new
versions at the official website. It is imperative that we start with
some kind of official procedure and this seems an excellent
opportunity.

On Mon, Jul 24, 2006 at 10:49:09AM +0200, Glòria Casanellas wrote:

> I'm using signatures of some OpenMath symbols an I've encountered some 
> possible errors on the signatures sts web files.
> 
> The sts signature for cd=integer1 name=factorof
> (see http://www.openmath.org/sts/integer1.xhtml#factorof)
> 
> is showed as:
> <OMOBJ xmlns="http://www.openmath.org/OpenMath">
>  <OMA>
>    <OMS cd="sts" name="factorof"/>
>    <OMS name="Z" cd="setname1"/>
>    <OMS name="Z" cd="setname1"/>
>    <OMS name="B" cd="setname2"/>
>  </OMA>
> </OMOBJ>
> 
> As far as I know, it should say,
> <OMS cd="sts" name="mapsto"/>
> 
> instead of
> <OMS cd="sts" name="factorof"/>
> .


Correct!


> 
> On the other hand, the signature for cd=linalg2, name=matrixrow is:
> (see http://www.openmath.org/sts/linalg2.xhtml#matrixrow)
> 
> <Signature name="matrixrow" >
> <OMOBJ xmlns="http://www.openmath.org/OpenMath">
> <OMA>
>  <OMS name="mapsto" cd="sts" />
>   <OMA>
>    <OMS name="nary" cd="sts" />
>     <OMV name="Ring"/>
>   </OMA>
>  <OMS name="MatrixRow" cd="sts" />
> </OMA>
> </OMOBJ>
> </Signature>
> 
> It should say   <OMV name="MatrixRow" />
> instead of   <OMS name="MatrixRow" cd="sts" />
> (Another solution would be adding the cd=sts, name=MatrixRow in the sts cd.)
> 
> Please, correct me if I'm wrong and/or correct the sts files.


I agree that it should say   <OMV name="MatrixRow" />.
In the cd named "sts" there is no symbol MatrixRow, nor do we want it there.

Sincerely, Arjeh M. Cohen