If  $\mathrm{\ρ}\:\mathrm{\𝔤} \to \mathrm{gl}\left(V\right)$ is a representation and $S$is a subspace of $V$, then $S$ is $\mathrm{\ρ}$ invariant if $\mathrm{\ρ}\left(x\right)\left(Y\right) \in S$for all $x \in \mathrm{\𝔤}$ and Y $\in S$. For any $Y\in V\,$let $\left[Y\right] \= Y \+ S$ denote the coset of $Y$in the quotient space $V\/S$. The induced representation $\overline{\mathrm{\ρ}}\:\mathrm{\𝔤} \to \mathrm{gl}\left(V\/S\right)$is defined

The command QuotientRepresentation(rho, S, C, W) returns the representation $\bar{\mathrm{\rho }}$. The coset representatives of the vectors in C in the quotient space $V\/S$give the basis used to calculate the matrices for the linear transformation $\bar{\mathrm{\rho }}$.

$\mathrm{with}\left(\mathrm{DifferentialGeometry}\right)\:$$\mathrm{with}\left(\mathrm{LieAlgebras}\right)\:$$\mathrm{with}\left(\mathrm{Library}\right)\:$

$L≔\mathrm{Retrieve}\left(''Winternitz''\,1\,\left[4\,7\right]\,\mathrm{Alg1}\right)$

$L:=\left[\left[\mathrm{e1}\,\mathrm{e4}\right]\=2\mathrm{e1}\,\left[\mathrm{e2}\,\mathrm{e3}\right]\=\mathrm{e1}\,\left[\mathrm{e2}\,\mathrm{e4}\right]\=\mathrm{e2}\,\left[\mathrm{e3}\,\mathrm{e4}\right]\=\mathrm{e2}\+\mathrm{e3}\right]$

$\mathrm{DGsetup}\left(L\right)\:$

$\mathrm{DGsetup}\left(\left[\mathrm{x1}\,\mathrm{x2}\,\mathrm{x3}\,\mathrm{x4}\right]\,V\right)\:$

$M≔\left[\mathrm{Matrix}\left(\left[\left[0\,0\,0\,2\right]\,\left[0\,0\,0\,0\right]\,\left[0\,0\,0\,0\right]\,\left[0\,0\,0\,0\right]\right]\right)\,\mathrm{Matrix}\left(\left[\left[0\,0\,1\,0\right]\,\left[0\,0\,0\,1\right]\,\left[0\,0\,0\,0\right]\,\left[0\,0\,0\,0\right]\right]\right)\,\mathrm{Matrix}\left(\left[\left[0\,-1\,0\,0\right]\,\left[0\,0\,0\,1\right]\,\left[0\,0\,0\,1\right]\,\left[0\,0\,0\,0\right]\right]\right)\,\mathrm{Matrix}\left(\left[\left[-2\,0\,0\,0\right]\,\left[0\,-1\,-1\,0\right]\,\left[0\,0\,-1\,0\right]\,\left[0\,0\,0\,0\right]\right]\right)\right]\:$

$\mathrm{\rho }≔\mathrm{Representation}\left(\mathrm{Alg1}\,V\,M\right)$

$S≔\left[\mathrm{D\_x1}\right]$

$S:=\left[\mathrm{D\_x1}\right]$

$\mathrm{Query}\left(\mathrm{\rho }\,S\,''InvariantSubspace''\right)$

$\mathrm{true}$

$\mathrm{Query}\left(\mathrm{\rho }\,\left[\mathrm{D\_x2}\,\mathrm{D\_x3}\,\mathrm{D\_x4}\right]\,''InvariantSubspace''\right)$

$\mathrm{false}$

$\mathrm{DGsetup}\left(\left[\mathrm{y1}\,\mathrm{y2}\,\mathrm{y3}\right]\,W\right)$

$\mathrm{frame\; name:\; W}$

$\mathrm{\phi }≔\mathrm{QuotientRepresentation}\left(\mathrm{\rho }\,S\,\left[\mathrm{D\_x2}\,\mathrm{D\_x3}\,\mathrm{D\_x4}\right]\,W\right)$

$\mathrm{Query}\left(\mathrm{\phi }\,''Representation''\right)$

$\mathrm{true}$