-- -*- M2-comint -*- hash: 8447410734899119606

i1 : rho0 = trivialRepresentation("A",2)

o1 = LieAlgebraRepresentation{"Basis" => Enhanced basis of 𝔞                      }
                                                            2
                              "Module" => LL   (𝔞 )
                                            0,0  2
                              "RepresentationMatrices" => {0, 0, 0, 0, 0, 0, 0, 0}

o1 : LieAlgebraRepresentation

i2 : V0 = rho0#"Module"

o2 = V0

o2 : irreducible LieAlgebraModule over 𝔞
                                        2

i3 : dim V0

o3 = 1

i4 : V0#"DecompositionIntoIrreducibles"

o4 = VirtualTally{{0, 0} => 1}

o4 : VirtualTally

i5 : 
