in his script. Instead, he can just `from mjo.all import *`.
"""
+from mjo.basis_repr import *
from mjo.cone.all import *
from mjo.eja.all import *
from mjo.interpolation import *
-"""
-There is an explicit isomorphism between all finite-dimensional vector
-spaces. In particular, there is an isomorphism between the m-by-n
-matrices and `$R^(m \times n)$`. Since most vector operations are not
-available on Sage matrices, we have to go back and forth between these
-two vector spaces often.
+r"""
+In an `n`-dimensional vector space, representation with respect to
+a basis is an isometry between that space and `\mathbb{R}^{n}`.
+
+Sage is able to go back/forth relatively easy when you start with a
+``VectorSpace``, but unfortunately, it does not know that a
+``MatrixSpace`` is also a ``VectorSpace``. So, this module exists to
+perform the "basis representation" isometry between a matrix space and
+a vector space of the same dimension.
+
"""
from sage.all import *
SETUP::
- sage: from mjo.matrix_vector import basis_repr
+ sage: from mjo.basis_repr import basis_repr
EXAMPLES:
SETUP::
- sage: from mjo.matrix_vector import (basis_repr,
- ....: basis_repr_of_operator)
+ sage: from mjo.basis_repr import (basis_repr,
+ ....: basis_repr_of_operator)
EXAMPLES:
from mjo.cone.symmetric_psd import (factor_psd,
is_symmetric_psd,
random_symmetric_psd)
-from mjo.matrix_vector import basis_repr
+from mjo.basis_repr import basis_repr
def is_doubly_nonnegative(A):