Special report [vol.94] : machinability
Keywords: MODULES (ALGEBRA); LIE ALGEBRAS