[Trac] [OpenMath] #98: linalg1p has a CDDefinition with two names (ones and kernel)

OpenMath trac at strawberry.eecs.jacobs-university.de
Tue Nov 4 23:56:34 CET 2008


#98: linalg1p has a CDDefinition with two names (ones and kernel)
---------------------------------+------------------------------------------
     Reporter:  clange           |          Owner:  jhd       
         Type:  defect           |         Status:  new       
     Priority:  major            |      Milestone:            
    Component:  OM2 Contrib CDs  |        Version:            
   Resolution:                   |       Keywords:            
Include_gantt:  0                |   Dependencies:            
   Due_assign:  YYYY/MM/DD       |      Due_close:  YYYY/MM/DD
---------------------------------+------------------------------------------
Comment (by jhd):

 Replying to [ticket:98 clange]:
 > 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)
 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.

-- 
Ticket URL: <https://trac.mathweb.org/OM3/ticket/98#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.


More information about the Trac mailing list