>
|
|
Example 1.
>
|
|
| (2.1) |
Initialize the Lie algebra Alg1.
Initialize the representation space .
Alg1 >
|
|
Define the matrices which specify a representation of Alg1 on .
V >
|
|
Define the representation.
V >
|
|
Define a subspace and use the Query command to check that it is invariant.
V >
|
|
Pick a complement span ].This complement need not be invariant.
V >
|
|
Define a vector space for the induced representation of on .
V >
|
|
Compute the quotient representation. Note that in this example the matrices are just the lower blocks of the matrices in the original representation.
W >
|
|
Alg1 >
|
|