linalg1p has a CDDefinition with two names (ones and kernel)

[jbs1]

migrated from Trac, where originally posted by clange on 4-Nov-2008 6:57pm

Excerpt from the source:

<CDDefinition>
<Name> ones </Name>
<Description>
 It returns a vector of a specifed size of which elements are one.
 1-ary function.
</Description>
<CMP>  <tex> for all $i$, ${\vec 1}[i] = 1$ </tex> </CMP>
<FMP>
</FMP>

<Name> kernel </Name>
<Description>
 It returns the kernel of the map defined by a matrix in a specified
 domain.
</Description>

Looks like </CDDefinition> <CDDefinition> is missing before "kernel", but how do we know? Should we contact the authors? Who are they? (The CDURL is http://www.math.kobe-u.ac.jp/OCD/linalg1p.tfb)
How are contributed CDs validated? Looks like we need a better validation.

[jbs1]

migrated from Trac, where originally posted by jhd on 4-Nov-2008 10:56pm

Replying to [ticket:98 clange]:

Excerpt from the source:
{{{

ones

It returns a vector of a specifed size of which elements are one.
1-ary function.

for all $i$, ${\vec 1}[i] = 1$

kernel

It returns the kernel of the map defined by a matrix in a specified
domain.

}}}
Looks like </CDDefinition> <CDDefinition> is missing before "kernel", but how do we know? Should we contact the authors? Who are they? (The CDURL is http://www.math.kobe-u.ac.jp/OCD/linalg1p.tfb)
I have no idea where this CD came from - it was just 'contributed'.
But it looks sufficiently that you are right that please fix it.
How are contributed CDs validated? Looks like we need a better validation.
Historically, there's been no validation of contributed CDs as long as they 'built': whatever that may have menat at the time. Your building is clearly more stringent.

[kohlhase]

moved to OpenMath/CDs#25