|
#! @Chapter Computing decompositions of representations
#! @Section Algorithms due to the authors
#! @Description Computes the same values as <Ref
#! Attr="REPN_ComputeUsingSerre" Label="for IsGroupHomomorphism" />,
#! taking the same options. The heavy lifting of this method is done
#! by <Ref Func="LinearRepresentationIsomorphism" />, where there are
#! some further options that can be passed to influence algorithms
#! used.
#!
#! <P/>
#! @InsertChunk Example_REPN_ComputeUsingMyMethod
#! <P/>
#! @Arguments rho
#! @Returns A record in the same format as <Ref
#! Attr="REPN_ComputeUsingSerre" Label="for IsGroupHomomorphism" />
DeclareAttribute( "REPN_ComputeUsingMyMethod", IsGroupHomomorphism );
#! @Description Performs the same computation as <Ref
#! Attr="REPN_ComputeUsingMyMethod" Label="for IsGroupHomomorphism"
#! />, but first splits the representation into canonical summands
#! using <Ref Func="CanonicalDecomposition" />. This might reduce the
#! size of the matrices we need to work with significantly, so could
#! be much faster.
#!
#! If the option `parallel` is given, the decomposition of canonical
#! summands into irreps is done in parallel, which could be much
#! faster.
#!
#! <P/>
#! @InsertChunk Example_REPN_ComputeUsingMyMethodCanonical
#! <P/>
#! @Arguments rho
#! @Returns A record in the same format as <Ref
#! Attr="REPN_ComputeUsingMyMethod" Label="for IsGroupHomomorphism"
#! />.
DeclareAttribute( "REPN_ComputeUsingMyMethodCanonical", IsGroupHomomorphism );
[ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
]
|
