From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 13 Sep 2020 21:03:59 +0000 (-0400)
Subject: mjo: rename matrix_vector.py to basis_repr.py.
X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=b9646aa0d1bf66e4b3899eda55cd9e91e1eccff7;p=sage.d.git

mjo: rename matrix_vector.py to basis_repr.py.
---

diff --git a/mjo/all.py b/mjo/all.py
index c0329ed..de2212d 100644
--- a/mjo/all.py
+++ b/mjo/all.py
@@ -3,6 +3,7 @@ Import all of the other code, so that the user doesn't have to do it
 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 *
diff --git a/mjo/matrix_vector.py b/mjo/basis_repr.py
similarity index 91%
rename from mjo/matrix_vector.py
rename to mjo/basis_repr.py
index 08743d5..5c85998 100644
--- a/mjo/matrix_vector.py
+++ b/mjo/basis_repr.py
@@ -1,9 +1,13 @@
-"""
-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 *
@@ -46,7 +50,7 @@ def basis_repr(M):
 
     SETUP::
 
-        sage: from mjo.matrix_vector import basis_repr
+        sage: from mjo.basis_repr import basis_repr
 
     EXAMPLES:
 
@@ -153,8 +157,8 @@ def basis_repr_of_operator(M, L):
 
     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:
 
diff --git a/mjo/cone/doubly_nonnegative.py b/mjo/cone/doubly_nonnegative.py
index 3970c32..e8cacda 100644
--- a/mjo/cone/doubly_nonnegative.py
+++ b/mjo/cone/doubly_nonnegative.py
@@ -16,7 +16,7 @@ from sage.all import *
 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):