File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed
Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -114,4 +114,5 @@ invariants(
114114 ID:: IsotypicDecomposition
115115) = ID[zero (highest_weight (first (isotypics (ID))))]
116116
117- isotypics (ρ:: GroupRepresentation ) = IsotypicDecomposition (ρ)
117+ isotypics (ρ:: GroupRepresentation ) = IsotypicDecomposition (ρ)
118+ isotypics (ID:: IrreducibleDecomposition ) = IsotypicDecomposition (ID)
Original file line number Diff line number Diff line change @@ -62,7 +62,7 @@ action(ρ::IrreducibleRepresentation) = ρ.action
6262hw_vector (ρ:: IrreducibleRepresentation ) = hw_vector (ρ. hw_module)
6363space (ρ:: IrreducibleRepresentation ) = HighestWeightModule (action (ρ), hw_vector (ρ))
6464highest_weight (ρ:: IrreducibleRepresentation ) = weight (hw_vector (ρ))
65- irreducibles (ρ:: IrreducibleRepresentation ; decomp_count= nothing ) = [ρ]
65+ irreducibles (ρ:: IrreducibleRepresentation ; logging :: Bool = false , decomp_count= nothing ) = [ρ]
6666isotypics (ρ:: IrreducibleRepresentation ) = [IsotypicComponent (ρ)]
6767
6868function Base. show (io:: IO , :: MIME"text/plain" , ρ:: IrreducibleRepresentation )
You can’t perform that action at this time.
0 commit comments