[Om3] OpenMath Symbols for Symbolic Computation

[Peter Horn]

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: hornp at mathematik.uni-kassel.de      *       *
            http://kassel.symcomp.org/          *