Hi! > I would disgaree here. A Matrix is precisely that, and needs no > additional > information. IF you wnat that matrix to represent a linear > transformation > on a space, THEN you need additional information.
Well, if you want to do computations with a matrix (and that's our intention), you need all the information we define in matrix1. >> Sure. We want to work with matrices (and other objects) in computer >> algebra systems, and as you can imagine it's hard to guess (from >> the CAS' >> POV) what the user is trying to tell us when even the most basic >> information is missing. > Right - rather like the polyd family. of CDs. Having such a set of CDs > certainly makes sense We simply adopted the polyd ideas to matrices. > I'd be happy to look at what you have: I have Peter Horn's matrix1, > but > don't quite see, for instance, what the point of entry_domain is? That's the ground ring. BTW: matrix1 is not mine but it was developed by all parties involved in SCIEnce, that is GAP, KANT, MuPAD and Maple. We looked to find what we need and defined it accordingly. So It's not the work of a bored PhD student but of a group of people that want to USE OpenMath for computational purposes. :) Best Regards, Peter -- Peter Horn, University of Kassel * Computational Mathematics Group * * Heinrich Plett Str. 40, 34132 Kassel * [S] [C] [I] [E] [n] [c] [e] Phone: + 4 9 - 5 6 1 - 8 0 4 - 4 1 9 2 * http://www.symcomp.org Fax: + 4 9 - 5 6 1 - 8 0 4 - 4 6 4 6 * E-Mail: [EMAIL PROTECTED] * * http://kassel.symcomp.org/ * _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
