(#~#^) should be A B^T and vice versa for (#~^#). The documentation and function is above anb below the wrong type signature in each one respectively. Solution is to swap type signatures.

Wrong:

-- | Sparsifying A^T B
(#~#^) :: (MatrixRing (SpMatrix a), Epsilon a) =>
     SpMatrix a -> SpMatrix a -> SpMatrix a
a #~^# b = transpose a #~# b


-- | Sparsifying A B^T
(#~^#) :: (M

There is a new version of the online code from G Demesy that we base our nano-tutorial on. The tutorial still works, but you would need to go back to an old version of his code. We should update the nano-tutorial to use the new version of the code (i.e. update the simulation output as well as the modification description). In order to not have to do this again if they decide to update the code ag

One of the many amazing features of Python is the way it handles docstrings. Documentation is not just available as generated (HTML) documents. It is also available at runtime, e.g. by using the help function, not unlike the --help argument offered by most Linux command line tools.

The docs