defsys:Subespacios definidos por ecuaciones
kerV:Ncleo de una aplicacin lineal
matcomm:Conmutatividad de matrices
matmulleft:Matrices multiplicadas por la izquierda
matmulright:Matrices multiplicadas por la derecha
polyder:Polinomios con derivadas
