# Any software for calculating Lie Group Quotients?

Are there any software packages out there that can do equations like:

$$\frac{SU(5)}{SU(3)}=SU(2)\times U(1)$$

or...

$$\frac{E_8}{E_6} = SU(3)$$

or...

$$\frac{O(32)}{O(10)\times O(4)} = \text{?}$$

Probably you wouldn't need software to do this as you would just need a table of maximal subgroups. But it might be nice. I remember first learning about Lie Groups and working out subgroups is a bit tricky.