"direct sum"@en-us . .