Michael Kohlhase wrote: > 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. > Another thing that I just realized in MathML, we insist on having default renderings for all content MathML, but MathML2 does not seem to specify anything on this. Do you have any intuitions? > 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
