defsys:Defining system
kerV:Kernel of linear map
matcomm:Commuting matrices
matmulleft:Matrices multiplied to the left
matmulright:Matrices multiplied to the right
polyder:Polynomials with derivatives
polyint:Polynomials and integrals
polyroot:Polynomials with roots
