[Trac] [OpenMath] #49: CD veccalc1

[OpenMath]

#49: CD veccalc1
-----------------------------+----------------------------------------------
    Reporter:  jauecker      |           Owner:  kohlhase  
        Type:  proposal      |          Status:  new       
    Priority:  major         |       Milestone:  CD3 Draft1
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 '''Chris:'''


 I am still working on the descriptions here (applied maths was never
 my strong point:-).  There seems to be some confusion about
 vectors of vector-valued functions etc.  Why not 'functions from r^n
 to R^k' ??

 I do not think that the concept `vector of functions' appears anywhere in
 these CDs.

 ---------------

 Is this:

 `should satisfy the defining relation:'

 different from

  'is defined as:'

 when said 'relation' (not, you will note a boolean expression in this
 context) has left hand side precisely the thing being defined?

 ---------------

 I am not convinced that the formula for div is correct (but don't
 trust me on this).

 ---------------

 In 'grad', the number of variables, n, of which F is a function should
 be made explicit.

 ---------------

 Typos: j --> k and Z --> z in the 'defining relation' for curl (and
 maybe use 'invisible times' (I can't believe I wrote that:-).  And
 boldface for vectors?

 Must there be exactly three scalar functions and must they all be of
 three variables (the same three)?  (A function R^3 --> R^3 ?)
 This is not stated.

 Oh, and 'x_i (i = 1,...,3)' has now become 'x, y, z' ???

 ---------------

 Maybe some similar comments on M. Laplace's thing, but yet again I
 lost the will to follow this stuff:-(.

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/49>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.