Dear all, As actioned, I have started looking at the linear algebra CDs, in particular, linalg2.ocd and linalg3.ocd to clean up what I found there. There I found that MathML2 allowed to construct vectors and matrices from functions. This is not something the OpenMath CDs I found allowed us to do.
Therefore I constructed the first draft of a CD I call linalg6.ocd (linalg4 and linalg5 already seem to be taken), which does that. Please look at https://svn.openmath.org/OpenMath3/cd/MathML/linalg6.xhtml and comment. I quite liked the idea to just use [EMAIL PROTECTED] and [EMAIL PROTECTED], but I suspect that we need a row-based and a column-based version of these two symbols, which would suggest that they might be included into linalg2.ocd and linalg3.ocd under symbol names like [EMAIL PROTECTED]/3 and [EMAIL PROTECTED]/3 (I do not particular like these, please suggest better ones). Please comment on this. Michael -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
