defsys:Systme dfinissant
kerV:Noyau d'applic. linaire
matcomm:Matrices commutantes
matmulleft:Matrices multiplies  gauche
matmulright:Matrices multiplies  droite
polyder:Polynmes avec drives
polyint:Polynmes et intgrales
polyroot:Polynmes avec racines
