Inner products with dimension $n$.

asked 2022-07-28 04:54:36 +0200

Luis gravatar image

Is there a way to work with inner products with unspecified dimension in Sage? All the options that I've been able to find e.g. FreeModule have a required argument that asks for a dimension, basis or rank of some sort.

Ideally, what I need would work like:

INN = InnerProdSpace(RR); u, v = INN(u,v);

and it would be able to perform basic simplifications like: + ru) = +

I know that some modules like VectorSpace already do this and much more; but I would like to do it without needing to specify the dimension.

edit retag flag offensive close merge delete