Quelle utils.gd Sprache: Shell

#! @Chapter Miscellaneous useful functions

#! @Section Matrices and homomorphisms

#! @Arguments hom, func

#! @Returns Homomorphism g given by g(x) = func(hom(x)).

#! @Description This is mainly for convenience, since it handles all
#! GAP accounting issues regarding the range, ByImages vs ByFunction,
#! etc.
DeclareGlobalFunction( "ComposeHomFunction" );

#! @Section Representation theoretic functions

#! @Arguments list1, list2

#! @Returns All possible tensor products given by $\rho \otimes \tau$
#! where $\rho : G \to \mbox{GL}(V)$ is taken from <A>list1</A> and
#! $\tau : H \to \mbox{GL}(W)$ is taken from <A>list2</A>. The result
#! is then a list of representations of $G \times H$.
DeclareGlobalFunction( "TensorProductRepLists" );

#! @Arguments list

#! @Returns Direct sum of the list of representations <A>list</A>
DeclareGlobalFunction( "DirectSumOfRepresentations" );

#! @Arguments rho

#! @Returns Degree of the representation <A>rho</A>. That is,
#! $\mbox{Tr}(\rho(e_G))$, where $e_G$ is the identity of the group
#! $G$ that <A>rho</A> has as domain.
DeclareGlobalFunction( "DegreeOfRepresentation" );

#! @Arguments rho

#! @Returns Linear representation $\rho$ isomorphic to the permutation
#! representation <A>rho</A>.
DeclareGlobalFunction( "PermToLinearRep" );

#! @Arguments S, prod

#! @Returns Whether <A>S</A> is an orthonormal set with respect to the
#! inner product <A>prod</A>.
DeclareGlobalFunction( "IsOrthonormalSet" );

Messung
C	H	Z	G
84	100	100	94

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-11-04) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.