]> gitweb.michael.orlitzky.com - sage.d.git/search
eja: add a function to embed complex matrices in (bigger) real ones.