Whitehd.gd

#############################################################################
##
#W  Whitehd.gd               FGA package                    Christian Sievers
##
##  Declarations for computations with Whitehead automorphisms
##
#Y  2004 - 2012
##

DeclareAttribute( "FGA_WhiteheadParams", IsGroupHomomorphism );
DeclareAttribute( "FGA_WhiteheadAutomorphisms", IsFreeGroup );
DeclareAttribute( "FGA_NielsenAutomorphisms", IsFreeGroup );

DeclareGlobalFunction( "FGA_WhiteheadAutomorphism" );
DeclareGlobalFunction( "FGA_WhiteheadAnalyse" );
DeclareGlobalFunction( "FGA_WhiteheadToPQOU" );
DeclareGlobalFunction( "FGA_NikToPQ" );
DeclareGlobalFunction( "FGA_TiToPQ" );
DeclareGlobalFunction( "FGA_ExtSymListRepToPQO" );
DeclareGlobalFunction( "FGA_CurryAutToPQOU" );