# Computations on Verma Modules

I want to do some computation on Verma Modules. Consider the Verma Module $W_\lambda$ of weight $\lambda$. We know that $W_\lambda$ has a unique maximal submodule $N_\lambda$ and a corresponding irreducible quotient $L(\lambda)=W_\lambda/N_\lambda$.

1. I found some documentation about Verma Modules on the SAGE website. But it does not tell how to find the irreducible quotient. I want to figure out this quotient $L(\lambda)$.
2. Secondly, I want to see know the dimensions of weight spaces of $W_\lambda$ and $L(\lambda)$ and what they look like explicitly.