|
#
# InduceReduce.gd The InduceReduce package Jonathan Gruber
#
# Declarations
#
# Copyright (C) 2018 Jonathan Gruber
#
#############################################################################
##
#A UngerRecord( <G> )
##
DeclareAttribute( "UngerRecord", IsGroup, "mutable" );
#############################################################################
##
#A IrrUnger( <G> )
#O IrrUnger( <G>[, <Options>] )
##
DeclareAttribute( "IrrUnger", IsGroup );
DeclareOperation( "IrrUnger", [ IsGroup, IsRecord ] );
#############################################################################
##
#F CharacterTableUnger( <G> [, <Options>] )
##
## Computes the character table of a finite group using Unger's algorithm
##
DeclareGlobalFunction( "CharacterTableUnger" );
#############################################################################
##
#F InduceReduce( <GR> , <Opt> )
##
## computes the irreducible characters of the group GR.G (upto sign) and puts
## them in the component GR.Ir of GR, returns GR.Ir
##
DeclareGlobalFunction( "InduceReduce" );
#############################################################################
##
#V IndRed
##
## a record containing subfunctions of CharacterTableUnger and InduceReduce
##
DeclareGlobalVariable( "IndRed" );
#############################################################################
##
## The info class for computations with InduceReduce
##
DeclareInfoClass("InfoCTUnger");
[ Dauer der Verarbeitung: 0.25 Sekunden
(vorverarbeitet)
]
|
